reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h

   80   static void Profile(llvm::FoldingSetNodeID& ID, const Environment* env) {
   90   bool operator==(const Environment& RHS) const {
  101   using FactoryTy = Environment::BindingsTy::Factory;
  108   Environment getInitialEnvironment() {
  113   Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
  113   Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
  116   Environment removeDeadBindings(Environment Env,
  116   Environment removeDeadBindings(Environment Env,

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

   85   Environment Env;           // Maps a Stmt to its current SVal.
   98   ProgramState(ProgramStateManager *mgr, const Environment& env,
  121   const Environment& getEnvironment() const { return Env; }

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

  349 bool isBoundThroughLazyCompoundVal(const Environment &Env,
 2084 bool isBoundThroughLazyCompoundVal(const Environment &Env,

tools/clang/lib/StaticAnalyzer/Core/Environment.cpp

  128 Environment EnvironmentManager::bindExpr(Environment Env,
  128 Environment EnvironmentManager::bindExpr(Environment Env,
  169 Environment
  170 EnvironmentManager::removeDeadBindings(Environment Env,
  176   Environment NewEnv = getInitialEnvironment();
  186   for (Environment::iterator I = Env.begin(), E = Env.end();

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

   46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
  305   Environment NewEnv =