Searched refs:getRawSVal (Results 1 – 5 of 5) sorted by relevance
383 SVal getRawSVal(Loc LV, QualType T= QualType()) const;812 inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const { in getRawSVal() function
227 Value = State->getRawSVal(*ValAsLoc); in verifyRandomIncrOrDecr()
601 Val = State->getRawSVal(*LocAmount); in handleRandomIncrOrDecr()
257 return State->getRawSVal(*FieldL, FD->getType()); in getSValForVar()1059 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()2372 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in handle()2538 RVal = LVState->getRawSVal(*L, Inner->getType()); in handle()
275 SVal V = getRawSVal(location, T); in getSVal()