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
69
SVal Environment::
getSVal
(const EnvironmentEntry &Entry,
100
return
getSVal
(EnvironmentEntry(RE, LCtx), svalBuilder);
ProgramState.cpp
245
return
getSVal
(R);
251
SVal ProgramState::
getSVal
(Loc location, QualType T) const {
657
SymbolRef Sym =
getSVal
(S, LCtx).getAsSymbol();
661
const MemRegion *R =
getSVal
(S, LCtx).getAsRegion();
692
SVal val =
getSVal
(S, LCtx);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h
195
SVal
getSVal
(const Stmt *S) const {
196
return getState()->
getSVal
(S, getLocationContext());
ProgramState.h
297
SVal
getSVal
(const Stmt *S, const LocationContext *LCtx) const;
303
SVal
getSVal
(Loc LV, QualType T = QualType()) const;
310
SVal
getSVal
(const MemRegion* R) const;
727
inline SVal ProgramState::
getSVal
(const Stmt *Ex,
729
return Env.
getSVal
(EnvironmentEntry(Ex, LCtx),
740
return
getSVal
(S, LCtx);
750
inline SVal ProgramState::
getSVal
(const MemRegion* R) const {
CallEvent.h
158
SVal
getSVal
(const Stmt *S) const {
159
return getState()->
getSVal
(S, getLocationContext());
[
all
...]
Completed in 94 milliseconds