Searched defs:getSVal (Results 1 – 5 of 5) sorted by relevance
190 SVal getSVal(const Stmt *S) const { in getSVal() function
695 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function718 inline SVal ProgramState::getSVal(const MemRegion* R) const { in getSVal() function
160 SVal getSVal(const Stmt *S) const { in getSVal() function
68 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment
272 SVal ProgramState::getSVal(Loc location, QualType T) const { in getSVal() function in ProgramState