Thread Safety Analysis: add a -Wthread-safety-negative flag that warns whenever
a mutex is acquired, but corresponding mutex is not provably not-held. This is based on the earlier negative requirements patch. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@214789 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Analysis/Analyses/ThreadSafety.h 8 additions, 0 deletionsinclude/clang/Analysis/Analyses/ThreadSafety.h
- include/clang/Basic/DiagnosticGroups.td 3 additions, 1 deletioninclude/clang/Basic/DiagnosticGroups.td
- include/clang/Basic/DiagnosticSemaKinds.td 5 additions, 0 deletionsinclude/clang/Basic/DiagnosticSemaKinds.td
- lib/Analysis/ThreadSafety.cpp 70 additions, 32 deletionslib/Analysis/ThreadSafety.cpp
- lib/Sema/AnalysisBasedWarnings.cpp 9 additions, 0 deletionslib/Sema/AnalysisBasedWarnings.cpp
- test/Sema/warn-thread-safety-analysis.c 3 additions, 3 deletionstest/Sema/warn-thread-safety-analysis.c
- test/SemaCXX/warn-thread-safety-analysis.cpp 26 additions, 3 deletionstest/SemaCXX/warn-thread-safety-analysis.cpp
- test/SemaCXX/warn-thread-safety-negative.cpp 104 additions, 0 deletionstest/SemaCXX/warn-thread-safety-negative.cpp
Loading
Please register or sign in to comment