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