Searched refs:SymExprVal (Results 1 – 6 of 6) sorted by relevance
104 if (const nonloc::SymExprVal *X = dyn_cast<nonloc::SymExprVal>(this)) in getAsSymbol()114 if (const nonloc::SymExprVal *X = dyn_cast<nonloc::SymExprVal>(this)) in getAsSymbolicExpression()308 const nonloc::SymExprVal& C = *cast<nonloc::SymExprVal>(this); in dumpToStream()
26 if (nonloc::SymExprVal *SymVal = dyn_cast<nonloc::SymExprVal>(&X)) { in canReasonAbout()169 nonloc::SymExprVal V = cast<nonloc::SymExprVal>(Cond); in assumeAux()
47 return nonloc::SymExprVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()54 return nonloc::SymExprVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
265 return evalCastFromNonLoc(nonloc::SymExprVal(LHS), resultTy); in MakeSymIntVal()329 nonloc::SymExprVal *selhs = cast<nonloc::SymExprVal>(&lhs); in evalBinOpNN()
1813 if (nonloc::SymExprVal *SEV = dyn_cast<nonloc::SymExprVal>(&V)) { in evalEagerlyAssume()
299 class SymExprVal : public NonLoc {301 explicit SymExprVal(const SymExpr *SE) in SymExprVal() function