Home
last modified time | relevance | path

Searched refs:EnvironmentEntry (Results 1 – 4 of 4) sorted by relevance

/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DEnvironment.h35 class EnvironmentEntry : public std::pair<const Stmt *,
38 EnvironmentEntry(const Stmt *s, const LocationContext *L);
45 const EnvironmentEntry &E) { in Profile()
60 using BindingsTy = llvm::ImmutableMap<EnvironmentEntry, SVal>;
66 SVal lookupExpr(const EnvironmentEntry &E) const;
76 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
113 Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
H A DProgramState.h795 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DEnvironment.cpp74 EnvironmentEntry::EnvironmentEntry(const Stmt *S, const LocationContext *L) in EnvironmentEntry() function in EnvironmentEntry
80 SVal Environment::lookupExpr(const EnvironmentEntry &E) const { in lookupExpr()
89 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal()
128 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
134 return lookupExpr(EnvironmentEntry(S, LCtx)); in getSVal()
139 const EnvironmentEntry &E, in bindExpr()
191 llvm::ImmutableMapRef<EnvironmentEntry, SVal> in removeDeadBindings()
197 const EnvironmentEntry &BlkExpr = I.getKey(); in removeDeadBindings()
H A DProgramState.cpp319 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()