HomeSort by relevance Sort by last modified time
    Searched defs:ConstraintManager (Results 1 - 2 of 2) 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,
  /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();
105 /// Note that a ConstraintManager is not obligated to return a concretized
133 /// to avoid infinite recursions within the ConstraintManager.
135 /// Note that this flag allows the ConstraintManager to be re-entrant,
140 /// all SVal values. This method returns true if the ConstraintManager can
151 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,

Completed in 163 milliseconds