Lines Matching defs:Cond

27                                                         DefinedSVal Cond,
30   if (std::optional<Loc> LV = Cond.getAs<Loc>()) {
39     Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
42   return assume(State, Cond.castAs<NonLoc>(), Assumption);
46                                                 NonLoc Cond, bool Assumption) {
47   State = assumeAux(State, Cond, Assumption);
49     return EE->processAssume(State, Cond, Assumption);
54                                                    NonLoc Cond,
59   if (!canReasonAbout(Cond)) {
61     SymbolRef Sym = Cond.getAsSymbol();
66   switch (Cond.getKind()) {
71     nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
78     bool b = *Cond.castAs<nonloc::ConcreteInt>().getValue().get() != 0;
84     bool IsNull = !Cond.castAs<nonloc::PointerToMember>().isNullMemberPointer();
90     return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),