Searched refs:getAsSymExpr (Results 1 – 5 of 5) sorted by relevance
229 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()230 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
163 SymbolRef sym = Cond.getAsSymExpr(); in assumeAux()
120 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr() function in SVal
668 if (const SymExpr *Sym = V.getAsSymExpr()) in isTainted()
162 const SymExpr* getAsSymExpr() const;