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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
29 class ConstraintManager {
31 virtual ~ConstraintManager();
65 /// all SVal values. This method returns true if the ConstraintManager can
72 ConstraintManager* CreateBasicConstraintManager(ProgramStateManager& statemgr,
74 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
CheckerContext.h 59 ConstraintManager &getConstraintManager() {
ProgramState.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
40 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&,
146 // are managed using the ConstraintManager associated with a ProgramStateManager.
401 OwningPtr<ConstraintManager> ConstraintMgr;
438 ConstraintManager* ConstraintManagerPtr,
484 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
ExprEngine.h 208 /// evalAssume - Callback function invoked by the ConstraintManager when
233 ConstraintManager& getConstraintManager() {
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 73 ConstraintManager &CM = C.getConstraintManager();
AttrNonNullChecker.cpp 88 ConstraintManager &CM = C.getConstraintManager();
BoolAssignmentChecker.cpp 81 ConstraintManager &CM = C.getConstraintManager();
StreamChecker.cpp 229 ConstraintManager &CM = C.getConstraintManager();
356 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 24 // Give the vtable for ConstraintManager somewhere to live.
26 ConstraintManager::~ConstraintManager() {}
340 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 859 milliseconds