Skip to content

Commit 39608fc

Browse files
committed
Add analyzer option to control thread modeling
1 parent cb6a02d commit 39608fc

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.def

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -385,6 +385,10 @@ ANALYZER_OPTION(
385385
"flex\" won't be analyzed.",
386386
true)
387387

388+
ANALYZER_OPTION(bool, ThreadAware, "thread-aware",
389+
"If enabled, enable thread API modeling to perform cross-thread analysis",
390+
true)
391+
388392
//===----------------------------------------------------------------------===//
389393
// Unsigned analyzer options.
390394
//===----------------------------------------------------------------------===//

0 commit comments

Comments
 (0)