Searched refs:ANALYSIS_CONSTRAINTS (Results 1 – 4 of 4) sorted by relevance
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
H A D | Analyses.def | 13 #ifndef ANALYSIS_CONSTRAINTS 14 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) 17 ANALYSIS_CONSTRAINTS(RangeConstraints, "range", 21 ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver", 90 #undef ANALYSIS_CONSTRAINTS
|
H A D | AnalyzerOptions.h | 36 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) NAME##Model, macro
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
H A D | AnalysisConsumer.cpp | 178 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATEFN) \ in DigestAnalyzerOptions() macro
|
/freebsd/contrib/llvm-project/clang/lib/Frontend/ |
H A D | CompilerInvocation.cpp | 977 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \ in GenerateAnalyzerArgs() macro 1065 #define ANALYSIS_CONSTRAINTS(NAME, CMDFLAG, DESC, CREATFN) \ in ParseAnalyzerArgs() macro
|