Searched refs:RangeConstraintManager (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1 //== RangeConstraintManager.cpp - Manage range constraints.------*- C++ -*--==//
10 // This file defines RangeConstraintManager, a class that tracks simple
285 class RangeConstraintManager : public SimpleConstraintManager{ class in namespace:__anon18276
288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) function in class:__anon18276::RangeConstraintManager
333 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
336 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
342 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
369 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
385 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
407 // assumeSymX methods: public interface for RangeConstraintManager
[all...]
H A DAndroid.mk42 RangeConstraintManager.cpp \

Completed in 126 milliseconds