Searched refs:assumeAuxForSymbol (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp98 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
123 return assumeAuxForSymbol(state, sym, Assumption);
137 return assumeAuxForSymbol(state, sym, Assumption);
178 return assumeAuxForSymbol(state, sym, Assumption);
H A DSimpleConstraintManager.h91 ProgramStateRef assumeAuxForSymbol(ProgramStateRef State,

Completed in 63 milliseconds