Searched refs:SimpleConstraintManager (Results 1 - 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp1 //== SimpleConstraintManager.cpp --------------------------------*- C++ -*--==//
10 // This file defines SimpleConstraintManager, a class that holds code shared
15 #include "SimpleConstraintManager.h"
24 SimpleConstraintManager::~SimpleConstraintManager() {}
26 bool SimpleConstraintManager::canReasonAbout(SVal X) const {
58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state,
67 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond,
75 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state,
114 ProgramStateRef SimpleConstraintManager
[all...]
H A DSimpleConstraintManager.h1 //== SimpleConstraintManager.h ----------------------------------*- C++ -*--==//
24 class SimpleConstraintManager : public ConstraintManager { class in namespace:clang::ento
28 SimpleConstraintManager(SubEngine &subengine, BasicValueFactory &BV) function in class:clang::ento::SimpleConstraintManager
30 virtual ~SimpleConstraintManager();
H A DAndroid.mk44 SimpleConstraintManager.cpp \
H A DRangeConstraintManager.cpp15 #include "SimpleConstraintManager.h"
296 class RangeConstraintManager : public SimpleConstraintManager{
300 : SimpleConstraintManager(subengine, BVF) {}

Completed in 191 milliseconds