clang 20.0.0git
Classes | Namespaces | Enumerations | Functions
DataflowEnvironment.h File Reference
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/FlowSensitive/ASTOps.h"
#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"
#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "clang/Analysis/FlowSensitive/Logger.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ErrorHandling.h"
#include <cassert>
#include <memory>
#include <type_traits>
#include <utility>
#include <vector>

Go to the source code of this file.

Classes

struct  clang::dataflow::WidenResult
 The result of a widen operation. More...
 
class  clang::dataflow::Environment
 Holds the state of the program (store and heap) at a given program point. More...
 
class  clang::dataflow::Environment::ValueModel
 Supplements Environment with non-standard comparison and join operations. More...
 

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::dataflow
 Dataflow Directional Tag Classes.
 

Enumerations

enum class  clang::dataflow::ComparisonResult { clang::dataflow::Same , clang::dataflow::Different , clang::dataflow::Unknown }
 Indicates the result of a tentative comparison. More...
 

Functions

RecordStorageLocation * clang::dataflow::getImplicitObjectLocation (const CXXMemberCallExpr &MCE, const Environment &Env)
 Returns the storage location for the implicit object of a CXXMemberCallExpr, or null if none is defined in the environment.
 
RecordStorageLocation * clang::dataflow::getBaseObjectLocation (const MemberExpr &ME, const Environment &Env)
 Returns the storage location for the base object of a MemberExpr, or null if none is defined in the environment.