Searched refs:getAsSymExpr (Results 1 – 9 of 9) sorted by relevance
61 SymbolRef Sym = Cond.getAsSymExpr(); in assumeAux()105 SymbolRef Sym = Value.getAsSymExpr(); in assumeInclusiveRange()
381 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()382 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
144 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr() function in SVal
747 if (const SymExpr *Sym = V.getAsSymExpr()) in isTainted()
190 const SymExpr *getAsSymExpr() const;
509 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
410 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
856 const auto *SE = Cond.getAsSymExpr(); in evalAssume()
129 if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymExpr() == Sym) in findArgIdxOfSymbol()