Searched refs:getRawSVal (Results 1 – 5 of 5) sorted by relevance
383 SVal getRawSVal(Loc LV, QualType T= QualType()) const;824 inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const { in getRawSVal() function
222 Value = State->getRawSVal(*ValAsLoc); in verifyRandomIncrOrDecr()
600 Val = State->getRawSVal(*LocAmount); in handleRandomIncrOrDecr()
261 SVal V = getRawSVal(location, T); in getSVal()
253 return State->getRawSVal(*FieldL, FD->getType()); in getSValForVar()1055 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()2368 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in handle()2534 RVal = LVState->getRawSVal(*L, Inner->getType()); in handle()