Defined in 2 files as a prototype:

• contrib/llvm-project/llvm/include/llvm/Support/SMTAPI.h, line 415 (as a prototype)
• contrib/llvm-project/llvm/include/llvm/Support/SMTAPI.h, line 418 (as a prototype)

Defined in 2 files as a function:

• contrib/llvm-project/llvm/lib/Support/Z3Solver.cpp, line 843 (as a function)
• contrib/llvm-project/llvm/lib/Support/Z3Solver.cpp, line 857 (as a function)

Referenced in 1 files:

• contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h, line 137