Lines Matching defs:Cond
26 DefinedSVal Cond,
29 if (Optional<Loc> LV = Cond.getAs<Loc>()) {
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
45 NonLoc Cond, bool Assumption) {
46 State = assumeAux(State, Cond, Assumption);
48 return EE->processAssume(State, Cond, Assumption);
53 NonLoc Cond,
58 if (!canReasonAbout(Cond)) {
60 SymbolRef Sym = Cond.getAsSymbol();
65 switch (Cond.getSubKind()) {
70 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
77 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
83 bool IsNull = !Cond.castAs<nonloc::PointerToMember>().isNullMemberPointer();
89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),