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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1626 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext()); local
1628 if (CondV_untested.isUndef()) {
1635 DefinedOrUnknownSVal CondV = CondV_untested.castAs<DefinedOrUnknownSVal>();

Completed in 610 milliseconds