#include "clang/Analysis/CFG.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclGroup.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/PrettyPrinter.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtObjC.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/ConstructionContext.h"
#include "clang/Analysis/Support/BumpVector.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/ExceptionSpecificationType.h"
#include "clang/Basic/JsonSupport.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/Specifiers.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Allocator.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/DOTGraphTraits.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/Format.h"
#include "llvm/Support/GraphWriter.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <memory>
#include <optional>
#include <string>
#include <tuple>
#include <utility>
#include <vector>

Classes
struct	llvm::DOTGraphTraits< const CFG * >

Namespaces
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.

Functions
static SourceLocation	GetEndLoc (Decl *D)

static bool	IsIntegerLiteralConstantExpr (const Expr *E)
	Returns true on constant values based around a single IntegerLiteral.

static const Expr *	tryTransformToIntOrEnumConstant (const Expr *E)
	Helper for tryNormalizeBinaryOperator.

static std::tuple< const Expr , BinaryOperatorKind, const Expr >	tryNormalizeBinaryOperator (const BinaryOperator *B)
	Tries to interpret a binary operator into `Expr Op NumExpr` form, if NumExpr is an integer literal or an enum constant.

static bool	areExprTypesCompatible (const Expr E1, const Expr E2)
	For an expression `x == Foo && x == Bar`, this determines whether the `Foo` and `Bar` are either of the same enumeration type, or both integer literals.

static TryResult	bothKnownTrue (TryResult R1, TryResult R2)

static const VariableArrayType *	FindVA (const Type *t)

static QualType	getReferenceInitTemporaryType (const Expr Init, bool FoundMTE=nullptr)
	Retrieve the type of the temporary object whose lifetime was extended by a local reference with the given initializer.

static bool	isFallthroughStatement (const AttributedStmt *A)

static bool	CanThrow (Expr *E, ASTContext &Ctx)

static bool	shouldAddCase (bool &switchExclusivelyCovered, const Expr::EvalResult switchCond, const CaseStmt CS, ASTContext &Ctx)

static void	print_initializer (raw_ostream &OS, StmtPrinterHelper &Helper, const CXXCtorInitializer *I)

static void	print_construction_context (raw_ostream &OS, StmtPrinterHelper &Helper, const ConstructionContext *CC)

static void	print_elem (raw_ostream &OS, StmtPrinterHelper &Helper, const CFGElement &E)

static void	print_block (raw_ostream &OS, const CFG *cfg, const CFGBlock &B, StmtPrinterHelper &Helper, bool print_edges, bool ShowColors)

static bool	isImmediateSinkBlock (const CFGBlock *Blk)

Variables
static StmtPrinterHelper *	GraphHelper

Function Documentation

◆ areExprTypesCompatible()

static bool areExprTypesCompatible	(	const Expr *	E1,
		const Expr *	E2
	)

static

For an expression x == Foo && x == Bar, this determines whether the Foo and Bar are either of the same enumeration type, or both integer literals.

It's an error to pass this arguments that are not either IntegerLiterals or DeclRefExprs (that have decls of type EnumConstantDecl)

Definition at line 148 of file CFG.cpp.

◆ bothKnownTrue()

static TryResult bothKnownTrue	(	TryResult	R1,
		TryResult	R2
	)

static

Definition at line 423 of file CFG.cpp.

◆ CanThrow()

static bool CanThrow	(	Expr *	E,
		ASTContext &	Ctx
	)

static

Definition at line 2686 of file CFG.cpp.

References E, clang::Type::getAs(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isBlockPointerType(), clang::Type::isFunctionPointerType(), and clang::isUnresolvedExceptionSpec().

Referenced by clang::Sema::BuildCXXNoexceptExpr(), pushCaptureCleanup(), clang::ASTContext::setBlockVarCopyInit(), and clang::BlockVarCopyInit::setExprAndFlag().

◆ FindVA()

static const VariableArrayType * FindVA ( const Type * t )

static

Definition at line 1420 of file CFG.cpp.

Referenced by clang::StmtIteratorBase::HandleDecl(), and clang::StmtIteratorBase::NextVA().

◆ GetEndLoc()

static SourceLocation GetEndLoc ( Decl * D )

static

Definition at line 66 of file CFG.cpp.

References D, and clang::Decl::getLocation().

◆ getReferenceInitTemporaryType()

static QualType getReferenceInitTemporaryType	(	const Expr *	Init,
		bool *	FoundMTE = `nullptr`
	)

static

Retrieve the type of the temporary object whose lifetime was extended by a local reference with the given initializer.

Definition at line 1776 of file CFG.cpp.

References clang::Init.

Referenced by clang::CFGImplicitDtor::getDestructorDecl(), and print_elem().

◆ isFallthroughStatement()

static bool isFallthroughStatement ( const AttributedStmt * A )

static

Definition at line 2478 of file CFG.cpp.

References clang::AttributedStmt::getAttrs(), and clang::AttributedStmt::getSubStmt().

◆ isImmediateSinkBlock()

static bool isImmediateSinkBlock ( const CFGBlock * Blk )

static

Definition at line 6183 of file CFG.cpp.

References clang::CFGElement::getAs(), clang::CFGBlock::hasNoReturnElement(), and clang::if().

Referenced by clang::CFGBlock::isInevitablySinking().

◆ IsIntegerLiteralConstantExpr()

static bool IsIntegerLiteralConstantExpr ( const Expr * E )

static

Returns true on constant values based around a single IntegerLiteral.

Allow for use of parentheses, integer casts, and negative signs. FIXME: it would be good to unify this function with getIntegerLiteralSubexpressionValue at some point given the similarity between the functions.

Definition at line 79 of file CFG.cpp.

References E, and clang::Expr::IgnoreParens().

Referenced by tryTransformToIntOrEnumConstant().