Searched defs:getSVal (Results 1 – 11 of 11) sorted by relevance
146 SVal getSVal(const Stmt *S) const { in getSVal() function
765 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function788 inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const { in getSVal() function
177 SVal getSVal(const Stmt *S) const { in getSVal() function
187 SVal getSVal(const Stmt *S) const { in getSVal() function
195 SVal getSVal(const Stmt *S) const { in getSVal() function
728 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function751 inline SVal ProgramState::getSVal(const MemRegion* R) const { in getSVal() function
183 SVal getSVal(const Stmt *S) const { in getSVal() function
69 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
251 SVal ProgramState::getSVal(Loc location, QualType T) const { in getSVal() function in ProgramState
86 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
266 SVal ProgramState::getSVal(Loc location, QualType T) const { in getSVal() function in ProgramState