Searched refs:getRawSVal (Results 1 – 4 of 4) sorted by relevance
307 SVal getRawSVal(Loc LV, QualType T= QualType()) const;747 inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const { in getRawSVal() function
264 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()1043 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in trackNullOrUndefValue()1092 RVal = state->getRawSVal(L.getValue(), E->getType()); in trackNullOrUndefValue()
252 SVal V = getRawSVal(cast<Loc>(location), T); in getSVal()
1285 if (R.isInteresting(LV) || R.isInteresting(State->getRawSVal(LV))) in reversePropagateInterestingSymbols()