Home | History | Annotate | Download | only in Core

Lines Matching refs:CondE

1420   const Expr *CondE = builder.getCondition();
1421   SVal  CondV_untested = state->getSVal(CondE, builder.getLocationContext());
1446     assert(V1.getBitWidth() == getContext().getTypeSize(CondE->getType()));