Home
last modified time | relevance | path

Searched refs:assumeSymLE (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.h70 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
DRangeConstraintManager.cpp311 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
541 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym, in assumeSymLE() function in RangeConstraintManager
DSimpleConstraintManager.cpp261 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()