Home
last modified time | relevance | path

Searched defs:getStateManager (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h122 ProgramStateManager &getStateManager() { in getStateManager() function
H A DSValBuilder.h139 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
H A DExprEngine.h417 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
H A DProgramState.h146 ProgramStateManager &getStateManager() const { in getStateManager() function
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h713 ProgramStateManager& getStateManager() const { in getStateManager() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp2462 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in getStateManager() function in PathSensitiveBugReporter