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
294 class RangeConstraintManager : public SimpleConstraintManager{
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB)
364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());
367 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
373 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
400 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
416 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
438 // assumeSymX methods: public interface for RangeConstraintManager
    [all...]
Android.mk 46 RangeConstraintManager.cpp \

Completed in 45 milliseconds