Searched defs:RangeConstraintManager (Results 1 - 1 of 1) 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
296 class RangeConstraintManager : public SimpleConstraintManager{ class in namespace:__anon3959
299 RangeConstraintManager(SubEngine &subengine, BasicValueFactory &BVF) function in class:__anon3959::RangeConstraintManager
341 return new RangeConstraintManager(Eng, StMgr.getBasicVals());
344 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
353 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
369 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
391 // assumeSymX methods: public interface for RangeConstraintManager.
403 RangeConstraintManager
[all...]

Completed in 19 milliseconds