clang 10.0.0git

clang::ento::EnvironmentManager Member List

This is the complete list of members for clang::ento::EnvironmentManager, including all inherited members.

bindExpr(Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate) | clang::ento::EnvironmentManager |
EnvironmentManager(llvm::BumpPtrAllocator &Allocator) | clang::ento::EnvironmentManager | inline
getInitialEnvironment() | clang::ento::EnvironmentManager | inline
removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef state) | clang::ento::EnvironmentManager |