Searched defs:getSVal (Results 1 - 5 of 5) sorted by path
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CallEvent.h | 158 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CallEvent 159 return getState()->getSVal(S, getLocationContext());
|
H A D | CheckerContext.h | 195 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CheckerContext 196 return getState()->getSVal(S, getLocationContext());
|
H A D | ProgramState.h | 275 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const; 281 SVal getSVal(Loc LV, QualType T = QualType()) const; 288 SVal getSVal(const MemRegion* R) const; 692 inline SVal ProgramState::getSVal(const Stmt *Ex, function in class:clang::ento::ProgramState 694 return Env.getSVal(EnvironmentEntry(Ex, LCtx), 705 return getSVal(S, LCtx); 715 inline SVal ProgramState::getSVal(const MemRegion* R) const { function in class:clang::ento::ProgramState
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 69 SVal Environment::getSVal(const EnvironmentEntry &Entry, function in class:Environment 99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
H A D | ProgramState.cpp | 245 return getSVal(R); 251 SVal ProgramState::getSVal(Loc location, QualType T) const { function in class:ProgramState 657 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol(); 661 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); 692 SVal val = getSVal(S, LCtx);
|
Completed in 384 milliseconds