OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:getSVal
(Results
1 - 5
of
5
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
Environment.cpp
68
SVal Environment::
getSVal
(const EnvironmentEntry &Entry,
124
return
getSVal
(EnvironmentEntry(RE, LCtx), svalBuilder);
ProgramState.cpp
222
return
getSVal
(R);
228
SVal ProgramState::
getSVal
(Loc location, QualType T) const {
628
SymbolRef Sym =
getSVal
(S, LCtx).getAsSymbol();
632
const MemRegion *R =
getSVal
(S, LCtx).getAsRegion();
663
SVal val =
getSVal
(S, LCtx);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h
194
SVal
getSVal
(const Stmt *S) const {
195
return getState()->
getSVal
(S, getLocationContext());
ProgramState.h
274
SVal
getSVal
(const Stmt *S, const LocationContext *LCtx) const;
280
SVal
getSVal
(Loc LV, QualType T = QualType()) const;
287
SVal
getSVal
(const MemRegion* R) const;
690
inline SVal ProgramState::
getSVal
(const Stmt *Ex,
692
return Env.
getSVal
(EnvironmentEntry(Ex, LCtx),
702
return
getSVal
(S, LCtx);
712
inline SVal ProgramState::
getSVal
(const MemRegion* R) const {
CallEvent.h
160
SVal
getSVal
(const Stmt *S) const {
161
return getState()->
getSVal
(S, getLocationContext());
[
all
...]
Completed in 485 milliseconds