clang
19.0.0git
|
#include "clang/Sema/AnalysisBasedWarnings.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.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/RecursiveASTVisitor.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtObjC.h"
#include "clang/AST/StmtVisitor.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/SmallString.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include <algorithm>
#include <deque>
#include <iterator>
#include <optional>
Go to the source code of this file.
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 | |
clang | |
The JSON file list parser is used to communicate input to InstallAPI. | |
clang::threadSafety | |
clang::consumed | |
Enumerations | |
enum | ControlFlowKind { UnknownFallThrough , NeverFallThrough , MaybeFallThrough , AlwaysFallThrough , NeverFallThroughOrReturn } |
Functions | |
static void | CheckUnreachable (Sema &S, AnalysisDeclContext &AC) |
CheckUnreachable - Check for unreachable code. More... | |
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. More... | |
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. More... | |
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. More... | |
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. More... | |
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. More... | |
static bool | DiagnoseUninitializedConstRefUse (Sema &S, const VarDecl *VD, const UninitUse &Use) |
Diagnose uninitialized const reference usages. More... | |
static bool | DiagnoseUninitializedUse (Sema &S, const VarDecl *VD, const UninitUse &Use, bool alwaysReportSelfInit=false) |
DiagnoseUninitializedUse – Helper function for diagnosing uses of an uninitialized variable. More... | |
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) |
enum ControlFlowKind |
Enumerator | |
---|---|
UnknownFallThrough | |
NeverFallThrough | |
MaybeFallThrough | |
AlwaysFallThrough | |
NeverFallThroughOrReturn |
Definition at line 409 of file AnalysisBasedWarnings.cpp.
|
static |
CheckFallThrough - Check that we don't fall off the end of a Statement that should return a value.
Definition at line 426 of file AnalysisBasedWarnings.cpp.
|
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 665 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 246 of file AnalysisBasedWarnings.cpp.
References Block, clang::CFGBlock::getBlockID(), clang::CFG::getEntry(), clang::CFG::getExit(), hasRecursiveCallInPath(), clang::CFGBlock::succ_begin(), clang::CFGBlock::succ_end(), and Visited.
|
static |
Definition at line 282 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 385 of file AnalysisBasedWarnings.cpp.
|
static |
CheckUnreachable - Check for unreachable code.
Definition at line 125 of file AnalysisBasedWarnings.cpp.
|
static |
Create a fixit to remove an if-like statement, on the assumption that its condition is CondVal.
Definition at line 815 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 1373 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 1282 of file AnalysisBasedWarnings.cpp.
|
static |
Diagnose uninitialized const reference usages.
Definition at line 1007 of file AnalysisBasedWarnings.cpp.
|
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 1019 of file AnalysisBasedWarnings.cpp.
|
static |
DiagUninitUse – Helper function to produce a diagnostic for an uninitialized use of a variable.
Definition at line 839 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 365 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 2459 of file AnalysisBasedWarnings.cpp.
References clang::SemaBase::Diag(), and clang::sema::FunctionScopeInfo::PossiblyUnreachableDiags.
Referenced by clang::sema::AnalysisBasedWarnings::IssueWarnings().
|
static |
Definition at line 1248 of file AnalysisBasedWarnings.cpp.
References clang::Preprocessor::getIdentifierInfo(), clang::Preprocessor::getLangOpts(), clang::Preprocessor::getLastMacroWithSpelling(), and Loc.
|
static |
Definition at line 215 of file AnalysisBasedWarnings.cpp.
References Block, clang::CallExpr::getCallee(), clang::CallExpr::getCalleeDecl(), clang::Decl::getCanonicalDecl(), clang::CXXMemberCallExpr::getImplicitObjectArgument(), clang::CXXMemberCallExpr::getMethodDecl(), clang::CFGStmt::getStmt(), clang::Expr::IgnoreParenImpCasts(), clang::CXXMethodDecl::isVirtual(), clang::CFGElement::Statement, and clang::NestedNameSpecifier::TypeSpec.
Referenced by checkForRecursiveFunctionCall().
|
static |
Definition at line 2430 of file AnalysisBasedWarnings.cpp.
References clang::DiagnosticsEngine::isIgnored().
Referenced by clang::sema::AnalysisBasedWarnings::AnalysisBasedWarnings().
|
static |
Definition at line 1348 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 398 of file AnalysisBasedWarnings.cpp.
References clang::Type::castAs(), clang::ValueDecl::getType(), and clang::Decl::hasAttr().
Definition at line 783 of file AnalysisBasedWarnings.cpp.
|
static |
Determine whether an exception thrown by E, unwinding from ThrowBlock, can reach ExitBlock.
Definition at line 310 of file AnalysisBasedWarnings.cpp.
|
static |
Definition at line 347 of file AnalysisBasedWarnings.cpp.
References clang::CFG::getEntry(), clang::CFG::getNumBlockIDs(), and clang::reachable_code::ScanReachableFromBlock().
SourceManager& SM |
Definition at line 1536 of file AnalysisBasedWarnings.cpp.