Searched refs:getAsSymExpr (Results 1 – 6 of 6) sorted by relevance
122 SymbolRef sym = Cond.getAsSymExpr(); in assumeAux()203 SymbolRef Sym = Value.getAsSymExpr(); in assumeWithinInclusiveRange()
339 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()340 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
128 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr() function in SVal
697 if (const SymExpr *Sym = V.getAsSymExpr()) in isTainted()
170 const SymExpr* getAsSymExpr() const;
416 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()