Searched refs:ANALYSIS_CONSTRAINTS (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| D | Analyses.def | 20 #ifndef ANALYSIS_CONSTRAINTS
21 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)
24 ANALYSIS_CONSTRAINTS(RangeConstraints, "range",
28 ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver",
93 #undef ANALYSIS_CONSTRAINTS
|
| D | AnalyzerOptions.h | 52 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model, macro
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | Analyses.def | 20 #ifndef ANALYSIS_CONSTRAINTS
21 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN)
24 ANALYSIS_CONSTRAINTS(RangeConstraints, "range", "Use constraint tracking of concrete value ranges",…
52 #undef ANALYSIS_CONSTRAINTS
|
| D | AnalyzerOptions.h | 51 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model, macro
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 172 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATEFN) \ in DigestAnalyzerOptions() macro
|
| /external/clang/lib/StaticAnalyzer/Frontend/ |
| D | AnalysisConsumer.cpp | 240 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATEFN) \ in DigestAnalyzerOptions() macro
|
| /external/clang/lib/Frontend/ |
| D | CompilerInvocation.cpp | 178 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \ in ParseAnalyzerArgs() macro
|
| /external/llvm-project/clang/lib/Frontend/ |
| D | CompilerInvocation.cpp | 429 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \ in ParseAnalyzerArgs() macro
|