#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/APFloat.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/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	IsLiteralConstantExpr (const Expr *E)
	Returns true on constant values based around a single IntegerLiteral, CharacterLiteral, or FloatingLiteral.
static const Expr *	tryTransformToLiteralConstant (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	isCXXAssumeAttr (const AttributedStmt *A)
static bool	CanThrow (Expr *E, ASTContext &Ctx)
static bool	isBuiltinAssumeWithSideEffects (const ASTContext &Ctx, const CallExpr *CE)
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, bool TerminateWithNewLine=true)
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)