Searched refs:assumeSymEQ (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.h | 58 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
|
H A D | SimpleConstraintManager.cpp | 111 return assumeSymEQ(State, Sym, zero, zero); 246 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment);
|
H A D | RangeConstraintManager.cpp | 295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym, 439 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym, function in class:RangeConstraintManager
|
Completed in 174 milliseconds