Defined in 1 files as a function:
Referenced in 21 files:
- contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h, line 106
- contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
- contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h, line 309
- contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
- contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h, line 24
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp, line 81
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp, line 69
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp, line 551
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp, line 138
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp, line 173
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp, line 168
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp, line 143
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp, line 142
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp, line 353
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp, line 367
- contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp, line 1610