clang  7.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 99 of file Environment.h.

Constructor & Destructor Documentation

◆ EnvironmentManager()

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

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 123 of file Environment.cpp.

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

◆ getInitialEnvironment()

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

Definition at line 108 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: