Searched defs:assumeAuxForSymbol (Results 1 - 1 of 1) 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);

Completed in 1182 milliseconds