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

  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 1 //== ConstraintManager.cpp - Constraints on symbolic values -----*- C++ -*--==//
19 ConstraintManager::~ConstraintManager() {}
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
SimpleConstraintManager.h 17 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
24 class SimpleConstraintManager : public ConstraintManager {
33 // Common implementation for the interface provided by ConstraintManager.
ProgramState.cpp 346 ConstraintManager &CM = SM.getConstraintManager();
RangeConstraintManager.cpp 362 std::unique_ptr<ConstraintManager>
SimpleSValBuilder.cpp 519 ConstraintManager &CMgr = state->getConstraintManager();
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
62 class ConstraintManager {
64 ConstraintManager() : NotifyAssumeClients(true) {}
66 virtual ~ConstraintManager();
134 /// Note that a ConstraintManager is not obligated to return a concretized
162 /// to avoid infinite recursions within the ConstraintManager.
164 /// Note that this flag allows the ConstraintManager to be re-entrant,
169 /// all SVal values. This method returns true if the ConstraintManager can
180 std::unique_ptr<ConstraintManager>
ProgramState.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
43 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
114 /// Return the ConstraintManager.
115 ConstraintManager &getConstraintManager() const;
154 // are managed using the ConstraintManager associated with a ProgramStateManager.
454 std::unique_ptr<ConstraintManager> ConstraintMgr;
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
633 inline ConstraintManager &ProgramState::getConstraintManager() const {
CheckerContext.h 106 ConstraintManager &getConstraintManager() {
ExprEngine.h 283 /// evalAssume - Callback function invoked by the ConstraintManager when
309 ConstraintManager& getConstraintManager() {
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 69 ConstraintManager &CM = C.getConstraintManager();
BoolAssignmentChecker.cpp 81 ConstraintManager &CM = C.getConstraintManager();
VLASizeChecker.cpp 142 ConstraintManager &CM = C.getConstraintManager();
NonNullParamChecker.cpp 138 ConstraintManager &CM = C.getConstraintManager();
SimpleStreamChecker.cpp 168 ConstraintManager &CMgr = State->getConstraintManager();
StreamChecker.cpp 220 ConstraintManager &CM = C.getConstraintManager();
347 ConstraintManager &CM = C.getConstraintManager();
TestAfterDivZeroChecker.cpp 144 ConstraintManager &CM = C.getConstraintManager();
MacOSKeychainAPIChecker.cpp 565 ConstraintManager &CMgr = State->getConstraintManager();
MallocChecker.cpp     [all...]

Completed in 965 milliseconds