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

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp129 SimpleConstraintManager::assumeAuxForSymbol(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
154 return assumeAuxForSymbol(state, sym, Assumption);
168 return assumeAuxForSymbol(state, sym, Assumption);
209 return assumeAuxForSymbol(state, sym, Assumption);

Completed in 24 milliseconds