You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sam Blackshear b57084902d [thread-safety] better error messages for write-write races that are distinct, but conflicting writes rather than self-races ... Summary: Now that we report write-write races involving more than one write, we need to improve the traces accordingly. Reviewed By: jberdine Differential Revision: D6026845 fbshipit-source-id: b1366dd		7 years ago
..
Makefile	[infer][test] the ThreadSafety cpp tests should not run in debug mode	7 years ago
basics.cpp	[thread-safety] remove custom compare for AccessListMap	7 years ago
basics_no_mutex.cpp	[ThreadSafety] Do not report for c++ classes that do not have mutex member.	8 years ago
issues.exp	[thread-safety] better error messages for write-write races that are distinct, but conflicting writes rather than self-races	7 years ago
lock_guard.cpp	[ThreadSafety] Do not report on private C++ methods	8 years ago
lock_guard_with_scope.cpp	[ThreadSafety] Treating lock_guard destructor as Unlock.	7 years ago
string_literal.cpp	[threadsafety] Fix divergence due to indexing string literal in loop	8 years ago
unique_lock.cpp	[ThreadSafety] Treating unique_lock.	8 years ago
variadic.cpp	[threadsafety] Fix exception thrown by list of actuals and formals not having the same length in some cases (C++?)	7 years ago