Searched refs:CondV_untested (Results 1 – 1 of 1) sorted by relevance
1782 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext()); in processSwitch() local1784 if (CondV_untested.isUndef()) { in processSwitch()1791 DefinedOrUnknownSVal CondV = CondV_untested.castAs<DefinedOrUnknownSVal>(); in processSwitch()