Home
last modified time | relevance | path

Searched refs:getRawSVal (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h381 SVal getRawSVal(Loc LV, QualType T= QualType()) const;
822 inline SVal ProgramState::getRawSVal(Loc LV, QualType T) const { in getRawSVal() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorRangeChecker.cpp228 Value = State->getRawSVal(*ValAsLoc); in verifyRandomIncrOrDecr()
H A DIteratorModeling.cpp605 Val = State->getRawSVal(*LocAmount); in handleRandomIncrOrDecr()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp228 return State->getRawSVal(*FieldL, FD->getType()); in getSValForVar()
1029 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()
2191 SVal V = LVState->getRawSVal(loc::MemRegionVal(R)); in handle()
2355 RVal = LVState->getRawSVal(*L, Inner->getType()); in handle()
H A DProgramState.cpp263 SVal V = getRawSVal(location, T); in getSVal()