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