clang 20.0.0git
Public Member Functions | List of all members
clang::ento::EnvironmentManager Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/Environment.h"

Public Member Functions

 EnvironmentManager (llvm::BumpPtrAllocator &Allocator)
 
Environment getInitialEnvironment ()
 
Environment bindExpr (Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate)
 Bind a symbolic value to the given environment entry.
 
Environment removeDeadBindings (Environment Env, SymbolReaper &SymReaper, ProgramStateRef state)
 

Detailed Description

Definition at line 99 of file Environment.h.

Constructor & Destructor Documentation

◆ EnvironmentManager()

clang::ento::EnvironmentManager::EnvironmentManager ( llvm::BumpPtrAllocator &  Allocator)
inline

Definition at line 106 of file Environment.h.

Member Function Documentation

◆ bindExpr()

Environment EnvironmentManager::bindExpr ( Environment  Env,
const EnvironmentEntry E,
SVal  V,
bool  Invalidate 
)

Bind a symbolic value to the given environment entry.

Definition at line 138 of file Environment.cpp.

References E, Env, and V.

Referenced by clang::ento::ProgramState::BindExpr().

◆ getInitialEnvironment()

Environment clang::ento::EnvironmentManager::getInitialEnvironment ( )
inline

◆ removeDeadBindings()

Environment EnvironmentManager::removeDeadBindings ( Environment  Env,
SymbolReaper SymReaper,
ProgramStateRef  state 
)

The documentation for this class was generated from the following files: