Defined in 3 files as a prototype:

• contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h, line 62 (as a prototype)
• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.h, line 38 (as a prototype)
• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp, line 925 (as a prototype)

Defined in 2 files as a function:

• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp, line 73 (as a function)
• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp, line 1034 (as a function)

Referenced in 1 files:

• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
  • line 107
  • line 118