#include "clang/Sema/AnalysisBasedWarnings.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtObjC.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Analyses/CFGReachabilityAnalysis.h"
#include "clang/Analysis/Analyses/CalledOnceCheck.h"
#include "clang/Analysis/Analyses/Consumed.h"
#include "clang/Analysis/Analyses/ReachableCode.h"
#include "clang/Analysis/Analyses/ThreadSafety.h"
#include "clang/Analysis/Analyses/UninitializedValues.h"
#include "clang/Analysis/Analyses/UnsafeBufferUsage.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Analysis/CFGStmtMap.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/DiagnosticSema.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/STLFunctionalExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include <algorithm>
#include <deque>
#include <iterator>
#include <optional>

Classes
class	clang::sema::AnalysisBasedWarnings::InterProceduralData
	InterProceduralData aims to be a storage of whatever data should be passed between analyses of different functions. More...

class	CallableVisitor

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.

namespace	clang::threadSafety

namespace	clang::consumed

Enumerations
enum	ControlFlowKind { UnknownFallThrough , NeverFallThrough , MaybeFallThrough , AlwaysFallThrough , NeverFallThroughOrReturn }

Functions
static void	CheckUnreachable (Sema &S, AnalysisDeclContext &AC)
	CheckUnreachable - Check for unreachable code.

static bool	hasRecursiveCallInPath (const FunctionDecl *FD, CFGBlock &Block)

static bool	checkForRecursiveFunctionCall (const FunctionDecl FD, CFG cfg)

static void	checkRecursiveFunction (Sema &S, const FunctionDecl FD, const Stmt Body, AnalysisDeclContext &AC)

static bool	throwEscapes (Sema &S, const CXXThrowExpr E, CFGBlock &ThrowBlock, CFG Body)
	Determine whether an exception thrown by E, unwinding from ThrowBlock, can reach ExitBlock.

static void	visitReachableThrows (CFG BodyCFG, llvm::function_ref< void(const CXXThrowExpr , CFGBlock &)> Visit)

static void	EmitDiagForCXXThrowInNonThrowingFunc (Sema &S, SourceLocation OpLoc, const FunctionDecl *FD)

static void	checkThrowInNonThrowingFunc (Sema &S, const FunctionDecl *FD, AnalysisDeclContext &AC)

static bool	isNoexcept (const FunctionDecl *FD)

static ControlFlowKind	CheckFallThrough (AnalysisDeclContext &AC)
	CheckFallThrough - Check that we don't fall off the end of a Statement that should return a value.

static void	CheckFallThroughForBody (Sema &S, const Decl D, const Stmt Body, QualType BlockType, const CheckFallThroughDiagnostics &CD, AnalysisDeclContext &AC, sema::FunctionScopeInfo *FSI)
	CheckFallThroughForBody - Check that we don't fall off the end of a function that should return a value.

static bool	SuggestInitializationFixit (Sema &S, const VarDecl *VD)

static void	CreateIfFixit (Sema &S, const Stmt If, const Stmt Then, const Stmt *Else, bool CondVal, FixItHint &Fixit1, FixItHint &Fixit2)
	Create a fixit to remove an if-like statement, on the assumption that its condition is CondVal.

static void	DiagUninitUse (Sema &S, const VarDecl *VD, const UninitUse &Use, bool IsCapturedByBlock)
	DiagUninitUse – Helper function to produce a diagnostic for an uninitialized use of a variable.

static bool	DiagnoseUninitializedConstRefUse (Sema &S, const VarDecl *VD, const UninitUse &Use)
	Diagnose uninitialized const reference usages.

static bool	DiagnoseUninitializedUse (Sema &S, const VarDecl *VD, const UninitUse &Use, bool alwaysReportSelfInit=false)
	DiagnoseUninitializedUse – Helper function for diagnosing uses of an uninitialized variable.

static StringRef	getFallthroughAttrSpelling (Preprocessor &PP, SourceLocation Loc)

static void	DiagnoseSwitchLabelsFallthrough (Sema &S, AnalysisDeclContext &AC, bool PerFunction)

static bool	isInLoop (const ASTContext &Ctx, const ParentMap &PM, const Stmt *S)

static void	diagnoseRepeatedUseOfWeak (Sema &S, const sema::FunctionScopeInfo CurFn, const Decl D, const ParentMap &PM)

static unsigned	isEnabled (DiagnosticsEngine &D, unsigned diag)

static void	flushDiagnostics (Sema &S, const sema::FunctionScopeInfo *fscope)

Enumeration Type Documentation

◆ ControlFlowKind

enum ControlFlowKind

Enumerator
UnknownFallThrough
NeverFallThrough
MaybeFallThrough
AlwaysFallThrough
NeverFallThroughOrReturn

Definition at line 406 of file AnalysisBasedWarnings.cpp.

Function Documentation

◆ CheckFallThrough()

static ControlFlowKind CheckFallThrough ( AnalysisDeclContext & AC )

static

CheckFallThrough - Check that we don't fall off the end of a Statement that should return a value.

Returns: AlwaysFallThrough iff we always fall off the end of the statement, MaybeFallThrough iff we might or might not fall off the end, NeverFallThroughOrReturn iff we never fall off the end of the statement or return. We assume NeverFallThrough iff we never fall off the end of the statement but we may return. We assume that functions not marked noreturn will return.

Definition at line 423 of file AnalysisBasedWarnings.cpp.

Referenced by CheckFallThroughForBody().

◆ CheckFallThroughForBody()

static void CheckFallThroughForBody	(	Sema &	S,
		const Decl *	D,
		const Stmt *	Body,
		QualType	BlockType,
		const CheckFallThroughDiagnostics &	CD,
		AnalysisDeclContext &	AC,
		sema::FunctionScopeInfo *	FSI
	)

static

CheckFallThroughForBody - Check that we don't fall off the end of a function that should return a value.

Check that we don't fall off the end of a noreturn function. We assume that functions and blocks not marked noreturn will return.

Definition at line 662 of file AnalysisBasedWarnings.cpp.

References AlwaysFallThrough, CheckFallThrough(), clang::sema::FunctionScopeInfo::CoroutinePromise, D, clang::SemaBase::Diag(), clang::Type::getAs(), clang::Decl::getAsFunction(), clang::Stmt::getBeginLoc(), clang::Sema::getDiagnostics(), clang::Stmt::getEndLoc(), clang::Type::getPointeeType(), clang::ValueDecl::getType(), clang::sema::FunctionScopeInfo::isCoroutine(), clang::FunctionDecl::isCPUDispatchMultiVersion(), Loc, MaybeFallThrough, NeverFallThrough, NeverFallThroughOrReturn, and UnknownFallThrough.

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ checkForRecursiveFunctionCall()

static bool checkForRecursiveFunctionCall	(	const FunctionDecl *	FD,
		CFG *	cfg
	)

static

Definition at line 243 of file AnalysisBasedWarnings.cpp.

References Block, E, clang::CFGBlock::getBlockID(), clang::CFG::getEntry(), clang::CFG::getExit(), hasRecursiveCallInPath(), clang::CFGBlock::succ_begin(), clang::CFGBlock::succ_end(), and Visited.

Referenced by checkRecursiveFunction().

◆ checkRecursiveFunction()

static void checkRecursiveFunction	(	Sema &	S,
		const FunctionDecl *	FD,
		const Stmt *	Body,
		AnalysisDeclContext &	AC
	)

static

Definition at line 279 of file AnalysisBasedWarnings.cpp.

References checkForRecursiveFunctionCall(), clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::FunctionDecl::getCanonicalDecl(), clang::CFG::getExit(), clang::FunctionDecl::getTemplatedKind(), clang::CFGBlock::pred_empty(), clang::FunctionDecl::TK_MemberSpecialization, and clang::FunctionDecl::TK_NonTemplate.

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ checkThrowInNonThrowingFunc()

static void checkThrowInNonThrowingFunc	(	Sema &	S,
		const FunctionDecl *	FD,
		AnalysisDeclContext &	AC
	)

static

Definition at line 382 of file AnalysisBasedWarnings.cpp.

References Block, EmitDiagForCXXThrowInNonThrowingFunc(), clang::CFG::getExit(), clang::CXXThrowExpr::getThrowLoc(), clang::CFGBlock::pred_empty(), throwEscapes(), and visitReachableThrows().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ CheckUnreachable()

static void CheckUnreachable	(	Sema &	S,
		AnalysisDeclContext &	AC
	)

static

CheckUnreachable - Check for unreachable code.

Definition at line 122 of file AnalysisBasedWarnings.cpp.

References clang::reachable_code::FindUnreachableCode(), clang::Sema::getPreprocessor(), clang::Sema::getSourceManager(), and clang::SourceManager::isInMainFile().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ CreateIfFixit()

static void CreateIfFixit	(	Sema &	S,
		const Stmt *	If,
		const Stmt *	Then,
		const Stmt *	Else,
		bool	CondVal,
		FixItHint &	Fixit1,
		FixItHint &	Fixit2
	)

static

Create a fixit to remove an if-like statement, on the assumption that its condition is CondVal.

Definition at line 812 of file AnalysisBasedWarnings.cpp.

References clang::FixItHint::CreateRemoval(), clang::Stmt::getBeginLoc(), clang::CharSourceRange::getCharRange(), clang::Stmt::getEndLoc(), clang::Sema::getLocForEndOfToken(), and clang::If.

Referenced by DiagUninitUse().

◆ diagnoseRepeatedUseOfWeak()

static void diagnoseRepeatedUseOfWeak	(	Sema &	S,
		const sema::FunctionScopeInfo *	CurFn,
		const Decl *	D,
		const ParentMap &	PM
	)

static

Definition at line 1365 of file AnalysisBasedWarnings.cpp.

References Block, D, clang::SemaBase::Diag(), E, clang::Function, clang::Sema::getASTContext(), clang::Stmt::getBeginLoc(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::sema::FunctionScopeInfo::getWeakObjectUses(), int, clang::SourceManager::isBeforeInTranslationUnit(), isInLoop(), P, clang::Property, SM, and Variable.

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ DiagnoseSwitchLabelsFallthrough()

static void DiagnoseSwitchLabelsFallthrough	(	Sema &	S,
		AnalysisDeclContext &	AC,
		bool	PerFunction
	)

static

Definition at line 1274 of file AnalysisBasedWarnings.cpp.

References clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::CFGBlock::empty(), clang::Function, getFallthroughAttrSpelling(), clang::CFGBlock::getLabel(), clang::Sema::getPreprocessor(), clang::CFGBlock::getTerminatorStmt(), clang::SourceLocation::isMacroID(), Label, clang::CFGBlock::succ_begin(), and clang::CFGBlock::succ_size().

Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().

◆ DiagnoseUninitializedConstRefUse()

static bool DiagnoseUninitializedConstRefUse	(	Sema &	S,
		const VarDecl *	VD,
		const UninitUse &	Use
	)

static

Diagnose uninitialized const reference usages.

Definition at line 1004 of file AnalysisBasedWarnings.cpp.

References clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::NamedDecl::getDeclName(), clang::Stmt::getSourceRange(), and clang::UninitUse::getUser().

◆ DiagnoseUninitializedUse()

static bool DiagnoseUninitializedUse	(	Sema &	S,
		const VarDecl *	VD,
		const UninitUse &	Use,
		bool	alwaysReportSelfInit = `false`
	)

static

DiagnoseUninitializedUse – Helper function for diagnosing uses of an uninitialized variable.

This manages the different forms of diagnostic emitted for particular types of uses. Returns true if the use was diagnosed as a warning. If a particular use is one we omit warnings for, returns false.

Definition at line 1016 of file AnalysisBasedWarnings.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), DiagUninitUse(), clang::DeclaratorDecl::getBeginLoc(), clang::BlockExpr::getBeginLoc(), clang::NamedDecl::getDeclName(), clang::VarDecl::getInit(), clang::Decl::getLocation(), clang::QualType::getQualifiers(), clang::ValueDecl::getType(), clang::UninitUse::getUser(), clang::Decl::hasAttr(), clang::Qualifiers::hasObjCLifetime(), clang::Initializer, clang::Type::isBlockPointerType(), and SuggestInitializationFixit().