clang 17.0.0git
Namespaces | Functions
ControlFlowContext.cpp File Reference
#include "clang/Analysis/FlowSensitive/ControlFlowContext.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/AST/Stmt.h"
#include "clang/Analysis/CFG.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/Support/Error.h"
#include <utility>

Go to the source code of this file.

Namespaces

namespace  clang
 
namespace  clang::dataflow
 Dataflow Directional Tag Classes.
 

Functions

static llvm::DenseMap< const Stmt *, const CFGBlock * > clang::dataflow::buildStmtToBasicBlockMap (const CFG &Cfg)
 Returns a map from statements to basic blocks that contain them.
 
static llvm::BitVector clang::dataflow::findReachableBlocks (const CFG &Cfg)