Searched refs:CondE (Results 1 – 1 of 1) sorted by relevance
2975 const Expr *CondE = builder.getCondition(); in processSwitch() local2976 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext()); in processSwitch()3001 assert(V1.getBitWidth() == getContext().getIntWidth(CondE->getType())); in processSwitch()