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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1432 ProgramStateRef DefaultSt = state; local
1461 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state,
1477 if (DefaultSt) {
1478 if (ProgramStateRef stateNew = DefaultSt->assume(Res, false)) {
1480 DefaultSt = stateNew;
1484 DefaultSt = NULL;
1515 builder.generateDefaultCaseNode(DefaultSt);

Completed in 50 milliseconds