Defined in 3 files as a prototype:

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

Defined in 2 files as a function:

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

Referenced in 2 files:

• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp
  • line 29
  • line 70
• contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp, line 63