HomeSort by relevance Sort by last modified time
    Searched refs:ConstraintManager (Results 1 - 11 of 11) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
32 class ConstraintManager {
34 virtual ~ConstraintManager();
64 /// all SVal values. This method returns true if the ConstraintManager can
71 ConstraintManager* CreateBasicConstraintManager(ProgramStateManager& statemgr,
73 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
CheckerContext.h 67 ConstraintManager &getConstraintManager() {
ProgramState.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
38 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&,
150 // are managed using the ConstraintManager associated with a ProgramStateManager.
414 llvm::OwningPtr<ConstraintManager> ConstraintMgr;
455 ConstraintManager* ConstraintManagerPtr,
501 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
ExprEngine.h 187 /// evalAssume - Callback function invoked by the ConstraintManager when
211 ConstraintManager& getConstraintManager() {
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 54 ConstraintManager &CM = C.getConstraintManager();
AttrNonNullChecker.cpp 87 ConstraintManager &CM = C.getConstraintManager();
StreamChecker.cpp 231 ConstraintManager &CM = C.getConstraintManager();
347 ConstraintManager &CM = C.getConstraintManager();
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 17 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
24 class SimpleConstraintManager : public ConstraintManager {
31 // Common implementation for the interface provided by ConstraintManager.
ProgramState.cpp 23 // Give the vtable for ConstraintManager somewhere to live.
25 ConstraintManager::~ConstraintManager() {}
306 ConstraintManager &CM = SM.getConstraintManager();
BasicConstraintManager.cpp 119 ConstraintManager*
167 // The logic for these will be handled in another ConstraintManager.
RangeConstraintManager.cpp 255 ConstraintManager* ento::CreateRangeConstraintManager(ProgramStateManager&,

Completed in 188 milliseconds