clang  6.0.0svn
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. More...
 
Environment removeDeadBindings (Environment Env, SymbolReaper &SymReaper, ProgramStateRef state)
 

Detailed Description

Definition at line 103 of file Environment.h.

Constructor & Destructor Documentation

◆ EnvironmentManager()

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

Definition at line 109 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 110 of file Environment.cpp.

References clang::ento::SVal::isUnknown().

◆ getInitialEnvironment()

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

Definition at line 111 of file Environment.h.

Referenced by clang::ento::ProgramStateManager::getInitialState().

◆ removeDeadBindings()

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

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