Searched defs:getSVal (Results 1 – 6 of 6) sorted by relevance
149 SVal getSVal(const Stmt *S) const { in getSVal() function
805 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function828 inline SVal ProgramState::getSVal(const MemRegion* R, QualType T) const { in getSVal() function
175 SVal getSVal(const Stmt *S) const { in getSVal() function
194 SVal getSVal(const Stmt *S) const { in getSVal() function
86 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
261 SVal ProgramState::getSVal(Loc location, QualType T) const { in getSVal() function in ProgramState