Lines Matching refs:Cond
59 DefinedSVal Cond,
61 if (Optional<NonLoc> NV = Cond.getAs<NonLoc>())
63 return assume(state, Cond.castAs<Loc>(), Assumption);
75 Loc Cond, bool Assumption) {
76 switch (Cond.getSubKind()) {
84 const MemRegion *R = Cond.castAs<loc::MemRegionVal>().getRegion();
106 bool b = Cond.castAs<loc::ConcreteInt>().getValue() != 0;
156 NonLoc Cond,
161 if (!canReasonAbout(Cond)) {
163 SymbolRef sym = Cond.getAsSymExpr();
169 switch (Cond.getSubKind()) {
174 nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
206 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
212 return assumeAux(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),