Searched refs:EnvironmentEntry (Results 1 – 4 of 4) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 35 class EnvironmentEntry : public std::pair<const Stmt*,
38 EnvironmentEntry(const Stmt *s, const LocationContext *L);
45 const EnvironmentEntry &E) { in Profile()
61 typedef llvm::ImmutableMap<EnvironmentEntry, SVal> BindingsTy;
69 SVal lookupExpr(const EnvironmentEntry &E) const;
78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
116 Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
|
| D | ProgramState.h | 730 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Environment.cpp | 54 EnvironmentEntry::EnvironmentEntry(const Stmt *S, const LocationContext *L) in EnvironmentEntry() function in EnvironmentEntry
60 SVal Environment::lookupExpr(const EnvironmentEntry &E) const { in lookupExpr()
69 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal()
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
106 return lookupExpr(EnvironmentEntry(S, LCtx)); in getSVal()
111 const EnvironmentEntry &E, in bindExpr()
159 llvm::ImmutableMapRef<EnvironmentEntry,SVal> in removeDeadBindings()
167 const EnvironmentEntry &BlkExpr = I.getKey(); in removeDeadBindings()
193 const EnvironmentEntry &En = I.getKey(); in print()
|
| D | ProgramState.cpp | 294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
|