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

  /external/clang/lib/StaticAnalyzer/Core/
RangeConstraintManager.cpp 1 //== RangeConstraintManager.cpp - Manage range constraints.------*- C++ -*--==//
10 // This file defines RangeConstraintManager, a class that tracks simple
285 class RangeConstraintManager : public SimpleConstraintManager{
288 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
331 return new RangeConstraintManager(Eng, StMgr.getSValBuilder());
334 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
340 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
367 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
383 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
405 // assumeSymX methods: public interface for RangeConstraintManager
    [all...]
Android.mk 41 RangeConstraintManager.cpp \

Completed in 526 milliseconds