Searched refs:getAsSymExpr (Results 1 – 5 of 5) sorted by relevance
311 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()312 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
122 SymbolRef sym = Cond.getAsSymExpr(); in assumeAux()
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;