Skip to content

Commit 41ec6ff

Browse files
committed
Declare new thread modeling checker
1 parent baa5b76 commit 41ec6ff

File tree

2 files changed

+5
-0
lines changed

2 files changed

+5
-0
lines changed

clang/include/clang/StaticAnalyzer/Checkers/Checkers.td

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -383,6 +383,10 @@ def TrustReturnsNonnullChecker : Checker<"TrustReturnsNonnull">,
383383
"are not null">,
384384
Documentation<NotDocumented>;
385385

386+
def ThreadModeling : Checker<"Thread">,
387+
HelpText<"Make threaded code available to other checkers.">,
388+
Documentation<NotDocumented>;
389+
386390
} // end "apiModeling"
387391

388392
//===----------------------------------------------------------------------===//

clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,6 +112,7 @@ add_clang_library(clangStaticAnalyzerCheckers
112112
Taint.cpp
113113
TaintTesterChecker.cpp
114114
TestAfterDivZeroChecker.cpp
115+
ThreadModeling.cpp
115116
TraversalChecker.cpp
116117
TrustNonnullChecker.cpp
117118
TrustReturnsNonnullChecker.cpp

0 commit comments

Comments
 (0)