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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1517 ProgramStateRef DefaultSt = state; local
1546 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state,
1562 if (DefaultSt) {
1563 if (ProgramStateRef stateNew = DefaultSt->assume(Res, false)) {
1565 DefaultSt = stateNew;
1569 DefaultSt = NULL;
1600 builder.generateDefaultCaseNode(DefaultSt);

Completed in 116 milliseconds