Defined in 2 files as a prototype:

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

Defined in 2 files as a function:

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

Referenced in 4 files:

• contrib/llvm-project/llvm/include/llvm/ADT/ImmutableSet.h, line 927
• contrib/llvm-project/llvm/include/llvm/Support/SMTAPI.h
  • line 68
  • line 115
• contrib/llvm-project/llvm/utils/TableGen/CodeGenRegisters.cpp, line 738
• usr.bin/dtc/input_buffer.cc, line 791