Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp111 return assumeSymEQ(State, Sym, zero, zero); in assumeAuxForSymbol()
246 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
DSimpleConstraintManager.h58 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
DRangeConstraintManager.cpp295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
439 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym, in assumeSymEQ() function in RangeConstraintManager