Lines Matching refs:Cond
69 DefinedSVal Cond,
72 if (Optional<Loc> LV = Cond.getAs<Loc>()) {
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
88 NonLoc cond,
90 state = assumeAux(state, cond, assumption);
92 return SU->processAssume(state, cond, assumption);
115 NonLoc Cond,
120 if (!canReasonAbout(Cond)) {
122 SymbolRef sym = Cond.getAsSymExpr();
126 switch (Cond.getSubKind()) {
131 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
182 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
