clang 20.0.0git
|
#include "CheckExprLifetime.h"
#include "clang/AST/APValue.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/AttrIterator.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/FormatString.h"
#include "clang/AST/IgnoreExpr.h"
#include "clang/AST/NSAPI.h"
#include "clang/AST/NonTrivialTypeVisitor.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/RecordLayout.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/UnresolvedSet.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/IdentifierTable.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/OpenCLOptions.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Basic/SyncScope.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Basic/TypeTraits.h"
#include "clang/Lex/Lexer.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Ownership.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/SemaAMDGPU.h"
#include "clang/Sema/SemaARM.h"
#include "clang/Sema/SemaBPF.h"
#include "clang/Sema/SemaHLSL.h"
#include "clang/Sema/SemaHexagon.h"
#include "clang/Sema/SemaLoongArch.h"
#include "clang/Sema/SemaMIPS.h"
#include "clang/Sema/SemaNVPTX.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/SemaOpenCL.h"
#include "clang/Sema/SemaPPC.h"
#include "clang/Sema/SemaRISCV.h"
#include "clang/Sema/SemaSPIRV.h"
#include "clang/Sema/SemaSystemZ.h"
#include "clang/Sema/SemaWasm.h"
#include "clang/Sema/SemaX86.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/FoldingSet.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSet.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/Support/AtomicOrdering.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/Format.h"
#include "llvm/Support/Locale.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/TargetParser/RISCVTargetParser.h"
#include "llvm/TargetParser/Triple.h"
#include <algorithm>
#include <cassert>
#include <cctype>
#include <cstddef>
#include <cstdint>
#include <functional>
#include <limits>
#include <optional>
#include <string>
#include <tuple>
#include <utility>
#include "clang/Basic/Builtins.inc"
Go to the source code of this file.
Macros | |
#define | BUILTIN(ID, TYPE, ATTRS) |
#define | ATOMIC_BUILTIN(ID, TYPE, ATTRS) |
#define | BUILTIN_ROW(x) |
Enumerations | |
enum | AbsoluteValueKind { AVK_Integer , AVK_Floating , AVK_Complex } |
enum class | MathCheck { NaN , Inf } |
Functions | |
static constexpr unsigned short | combineFAPK (Sema::FormatArgumentPassingKind A, Sema::FormatArgumentPassingKind B) |
static bool | checkBuiltinVerboseTrap (CallExpr *Call, Sema &S) |
static bool | convertArgumentToType (Sema &S, Expr *&Value, QualType Ty) |
static bool | BuiltinAnnotation (Sema &S, CallExpr *TheCall) |
Check that the first argument to __builtin_annotation is an integer and the second argument is a non-wide string literal. | |
static bool | BuiltinMSVCAnnotation (Sema &S, CallExpr *TheCall) |
static bool | BuiltinAddressof (Sema &S, CallExpr *TheCall) |
Check that the argument to __builtin_addressof is a glvalue, and set the result type to the corresponding pointer type. | |
static bool | BuiltinFunctionStart (Sema &S, CallExpr *TheCall) |
Check that the argument to __builtin_function_start is a function. | |
static bool | BuiltinPreserveAI (Sema &S, CallExpr *TheCall) |
Check the number of arguments and set the result type to the argument type. | |
static bool | BuiltinAlignment (Sema &S, CallExpr *TheCall, unsigned ID) |
Check that the value argument for __builtin_is_aligned(value, alignment) and __builtin_aligned_{up,down}(value, alignment) is an integer or a pointer type (but not a function pointer) and that the alignment is a power-of-two. | |
static bool | BuiltinOverflow (Sema &S, CallExpr *TheCall, unsigned BuiltinID) |
static ExprResult | BuiltinDumpStruct (Sema &S, CallExpr *TheCall) |
static bool | BuiltinCallWithStaticChain (Sema &S, CallExpr *BuiltinCall) |
static bool | ProcessFormatStringLiteral (const Expr *FormatExpr, StringRef &FormatStrRef, size_t &StrLen, ASTContext &Context) |
static bool | BuiltinSEHScopeCheck (Sema &SemaRef, CallExpr *TheCall, Scope::ScopeFlags NeededScopeFlags, unsigned DiagID) |
static void | builtinAllocaAddrSpace (Sema &S, CallExpr *TheCall) |
static bool | checkPointerAuthEnabled (Sema &S, Expr *E) |
static bool | checkPointerAuthKey (Sema &S, Expr *&Arg) |
static std::pair< const ValueDecl *, CharUnits > | findConstantBaseAndOffset (Sema &S, Expr *E) |
static bool | checkPointerAuthValue (Sema &S, Expr *&Arg, PointerAuthOpKind OpKind, bool RequireConstant=false) |
static ExprResult | PointerAuthStrip (Sema &S, CallExpr *Call) |
static ExprResult | PointerAuthBlendDiscriminator (Sema &S, CallExpr *Call) |
static ExprResult | PointerAuthSignGenericData (Sema &S, CallExpr *Call) |
static ExprResult | PointerAuthSignOrAuth (Sema &S, CallExpr *Call, PointerAuthOpKind OpKind, bool RequireConstant) |
static ExprResult | PointerAuthAuthAndResign (Sema &S, CallExpr *Call) |
static ExprResult | PointerAuthStringDiscriminator (Sema &S, CallExpr *Call) |
static ExprResult | BuiltinLaunder (Sema &S, CallExpr *TheCall) |
static ExprResult | BuiltinIsWithinLifetime (Sema &S, CallExpr *TheCall) |
static bool | CheckBuiltinTargetNotInUnsupported (Sema &S, unsigned BuiltinID, CallExpr *TheCall, ArrayRef< llvm::Triple::ObjectFormatType > UnsupportedObjectFormatTypes) |
static bool | CheckBuiltinTargetInSupported (Sema &S, CallExpr *TheCall, ArrayRef< llvm::Triple::ArchType > SupportedArchs) |
static void | CheckNonNullArgument (Sema &S, const Expr *ArgExpr, SourceLocation CallSiteLoc) |
static bool | checkMathBuiltinElementType (Sema &S, SourceLocation Loc, QualType ArgTy, int ArgIndex) |
static bool | checkFPMathBuiltinElementType (Sema &S, SourceLocation Loc, QualType ArgTy, int ArgIndex) |
static bool | BuiltinCpu (Sema &S, const TargetInfo &TI, CallExpr *TheCall, const TargetInfo *AuxTI, unsigned BuiltinID) |
BuiltinCpu{Supports|Is} - Handle __builtin_cpu_{supports|is}(char *). | |
static bool | BuiltinPopcountg (Sema &S, CallExpr *TheCall) |
Checks that __builtin_popcountg was called with a single argument, which is an unsigned integer. | |
static bool | BuiltinCountZeroBitsGeneric (Sema &S, CallExpr *TheCall) |
Checks that __builtin_{clzg,ctzg} was called with a first argument, which is an unsigned integer, and an optional second argument, which is promoted to an 'int'. | |
static bool | CheckNonNullExpr (Sema &S, const Expr *Expr) |
Checks if a the given expression evaluates to null. | |
static bool | isNonNullType (QualType type) |
Determine whether the given type has a non-null nullability annotation. | |
static void | CheckNonNullArguments (Sema &S, const NamedDecl *FDecl, const FunctionProtoType *Proto, ArrayRef< const Expr * > Args, SourceLocation CallSiteLoc) |
static bool | isValidOrderingForOp (int64_t Ordering, AtomicExpr::AtomicOp Op) |
static bool | checkBuiltinArgument (Sema &S, CallExpr *E, unsigned ArgIndex) |
checkBuiltinArgument - Given a call to a builtin function, perform normal type-checking on the given argument, updating the call in place. | |
static bool | checkVAStartABI (Sema &S, unsigned BuiltinID, Expr *Fn) |
Check that the user is calling the appropriate va_start builtin for the target and calling convention. | |
static bool | checkVAStartIsInVariadicFunction (Sema &S, Expr *Fn, ParmVarDecl **LastParam=nullptr) |
static bool | IsShiftedByte (llvm::APSInt Value) |
static void | sumOffsets (llvm::APSInt &Offset, llvm::APSInt Addend, BinaryOperatorKind BinOpKind, bool AddendIsRight) |
static void | CheckFormatString (Sema &S, const FormatStringLiteral *FExpr, const Expr *OrigFormatExpr, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, Sema::FormatStringType Type, bool inFunctionCall, Sema::VariadicCallType CallType, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, bool IgnoreStringsWithoutSpecifiers) |
static const Expr * | maybeConstEvalStringLiteral (ASTContext &Context, const Expr *E) |
static StringLiteralCheckType | checkFormatStringExpr (Sema &S, const Expr *E, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, Sema::FormatStringType Type, Sema::VariadicCallType CallType, bool InFunctionCall, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, llvm::APSInt Offset, bool IgnoreStringsWithoutSpecifiers=false) |
template<typename MemberKind > | |
static llvm::SmallPtrSet< MemberKind *, 1 > | CXXRecordMembersNamed (StringRef Name, Sema &S, QualType Ty) |
static bool | requiresParensToAddCast (const Expr *E) |
static std::pair< QualType, StringRef > | shouldNotPrintDirectly (const ASTContext &Context, QualType IntendedTy, const Expr *E) |
static bool | isArithmeticArgumentPromotion (Sema &S, const ImplicitCastExpr *ICE) |
Return true if ICE is an implicit argument promotion of an arithmetic type. | |
static analyze_format_string::ArgType::MatchKind | handleFormatSignedness (analyze_format_string::ArgType::MatchKind Match, DiagnosticsEngine &Diags, SourceLocation Loc) |
static unsigned | getLargerAbsoluteValueFunction (unsigned AbsFunction) |
static QualType | getAbsoluteValueArgumentType (ASTContext &Context, unsigned AbsType) |
static unsigned | getBestAbsFunction (ASTContext &Context, QualType ArgType, unsigned AbsFunctionKind) |
static AbsoluteValueKind | getAbsoluteValueKind (QualType T) |
static unsigned | changeAbsFunction (unsigned AbsKind, AbsoluteValueKind ValueKind) |
static unsigned | getAbsoluteValueFunctionKind (const FunctionDecl *FDecl) |
static void | emitReplacement (Sema &S, SourceLocation Loc, SourceRange Range, unsigned AbsKind, QualType ArgType) |
template<std::size_t StrLen> | |
static bool | IsStdFunction (const FunctionDecl *FDecl, const char(&Str)[StrLen]) |
static bool | IsInfOrNanFunction (StringRef calleeName, MathCheck Check) |
static bool | CheckMemorySizeofForComparison (Sema &S, const Expr *E, IdentifierInfo *FnName, SourceLocation FnLoc, SourceLocation RParenLoc) |
Takes the expression passed to the size_t parameter of functions such as memcmp, strncat, etc and warns if it's a comparison. | |
static const CXXRecordDecl * | getContainedDynamicClass (QualType T, bool &IsContained) |
Determine whether the given type is or contains a dynamic class type (e.g., whether it has a vtable). | |
static const UnaryExprOrTypeTraitExpr * | getAsSizeOfExpr (const Expr *E) |
static const Expr * | getSizeOfExprArg (const Expr *E) |
If E is a sizeof expression, returns its argument expression, otherwise returns NULL. | |
static QualType | getSizeOfArgType (const Expr *E) |
If E is a sizeof expression, returns its argument type. | |
static bool | doesExprLikelyComputeSize (const Expr *SizeofExpr) |
Detect if SizeofExpr is likely to calculate the sizeof an object. | |
static bool | isArgumentExpandedFromMacro (SourceManager &SM, SourceLocation CallLoc, SourceLocation ArgLoc) |
Check if the ArgLoc originated from a macro passed to the call at CallLoc. | |
static void | CheckMemaccessSize (Sema &S, unsigned BId, const CallExpr *Call) |
Diagnose cases like 'memset(buf, sizeof(buf), 0)', which should have the last two arguments transposed. | |
static const Expr * | ignoreLiteralAdditions (const Expr *Ex, ASTContext &Ctx) |
static bool | isConstantSizeArrayWithMoreThanOneElement (QualType Ty, ASTContext &Context) |
static bool | referToTheSameDecl (const Expr *E1, const Expr *E2) |
Check if two expressions refer to the same declaration. | |
static const Expr * | getStrlenExprArg (const Expr *E) |
static IntRange | GetValueRange (ASTContext &C, llvm::APSInt &value, unsigned MaxWidth) |
static IntRange | GetValueRange (ASTContext &C, APValue &result, QualType Ty, unsigned MaxWidth) |
static QualType | GetExprType (const Expr *E) |
static std::optional< IntRange > | TryGetExprRange (ASTContext &C, const Expr *E, unsigned MaxWidth, bool InConstantContext, bool Approximate) |
Attempts to estimate an approximate range for the given integer expression. | |
static std::optional< IntRange > | TryGetExprRange (ASTContext &C, const Expr *E, bool InConstantContext, bool Approximate) |
static bool | IsSameFloatAfterCast (const llvm::APFloat &value, const llvm::fltSemantics &Src, const llvm::fltSemantics &Tgt) |
Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics. | |
static bool | IsSameFloatAfterCast (const APValue &value, const llvm::fltSemantics &Src, const llvm::fltSemantics &Tgt) |
Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics. | |
static void | AnalyzeImplicitConversions (Sema &S, Expr *OrigE, SourceLocation CC, bool IsListInit) |
AnalyzeImplicitConversions - Find and report any interesting implicit conversions in the given expression. | |
static bool | IsEnumConstOrFromMacro (Sema &S, Expr *E) |
static bool | isKnownToHaveUnsignedValue (Expr *E) |
static bool | HasEnumType (Expr *E) |
static int | classifyConstantValue (Expr *Constant) |
static bool | CheckTautologicalComparison (Sema &S, BinaryOperator *E, Expr *Constant, Expr *Other, const llvm::APSInt &Value, bool RhsConstant) |
static void | AnalyzeImpConvsInComparison (Sema &S, BinaryOperator *E) |
Analyze the operands of the given comparison. | |
static void | AnalyzeComparison (Sema &S, BinaryOperator *E) |
Implements -Wsign-compare. | |
static bool | AnalyzeBitFieldAssignment (Sema &S, FieldDecl *Bitfield, Expr *Init, SourceLocation InitLoc) |
Analyzes an attempt to assign the given value to a bitfield. | |
static void | AnalyzeAssignment (Sema &S, BinaryOperator *E) |
Analyze the given simple or compound assignment for warning-worthy operations. | |
static void | DiagnoseImpCast (Sema &S, Expr *E, QualType SourceType, QualType T, SourceLocation CContext, unsigned diag, bool pruneControlFlow=false) |
Diagnose an implicit cast; purely a helper for CheckImplicitConversion. | |
static void | DiagnoseImpCast (Sema &S, Expr *E, QualType T, SourceLocation CContext, unsigned diag, bool pruneControlFlow=false) |
Diagnose an implicit cast; purely a helper for CheckImplicitConversion. | |
static void | DiagnoseFloatingImpCast (Sema &S, Expr *E, QualType T, SourceLocation CContext) |
Diagnose an implicit cast from a floating point value to an integer value. | |
static void | AnalyzeCompoundAssignment (Sema &S, BinaryOperator *E) |
Analyze the given compound assignment for the possible losing of floating-point precision. | |
static std::string | PrettyPrintInRange (const llvm::APSInt &Value, IntRange Range) |
static bool | IsImplicitBoolFloatConversion (Sema &S, Expr *Ex, bool ToBool) |
static void | CheckImplicitArgumentConversions (Sema &S, CallExpr *TheCall, SourceLocation CC) |
static void | DiagnoseNullConversion (Sema &S, Expr *E, QualType T, SourceLocation CC) |
static bool | isSameWidthConstantConversion (Sema &S, Expr *E, QualType T, SourceLocation CC) |
static const IntegerLiteral * | getIntegerLiteral (Expr *E) |
static void | DiagnoseIntInBoolContext (Sema &S, Expr *E) |
static void | CheckConditionalOperator (Sema &S, AbstractConditionalOperator *E, SourceLocation CC, QualType T) |
static void | CheckConditionalOperand (Sema &S, Expr *E, QualType T, SourceLocation CC, bool &ICContext) |
static void | CheckBoolLikeConversion (Sema &S, Expr *E, SourceLocation CC) |
Check conversion of given expression to boolean. | |
static void | AnalyzeImplicitConversions (Sema &S, AnalyzeImplicitConversionsWorkItem Item, llvm::SmallVectorImpl< AnalyzeImplicitConversionsWorkItem > &WorkList) |
Data recursive variant of AnalyzeImplicitConversions. | |
static bool | CheckForReference (Sema &SemaRef, const Expr *E, const PartialDiagnostic &PD) |
static bool | IsInAnyMacroBody (const SourceManager &SM, SourceLocation Loc) |
static void | diagnoseArrayStarInParamType (Sema &S, QualType PType, SourceLocation Loc) |
static std::optional< std::pair< CharUnits, CharUnits > > | getBaseAlignmentAndOffsetFromPtr (const Expr *E, ASTContext &Ctx) |
This helper function takes a pointer expression and returns the alignment of a VarDecl and a constant offset from the VarDecl. | |
static std::pair< CharUnits, CharUnits > | getDerivedToBaseAlignmentAndOffset (const CastExpr *CE, QualType DerivedType, CharUnits BaseAlignment, CharUnits Offset, ASTContext &Ctx) |
Compute the alignment and offset of the base class object given the derived-to-base cast expression and the alignment and offset of the derived class object. | |
static std::optional< std::pair< CharUnits, CharUnits > > | getAlignmentAndOffsetFromBinAddOrSub (const Expr *PtrE, const Expr *IntE, bool IsSub, ASTContext &Ctx) |
Compute the alignment and offset of a binary additive operator. | |
static std::optional< std::pair< CharUnits, CharUnits > > | getBaseAlignmentAndOffsetFromLValue (const Expr *E, ASTContext &Ctx) |
This helper function takes an lvalue expression and returns the alignment of a VarDecl and a constant offset from the VarDecl. | |
static CharUnits | getPresumedAlignmentOfPointer (const Expr *E, Sema &S) |
static bool | checkUnsafeAssignLiteral (Sema &S, SourceLocation Loc, Expr *RHS, bool isProperty) |
static bool | checkUnsafeAssignObject (Sema &S, SourceLocation Loc, Qualifiers::ObjCLifetime LT, Expr *RHS, bool isProperty) |
static bool | ShouldDiagnoseEmptyStmtBody (const SourceManager &SourceMgr, SourceLocation StmtLoc, const NullStmt *Body) |
static bool | isLayoutCompatible (const ASTContext &C, QualType T1, QualType T2) |
Check if two types are layout-compatible in C++11 sense. | |
static bool | isLayoutCompatible (const ASTContext &C, const EnumDecl *ED1, const EnumDecl *ED2) |
Check if two enumeration types are layout-compatible. | |
static bool | isLayoutCompatible (const ASTContext &C, const FieldDecl *Field1, const FieldDecl *Field2, bool AreUnionMembers=false) |
Check if two fields are layout-compatible. | |
static bool | isLayoutCompatibleStruct (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2) |
Check if two standard-layout structs are layout-compatible. | |
static bool | isLayoutCompatibleUnion (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2) |
Check if two standard-layout unions are layout-compatible. | |
static bool | isLayoutCompatible (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2) |
static bool | FindTypeTagExpr (const Expr *TypeExpr, const ASTContext &Ctx, const ValueDecl **VD, uint64_t *MagicValue, bool isConstantEvaluated) |
Given a type tag expression find the type tag itself. | |
static bool | GetMatchingCType (const IdentifierInfo *ArgumentKind, const Expr *TypeExpr, const ASTContext &Ctx, const llvm::DenseMap< Sema::TypeTagMagicValue, Sema::TypeTagData > *MagicValues, bool &FoundWrongKind, Sema::TypeTagData &TypeInfo, bool isConstantEvaluated) |
Retrieve the C type corresponding to type tag TypeExpr. | |
static bool | IsSameCharType (QualType T1, QualType T2) |
static std::optional< unsigned > | getAndVerifyMatrixDimension (Expr *Expr, StringRef Name, Sema &S) |
#define BUILTIN_ROW | ( | x | ) |
enum AbsoluteValueKind |
Enumerator | |
---|---|
AVK_Integer | |
AVK_Floating | |
AVK_Complex |
Definition at line 8227 of file SemaChecking.cpp.
|
strong |
Enumerator | |
---|---|
NaN | |
Inf |
Definition at line 8438 of file SemaChecking.cpp.
|
static |
Analyze the given simple or compound assignment for warning-worthy operations.
Definition at line 10689 of file SemaChecking.cpp.
References AnalyzeBitFieldAssignment(), AnalyzeImplicitConversions(), clang::SemaBase::Diag(), E, clang::Stmt::getBeginLoc(), clang::Expr::getSourceBitField(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isAtomicType().
Referenced by AnalyzeImplicitConversions().
|
static |
Analyzes an attempt to assign the given value to a bitfield.
Returns true if there was something fishy about the attempt.
Definition at line 10550 of file SemaChecking.cpp.
References clang::Type::castAs(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::Sema::findMacroSpelling(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::FieldDecl::getBitWidth(), clang::FieldDecl::getBitWidthValue(), clang::Expr::getExprLoc(), clang::EnumDecl::getIntegerTypeSourceInfo(), clang::Sema::getLangOpts(), clang::EnumDecl::getNumNegativeBits(), clang::EnumDecl::getNumPositiveBits(), clang::Stmt::getSourceRange(), clang::TypeLoc::getSourceRange(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::DeclaratorDecl::getTypeSpecStartLoc(), clang::Init, clang::FieldDecl::isBitField(), clang::Type::isBooleanType(), clang::Type::isEnumeralType(), clang::SourceManager::isInSystemMacro(), clang::Decl::isInvalidDecl(), clang::Type::isSignedIntegerType(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Sema::LangOpts, clang::Result, clang::Expr::SE_AllowSideEffects, clang::Sema::SourceMgr, and toString().
Referenced by AnalyzeAssignment().
|
static |
Implements -Wsign-compare.
E | the binary operator to check for warnings |
Definition at line 10429 of file SemaChecking.cpp.
References AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), bool, CheckTautologicalComparison(), clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::getIntegerConstantExpr(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::hasSignedIntegerRepresentation(), clang::Type::hasUnsignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::isConstantEvaluatedContext(), clang::Type::isIntegralType(), clang::Expr::isValueDependent(), clang::Other, clang::SemaBase::PDiag(), clang::T, and TryGetExprRange().
Referenced by AnalyzeImplicitConversions().
|
static |
Analyze the given compound assignment for the possible losing of floating-point precision.
Definition at line 10849 of file SemaChecking.cpp.
References AnalyzeImplicitConversions(), clang::SemaBase::Diag(), DiagnoseImpCast(), E, clang::Type::getAs(), clang::Sema::getASTContext(), clang::Expr::getExprLoc(), clang::ASTContext::getFloatingTypeSemanticOrder(), clang::Expr::getType(), clang::Type::isAtomicType(), clang::BuiltinType::isFloatingPoint(), clang::SourceManager::isInSystemMacro(), and clang::Sema::SourceMgr.
Referenced by AnalyzeImplicitConversions().
|
static |
Analyze the operands of the given comparison.
Implements the fallback case from AnalyzeComparison.
Definition at line 10421 of file SemaChecking.cpp.
References AnalyzeImplicitConversions(), and E.
Referenced by AnalyzeComparison().
|
static |
Data recursive variant of AnalyzeImplicitConversions.
Subexpressions that should be visited are added to WorkList.
Definition at line 11617 of file SemaChecking.cpp.
References AnalyzeAssignment(), AnalyzeComparison(), AnalyzeCompoundAssignment(), clang::Call, CheckBoolLikeConversion(), CheckConditionalOperator(), CheckImplicitArgumentConversions(), clang::Sema::CheckImplicitConversion(), clang::Stmt::children(), clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), E, clang::Stmt::getBeginLoc(), clang::BinaryOperator::getExprLoc(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::BinaryOperator::getLHS(), clang::Lexer::getLocForEndOfToken(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::Lexer::getSourceText(), clang::CharSourceRange::getTokenRange(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isAtomicType(), clang::Type::isBooleanType(), clang::BinaryOperator::isLogicalOp(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Type::isVoidType(), SM, and clang::T.
|
static |
AnalyzeImplicitConversions - Find and report any interesting implicit conversions in the given expression.
There are a couple of competing diagnostics here, -Wconversion and -Wsign-compare.
Definition at line 11798 of file SemaChecking.cpp.
References AnalyzeImplicitConversions().
Referenced by AnalyzeAssignment(), AnalyzeComparison(), AnalyzeCompoundAssignment(), AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), CheckConditionalOperand(), and CheckConditionalOperator().
Check that the argument to __builtin_addressof is a glvalue, and set the result type to the corresponding pointer type.
Definition at line 265 of file SemaChecking.cpp.
References clang::Sema::CheckAddressOfOperand(), clang::Sema::checkArgCount(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::QualType::isNull(), clang::CallExpr::setArg(), and clang::Expr::setType().
Check that the value argument for __builtin_is_aligned(value, alignment) and __builtin_aligned_{up,down}(value, alignment) is an integer or a pointer type (but not a function pointer) and that the alignment is a power-of-two.
Definition at line 315 of file SemaChecking.cpp.
References clang::ASTContext::BoolTy, clang::Type::canDecayToPointerType(), clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::ASTContext::getDecayedType(), clang::Expr::getExprLoc(), clang::APValue::getInt(), clang::ASTContext::getIntWidth(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isArrayType(), clang::Type::isFunctionPointerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isPointerType(), clang::Expr::isValueDependent(), clang::Sema::PerformCopyInitialization(), clang::Expr::SE_AllowSideEffects, clang::CallExpr::setArg(), clang::Expr::setType(), toString(), and clang::Expr::EvalResult::Val.
Definition at line 1477 of file SemaChecking.cpp.
References clang::Sema::Context, clang::ASTContext::getAddrSpaceQualType(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::Expr::getType(), clang::QualType::hasAddressSpace(), clang::Type::isPointerType(), clang::opencl_private, and clang::Expr::setType().
Check that the first argument to __builtin_annotation is an integer and the second argument is a non-wide string literal.
Definition at line 215 of file SemaChecking.cpp.
References clang::Sema::checkArgCount(), clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Type::isIntegerType(), and clang::Expr::setType().
Definition at line 787 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::CallExpr::getCallee(), clang::ASTContext::getFunctionType(), clang::ASTContext::getPointerType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreImpCasts(), clang::Sema::ImpCastExprToType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isPointerType(), clang::CallExpr::setArg(), clang::CallExpr::setCallee(), clang::Expr::setObjectKind(), clang::Expr::setType(), clang::Expr::setValueKind(), and clang::Sema::UsualUnaryConversions().
Checks that __builtin_{clzg,ctzg} was called with a first argument, which is an unsigned integer, and an optional second argument, which is promoted to an 'int'.
Definition at line 2067 of file SemaChecking.cpp.
References clang::Sema::checkArgCountRange(), clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isSpecificBuiltinType(), clang::Type::isUnsignedIntegerType(), clang::CallExpr::setArg(), and clang::Sema::UsualUnaryConversions().
|
static |
BuiltinCpu{Supports|Is} - Handle __builtin_cpu_{supports|is}(char *).
This checks that the target supports the builtin and that the string argument is constant and valid.
Definition at line 1999 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::CallExpr::getEndLoc(), clang::Stmt::getSourceRange(), clang::TargetInfo::getTriple(), clang::Expr::IgnoreParenImpCasts(), clang::TargetInfo::supportsCpuIs(), clang::TargetInfo::supportsCpuSupports(), clang::TargetInfo::validateCpuIs(), and clang::TargetInfo::validateCpuSupports().
|
static |
Definition at line 721 of file SemaChecking.cpp.
References clang::Sema::checkArgCountAtLeast(), clang::Sema::Context, clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Type::getAsRecordDecl(), clang::Stmt::getBeginLoc(), clang::CallExpr::getDirectCallee(), clang::Stmt::getEndLoc(), clang::Sema::getLangOpts(), clang::Sema::getLocForEndOfToken(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::Type::isBlockPointerType(), clang::Type::isFunctionPointerType(), clang::Type::isFunctionType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isPointerType(), clang::Type::isRecordType(), clang::Sema::RequireCompleteType(), and clang::CallExpr::setArg().
Check that the argument to __builtin_function_start is a function.
Definition at line 280 of file SemaChecking.cpp.
References clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Sema::checkArgCount(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Expr::getAsBuiltinConstantDeclRef(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::CallExpr::setArg().
|
static |
Definition at line 1842 of file SemaChecking.cpp.
References clang::ASTContext::BoolTy, clang::Sema::checkArgCount(), clang::Sema::Context, clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Expr::getExprLoc(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CallExpr::setArg(), and clang::Expr::setType().
|
static |
Definition at line 1782 of file SemaChecking.cpp.
References clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAsArrayTypeUnsafe(), clang::CallExpr::getBeginLoc(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isFunctionPointerType(), clang::Type::isFunctionType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isObjectType(), clang::Type::isPointerType(), clang::Type::isVoidPointerType(), clang::Sema::PerformCopyInitialization(), clang::Sema::RequireCompleteType(), clang::CallExpr::setArg(), and clang::Expr::setType().
Definition at line 241 of file SemaChecking.cpp.
References clang::CallExpr::arguments(), clang::SemaBase::Diag(), clang::CallExpr::getCallee(), clang::CallExpr::getEndLoc(), clang::CallExpr::getNumArgs(), and clang::Stmt::getSourceRange().
Definition at line 393 of file SemaChecking.cpp.
References clang::Sema::checkArgCount(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::Stmt::getBeginLoc(), clang::Expr::getExprLoc(), clang::Lexer::getImmediateMacroName(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), P, and clang::CallExpr::setArg().
Checks that __builtin_popcountg was called with a single argument, which is an unsigned integer.
Definition at line 2043 of file SemaChecking.cpp.
References clang::Sema::checkArgCount(), clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isUnsignedIntegerType(), and clang::CallExpr::setArg().
Check the number of arguments and set the result type to the argument type.
Definition at line 304 of file SemaChecking.cpp.
References clang::Sema::checkArgCount(), clang::CallExpr::getArg(), clang::Expr::getType(), and clang::Expr::setType().
|
static |
Definition at line 1453 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::CallExpr::getCallee(), clang::Sema::getCurScope(), clang::Expr::getExprLoc(), clang::Expr::IgnoreParenCasts(), and clang::Sema::inTemplateInstantiation().
|
static |
Definition at line 8246 of file SemaChecking.cpp.
References AVK_Complex, AVK_Floating, and AVK_Integer.
|
static |
Check conversion of given expression to boolean.
Input argument E is a logical expression.
Definition at line 11596 of file SemaChecking.cpp.
References clang::ASTContext::BoolTy, clang::Sema::CheckImplicitConversion(), clang::Sema::Context, E, clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isAtomicType().
Referenced by AnalyzeImplicitConversions().
checkBuiltinArgument - Given a call to a builtin function, perform normal type-checking on the given argument, updating the call in place.
This is useful when a builtin function requires custom type-checking for some of its arguments but not necessarily all of them.
Returns true on error.
Definition at line 4233 of file SemaChecking.cpp.
References clang::Sema::Context, E, clang::ActionResult< PtrTy, Compress >::get(), clang::InitializedEntity::InitializeParameter(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::Sema::PerformCopyInitialization().
|
static |
Definition at line 1898 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), and clang::TargetInfo::getTriple().
|
static |
Definition at line 1882 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), and clang::TargetInfo::getTriple().
Definition at line 172 of file SemaChecking.cpp.
References clang::Call, clang::Sema::Context, clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::Expr::isValueDependent(), and clang::Expr::tryEvaluateString().
|
static |
Definition at line 11544 of file SemaChecking.cpp.
References AnalyzeImplicitConversions(), CheckConditionalOperator(), clang::Sema::CheckImplicitConversion(), E, clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isRecordType(), clang::Sema::RequireCompleteExprType(), and clang::T.
Referenced by CheckConditionalOperator().
|
static |
Definition at line 11559 of file SemaChecking.cpp.
References AnalyzeImplicitConversions(), CheckConditionalOperand(), clang::Sema::CheckImplicitConversion(), DiagnoseIntInBoolContext(), clang::Sema::Diags, E, clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isBooleanType(), clang::DiagnosticsEngine::isIgnored(), and clang::T.
Referenced by AnalyzeImplicitConversions(), and CheckConditionalOperand().
|
static |
Definition at line 8041 of file SemaChecking.cpp.
References clang::Sema::Context, clang::Sema::FST_FreeBSDKPrintf, clang::Sema::FST_Kprintf, clang::Sema::FST_NSString, clang::Sema::FST_OSLog, clang::Sema::FST_OSTrace, clang::Sema::FST_Printf, clang::Sema::FST_Scanf, clang::Sema::FST_Syslog, clang::ASTContext::getAsConstantArrayType(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::analyze_format_string::parseFormatStringHasFormattingSpecifiers(), clang::analyze_format_string::ParsePrintfString(), clang::analyze_format_string::ParseScanfString(), clang::SemaBase::PDiag(), and clang::T.
Referenced by checkFormatStringExpr().
|
static |
Definition at line 5882 of file SemaChecking.cpp.
References clang::Sema::FormatStringInfo::ArgPassingKind, clang::C, CheckFormatString(), checkFormatStringExpr(), combineFAPK(), clang::Sema::Context, D, E, clang::Expr::EvaluateAsInt(), clang::Sema::FAPK_Fixed, clang::Sema::FAPK_VAList, clang::Sema::FAPK_Variadic, clang::Sema::FormatStringInfo::FormatIdx, clang::CallExpr::getArg(), clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::Sema::getASTContext(), clang::FunctionDecl::getBuiltinID(), clang::CallExpr::getCalleeDecl(), clang::DeclRefExpr::getDecl(), clang::Sema::getFormatStringInfo(), clang::Sema::GetFormatStringType(), clang::Decl::getFunctionType(), clang::NamedDecl::getIdentifier(), clang::APValue::getInt(), clang::StringLiteral::getLength(), clang::BinaryOperator::getLHS(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getOpcode(), clang::Type::getPointeeType(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::StringLiteral::getString(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Init, clang::BinaryOperator::isAdditiveOp(), clang::QualType::isConstant(), clang::Sema::isConstantEvaluatedContext(), clang::Expr::isNullPointerConstant(), clang::Type::isObjCObjectPointerType(), clang::IdentifierInfo::isStr(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), maybeConstEvalStringLiteral(), clang::Expr::NPC_ValueDependentIsNotNull, clang::Result, clang::Expr::SE_NoSideEffects, clang::Decl::specific_attrs(), sumOffsets(), clang::T, and clang::Expr::EvalResult::Val.
Referenced by checkFormatStringExpr().
|
static |
Definition at line 11808 of file SemaChecking.cpp.
References clang::Call, clang::Sema::Context, clang::SemaBase::Diag(), E, clang::DeclRefExpr::getDecl(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isReferenceType().
Referenced by clang::Sema::DiagnoseAlwaysNonNullPointer().
|
static |
Definition at line 1982 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::Type::getAs(), clang::Type::isRealFloatingType(), and Loc.
Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), and clang::Sema::BuiltinVectorMath().
|
static |
Definition at line 10914 of file SemaChecking.cpp.
References DiagnoseImpCast(), clang::CallExpr::getArg(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and IsImplicitBoolFloatConversion().
Referenced by AnalyzeImplicitConversions().
|
static |
Definition at line 1971 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::Type::getAs(), clang::MatrixType::isValidElementType(), and Loc.
Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), clang::Sema::BuiltinVectorMath(), and clang::Sema::PrepareBuiltinElementwiseMathOneArgCall().
Diagnose cases like 'memset(buf, sizeof(buf), 0)', which should have the last two arguments transposed.
Definition at line 8839 of file SemaChecking.cpp.
References clang::Call, clang::SemaBase::Diag(), doesExprLikelyComputeSize(), E, clang::Expr::getExprLoc(), clang::Lexer::getImmediateMacroName(), clang::Sema::getLangOpts(), clang::Sema::getSourceManager(), isArgumentExpandedFromMacro(), clang::SourceLocation::isMacroID(), and SM.
|
static |
Takes the expression passed to the size_t parameter of functions such as memcmp, strncat, etc and warns if it's a comparison.
This is to catch typos like if (memcmp(&a, &b, sizeof(a) > 0))
.
Definition at line 8628 of file SemaChecking.cpp.
References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::SemaBase::Diag(), E, clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), and clang::Sema::getLocForEndOfToken().
|
static |
Definition at line 3081 of file SemaChecking.cpp.
References CheckNonNullExpr(), clang::Sema::DiagRuntimeBehavior(), clang::Stmt::getSourceRange(), and clang::SemaBase::PDiag().
Referenced by clang::Sema::BuildAtomicExpr(), and CheckNonNullArguments().
|
static |
Definition at line 3098 of file SemaChecking.cpp.
References CheckNonNullArgument(), E, clang::FunctionProtoType::getParamTypes(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Decl::hasAttr(), clang::Sema::isConstantEvaluatedContext(), isNonNullType(), clang::Sema::isValidPointerAttrType(), clang::NonNull, clang::FunctionDecl::parameters(), clang::ast_matchers::pointerType, clang::Decl::specific_attrs(), and clang::ast_matchers::type.
Referenced by clang::Sema::checkCall().
Checks if a the given expression evaluates to null.
Returns true if the value evaluates to null.
Definition at line 3051 of file SemaChecking.cpp.
References clang::Sema::Context, clang::Expr::EvaluateAsBooleanCondition(), clang::Type::getAsUnionType(), clang::RecordType::getDecl(), clang::Type::getNullability(), clang::Expr::getType(), clang::Decl::hasAttr(), clang::IgnoreElidableImplicitConstructorSingleStep(), clang::IgnoreExprNodes(), clang::Expr::IgnoreImplicit(), clang::IgnoreImplicitAsWrittenSingleStep(), clang::Expr::isValueDependent(), clang::NonNull, and clang::Result.
Referenced by CheckNonNullArgument().
Definition at line 1507 of file SemaChecking.cpp.
References clang::Sema::checkPointerAuthEnabled(), E, clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().
Referenced by PointerAuthAuthAndResign(), PointerAuthBlendDiscriminator(), PointerAuthSignGenericData(), PointerAuthSignOrAuth(), PointerAuthStringDiscriminator(), and PointerAuthStrip().
Definition at line 1511 of file SemaChecking.cpp.
References clang::Sema::checkConstantPointerAuthKey(), clang::Sema::Context, convertArgumentToType(), clang::ASTContext::IntTy, and clang::Expr::isValueDependent().
Referenced by PointerAuthAuthAndResign(), PointerAuthSignOrAuth(), and PointerAuthStrip().
|
static |
Definition at line 1565 of file SemaChecking.cpp.
References clang::Call, clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, convertArgumentToType(), clang::SemaBase::Diag(), findConstantBaseAndOffset(), clang::ActionResult< PtrTy, Compress >::get(), clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::getUIntPtrType(), clang::QualType::getUnqualifiedType(), clang::Expr::hasPlaceholderType(), clang::Expr::IgnoreParens(), Integer, clang::Invalid, clang::Type::isIntegralOrUnscopedEnumerationType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isNullPointerConstant(), clang::Type::isNullPtrType(), clang::Type::isPointerType(), clang::Expr::NPC_ValueDependentIsNull, Pointer, and clang::ASTContext::VoidPtrTy.
Referenced by PointerAuthAuthAndResign(), PointerAuthBlendDiscriminator(), PointerAuthSignGenericData(), PointerAuthSignOrAuth(), and PointerAuthStrip().
|
static |
Definition at line 10265 of file SemaChecking.cpp.
References clang::ASTContext::CharTy, classifyConstantValue(), clang::Sema::Context, Diag(), clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), E, clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), HasEnumType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::Type::isBooleanType(), clang::Sema::isConstantEvaluatedContext(), IsEnumConstOrFromMacro(), clang::Type::isEnumeralType(), isKnownToHaveUnsignedValue(), clang::Type::isSpecificBuiltinType(), clang::SemaObjC::NSAPIObj, clang::Sema::ObjC(), clang::Other, clang::SemaBase::PDiag(), clang::Result, TryGetExprRange(), and clang::QualType::withoutLocalFastQualifiers().
Referenced by AnalyzeComparison().
|
static |
Definition at line 13677 of file SemaChecking.cpp.
References clang::SemaObjC::CheckLiteralKind(), clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreParenImpCasts(), clang::SemaObjC::LK_None, clang::SemaObjC::LK_String, Loc, and clang::Sema::ObjC().
Referenced by checkUnsafeAssignObject().
|
static |
Definition at line 13698 of file SemaChecking.cpp.
References clang::cast(), checkUnsafeAssignLiteral(), clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), Loc, LT, clang::Qualifiers::OCL_ExplicitNone, and clang::Qualifiers::OCL_Weak.
Referenced by clang::Sema::checkUnsafeAssigns(), and clang::Sema::checkUnsafeExprAssigns().
Check that the user is calling the appropriate va_start builtin for the target and calling convention.
Definition at line 4714 of file SemaChecking.cpp.
References clang::Type::castAs(), clang::CC_C, clang::CC_Win64, clang::CC_X86_64SysV, clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::getCurFunctionDecl(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), and clang::ValueDecl::getType().
|
static |
Definition at line 4749 of file SemaChecking.cpp.
References clang::Block, clang::Sema::CurContext, clang::SemaBase::Diag(), clang::FunctionDecl::isVariadic(), and clang::FunctionDecl::parameters().
Definition at line 10251 of file SemaChecking.cpp.
Referenced by CheckTautologicalComparison().
|
staticconstexpr |
Definition at line 124 of file SemaChecking.cpp.
Referenced by checkFormatStringExpr().
Definition at line 199 of file SemaChecking.cpp.
References clang::Sema::Context, clang::InitializedEntity::InitializeParameter(), clang::Sema::PerformCopyInitialization(), and clang::Result.
Referenced by checkPointerAuthKey(), and checkPointerAuthValue().
|
static |
Definition at line 7058 of file SemaChecking.cpp.
References clang::LookupResult::begin(), clang::Sema::Context, clang::ast_matchers::decl, E, clang::LookupResult::end(), clang::IdentifierTable::get(), clang::Type::getAs(), clang::RecordType::getDecl(), clang::CXXRecordDecl::getDefinition(), clang::ASTContext::Idents, clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), and clang::LookupResult::suppressDiagnostics().
|
static |
Definition at line 13011 of file SemaChecking.cpp.
References clang::Sema::Context, clang::SemaBase::Diag(), diagnoseArrayStarInParamType(), clang::ASTContext::getAsArrayType(), clang::ArrayType::getElementType(), clang::ArrayType::getSizeModifier(), clang::Type::isVariablyModifiedType(), Loc, and clang::Star.
Referenced by clang::Sema::CheckParmsForFunctionDef(), and diagnoseArrayStarInParamType().
|
static |
Diagnose an implicit cast from a floating point value to an integer value.
Definition at line 10734 of file SemaChecking.cpp.
References clang::SemaObjC::adornBoolConversionDiagWithTernaryFixit(), clang::Sema::Context, clang::SemaBase::Diag(), DiagnoseImpCast(), clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::EvaluateAsFloat(), clang::Expr::getExprLoc(), clang::ASTContext::getIntWidth(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::hasUnsignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::SemaObjC::isSignedCharBool(), clang::Type::isSpecificBuiltinType(), clang::Sema::ObjC(), clang::SemaBase::PDiag(), clang::Result, clang::Expr::SE_AllowSideEffects, and clang::T.
Referenced by clang::Sema::CheckImplicitConversion().
|
static |
Diagnose an implicit cast; purely a helper for CheckImplicitConversion.
Definition at line 10712 of file SemaChecking.cpp.
References clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::SemaBase::PDiag(), and clang::T.
Referenced by AnalyzeCompoundAssignment(), CheckImplicitArgumentConversions(), clang::Sema::CheckImplicitConversion(), DiagnoseFloatingImpCast(), and DiagnoseImpCast().
|
static |
Diagnose an implicit cast; purely a helper for CheckImplicitConversion.
Definition at line 10727 of file SemaChecking.cpp.
References DiagnoseImpCast(), E, clang::Expr::getType(), and clang::T.
Definition at line 11021 of file SemaChecking.cpp.
References clang::Sema::Context, clang::SemaBase::Diag(), E, clang::Expr::EvaluateAsInt(), clang::Expr::getExprLoc(), getIntegerLiteral(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isSignedIntegerType(), clang::Expr::isValueDependent(), clang::Result, and clang::Expr::SE_AllowSideEffects.
Referenced by CheckConditionalOperator(), and clang::Sema::CheckImplicitConversion().
|
static |
Definition at line 10935 of file SemaChecking.cpp.
References clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::Sema::Diags, E, clang::SourceRange::getBegin(), clang::CharSourceRange::getBegin(), clang::Expr::getExprLoc(), clang::SourceManager::getFileID(), clang::Sema::getFixItZeroLiteralForType(), clang::SourceManager::getImmediateExpansionRange(), clang::Lexer::getImmediateMacroNameForDiagnostics(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::SourceManager::getTopMacroCallerLoc(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::DiagnosticsEngine::isIgnored(), clang::SourceLocation::isMacroID(), clang::Type::isMemberPointerType(), clang::Type::isNullPtrType(), clang::Type::isScalarType(), Loc, clang::Sema::SourceMgr, and clang::T.
Referenced by clang::Sema::CheckImplicitConversion().
Detect if SizeofExpr
is likely to calculate the sizeof an object.
Definition at line 8803 of file SemaChecking.cpp.
References doesExprLikelyComputeSize(), getAsSizeOfExpr(), and clang::Expr::IgnoreParenImpCasts().
Referenced by CheckMemaccessSize(), and doesExprLikelyComputeSize().
|
static |
Definition at line 8343 of file SemaChecking.cpp.
References clang::ASTContext::BuiltinInfo, clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::LookupResult::empty(), clang::IdentifierTable::get(), getAbsoluteValueKind(), clang::FunctionDecl::getBuiltinID(), clang::Sema::getCurScope(), clang::LookupResult::getFoundDecl(), clang::Builtin::Context::getHeaderName(), clang::Sema::getLangOpts(), clang::Builtin::Context::getName(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::Sema::getStdNamespace(), clang::ValueDecl::getType(), clang::ASTContext::getTypeSize(), clang::ASTContext::Idents, clang::Type::isAnyComplexType(), clang::Type::isIntegralOrEnumerationType(), clang::Type::isRealFloatingType(), clang::LookupResult::isSingleResult(), Loc, clang::Sema::LookupAnyName, clang::Sema::LookupName(), clang::Sema::LookupQualifiedName(), Range, Std, and clang::LookupResult::suppressDiagnostics().
Referenced by clang::syntax::computeReplacements().
|
static |
Definition at line 1551 of file SemaChecking.cpp.
References clang::Sema::Context, E, clang::Expr::EvaluateAsRValue(), and clang::Result.
Referenced by checkPointerAuthValue().
|
static |
Given a type tag expression find the type tag itself.
TypeExpr | Type tag expression, as it appears in user's code. |
VD | Declaration of an identifier that appears in a type tag. |
MagicValue | Type tag magic value. |
isConstantEvaluated | whether the evalaution should be performed in constant context. |
Definition at line 14196 of file SemaChecking.cpp.
References clang::Expr::EvaluateAsBooleanCondition(), clang::AbstractConditionalOperator::getCond(), clang::DeclRefExpr::getDecl(), clang::AbstractConditionalOperator::getFalseExpr(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::AbstractConditionalOperator::getTrueExpr(), clang::APIntStorage::getValue(), clang::Expr::IgnoreParenCasts(), clang::Expr::IgnoreParenImpCasts(), and clang::Result.
Referenced by GetMatchingCType().
|
static |
Definition at line 8186 of file SemaChecking.cpp.
References clang::ASTContext::GE_None, clang::Type::getAs(), clang::ASTContext::GetBuiltinType(), clang::FunctionProtoType::getNumParams(), and clang::FunctionProtoType::getParamType().
Referenced by getBestAbsFunction().
|
static |
Definition at line 8310 of file SemaChecking.cpp.
References clang::FunctionDecl::getBuiltinID(), and clang::NamedDecl::getIdentifier().
|
static |
Definition at line 8233 of file SemaChecking.cpp.
References AVK_Complex, AVK_Floating, AVK_Integer, clang::Type::isAnyComplexType(), clang::Type::isIntegralOrEnumerationType(), clang::Type::isRealFloatingType(), and clang::T.
Referenced by emitReplacement().
|
static |
Compute the alignment and offset of a binary additive operator.
Definition at line 13169 of file SemaChecking.cpp.
References getBaseAlignmentAndOffsetFromPtr(), clang::Expr::getIntegerConstantExpr(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::ASTContext::getTypeSizeInChars(), clang::Type::isConstantSizeType(), P, and clang::CharUnits::Zero().
Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().
|
static |
Definition at line 8687 of file SemaChecking.cpp.
References E.
Referenced by doesExprLikelyComputeSize(), getSizeOfArgType(), and getSizeOfExprArg().
|
static |
This helper function takes an lvalue expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.
Definition at line 13201 of file SemaChecking.cpp.
References E, clang::CharUnits::fromQuantity(), getAlignmentAndOffsetFromBinAddOrSub(), clang::ASTContext::getASTRecordLayout(), clang::ArraySubscriptExpr::getBase(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), clang::ASTContext::getDeclAlign(), getDerivedToBaseAlignmentAndOffset(), clang::ASTRecordLayout::getFieldOffset(), clang::ArraySubscriptExpr::getIdx(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getOpcode(), clang::DeclContext::getParent(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Expr::IgnoreParens(), clang::Type::isReferenceType(), P, and clang::CharUnits::Zero().
Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().
|
static |
This helper function takes a pointer expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.
Definition at line 13294 of file SemaChecking.cpp.
References E, getAlignmentAndOffsetFromBinAddOrSub(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getASTRecordLayout(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), getDerivedToBaseAlignmentAndOffset(), clang::BinaryOperator::getLHS(), clang::ASTRecordLayout::getNonVirtualAlignment(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getOpcode(), clang::Type::getPointeeType(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Expr::IgnoreParens(), P, and clang::CharUnits::Zero().
Referenced by getAlignmentAndOffsetFromBinAddOrSub(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), and getPresumedAlignmentOfPointer().
|
static |
Definition at line 8208 of file SemaChecking.cpp.
References getAbsoluteValueArgumentType(), getLargerAbsoluteValueFunction(), clang::ASTContext::getTypeSize(), and clang::ASTContext::hasSameType().
|
static |
Determine whether the given type is or contains a dynamic class type (e.g., whether it has a vtable).
Definition at line 8658 of file SemaChecking.cpp.
References clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), getContainedDynamicClass(), clang::CXXRecordDecl::getDefinition(), clang::ValueDecl::getType(), clang::CXXRecordDecl::isDynamicClass(), clang::Decl::isInvalidDecl(), and clang::T.
Referenced by getContainedDynamicClass().
|
static |
Compute the alignment and offset of the base class object given the derived-to-base cast expression and the alignment and offset of the derived class object.
Definition at line 13140 of file SemaChecking.cpp.
References clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getASTRecordLayout(), clang::ASTRecordLayout::getBaseClassOffset(), clang::ASTRecordLayout::getNonVirtualAlignment(), clang::CastExpr::path_begin(), clang::CastExpr::path_end(), and clang::CharUnits::Zero().
Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().
Definition at line 9741 of file SemaChecking.cpp.
References E, clang::Type::getAs(), and clang::Expr::getType().
Referenced by TryGetExprRange().
|
static |
Definition at line 11009 of file SemaChecking.cpp.
References E.
Referenced by DiagnoseIntInBoolContext().
Definition at line 8136 of file SemaChecking.cpp.
Referenced by getBestAbsFunction().
|
static |
Retrieve the C type corresponding to type tag TypeExpr.
TypeExpr | Expression that specifies a type tag. |
MagicValues | Registered magic values. |
FoundWrongKind | Set to true if a type tag was found, but of a wrong kind. |
TypeInfo | Information about the corresponding C type. |
isConstantEvaluated | whether the evalaution should be performed in constant context. |
Definition at line 14277 of file SemaChecking.cpp.
References FindTypeTagExpr(), and clang::Decl::getAttr().
Definition at line 13359 of file SemaChecking.cpp.
References clang::Sema::Context, E, getBaseAlignmentAndOffsetFromPtr(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::ASTContext::getTypeAlignInChars(), and P.
Referenced by clang::Sema::CheckCastAlign().
If E is a sizeof expression, returns its argument type.
Definition at line 8704 of file SemaChecking.cpp.
References E, getAsSizeOfExpr(), and SizeOf.
If E is a sizeof expression, returns its argument expression, otherwise returns NULL.
Definition at line 8696 of file SemaChecking.cpp.
References E, getAsSizeOfExpr(), and SizeOf.
Definition at line 9212 of file SemaChecking.cpp.
References E, clang::CallExpr::getArg(), clang::CallExpr::getDirectCallee(), clang::FunctionDecl::getMemoryFunctionKind(), and clang::Expr::IgnoreParenCasts().
|
static |
Definition at line 9712 of file SemaChecking.cpp.
References clang::C, clang::APValue::getComplexIntImag(), clang::APValue::getComplexIntReal(), clang::APValue::getInt(), GetValueRange(), clang::APValue::getVectorElt(), clang::APValue::getVectorLength(), clang::APValue::isAddrLabelDiff(), clang::APValue::isComplexInt(), clang::APValue::isInt(), clang::APValue::isLValue(), clang::Type::isUnsignedIntegerOrEnumerationType(), and clang::APValue::isVector().
|
static |
Definition at line 9699 of file SemaChecking.cpp.
Referenced by GetValueRange(), and TryGetExprRange().
|
static |
Definition at line 7456 of file SemaChecking.cpp.
References clang::DiagnosticsEngine::isIgnored(), Loc, clang::analyze_format_string::ArgType::Match, clang::analyze_format_string::ArgType::NoMatch, and clang::analyze_format_string::ArgType::NoMatchSignedness.
Definition at line 10239 of file SemaChecking.cpp.
References E, clang::Expr::getType(), and clang::Type::isEnumeralType().
Referenced by CheckTautologicalComparison().
|
static |
Definition at line 9102 of file SemaChecking.cpp.
References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getRHS(), clang::Expr::IgnoreParenCasts(), and clang::BinaryOperator::isAdditiveOp().
|
static |
Check if the ArgLoc originated from a macro passed to the call at CallLoc.
This should return true for the first call to foo, but not for the second (regardless of whether foo is a macro or function).
Definition at line 8827 of file SemaChecking.cpp.
References clang::SourceLocation::isMacroID(), and SM.
Referenced by CheckMemaccessSize().
|
static |
Return true if ICE
is an implicit argument promotion of an arithmetic type.
Bit-field 'promotions' from a higher ranked type to a lower ranked type do not count.
Definition at line 7435 of file SemaChecking.cpp.
References clang::Sema::Context, clang::Type::getAs(), clang::CastExpr::getCastKind(), clang::ASTContext::getFloatingTypeOrder(), clang::ASTContext::getPromotedIntegerType(), clang::CastExpr::getSubExpr(), clang::Expr::getType(), and clang::ASTContext::isPromotableIntegerType().
|
static |
Definition at line 9124 of file SemaChecking.cpp.
References clang::ASTContext::getAsConstantArrayType(), and clang::Type::isVariableArrayType().
Definition at line 10087 of file SemaChecking.cpp.
References E, clang::Stmt::getBeginLoc(), clang::Lexer::getImmediateMacroName(), clang::Sema::getLangOpts(), clang::Sema::getSourceManager(), clang::Expr::IgnoreParenImpCasts(), and clang::SourceLocation::isMacroID().
Referenced by CheckTautologicalComparison().
Definition at line 10895 of file SemaChecking.cpp.
References clang::Sema::Context, clang::ASTContext::getCanonicalType(), clang::Expr::getType(), clang::CanQual< T >::getTypePtr(), clang::Expr::IgnoreParenImpCasts(), clang::BuiltinType::isFloatingPoint(), clang::Type::isSpecificBuiltinType(), and clang::Target.
Referenced by CheckImplicitArgumentConversions().
|
static |
Definition at line 11841 of file SemaChecking.cpp.
References clang::SourceLocation::isInvalid(), clang::SourceLocation::isMacroID(), Loc, and SM.
Referenced by clang::Sema::DiagnoseAlwaysNonNullPointer().
Definition at line 8439 of file SemaChecking.cpp.
Definition at line 10108 of file SemaChecking.cpp.
References E, clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isIntegerType(), and clang::Type::isSignedIntegerType().
Referenced by CheckTautologicalComparison().
|
static |
Check if two enumeration types are layout-compatible.
Definition at line 14011 of file SemaChecking.cpp.
References clang::C, clang::EnumDecl::getIntegerType(), and clang::EnumDecl::isComplete().
|
static |
Check if two fields are layout-compatible.
Can be used on union members, which are exempt from alignment requirement of common initial sequence.
Definition at line 14023 of file SemaChecking.cpp.
References clang::C, clang::FieldDecl::getBitWidthValue(), clang::Decl::getMaxAlignment(), clang::FieldDecl::getParent(), clang::ValueDecl::getType(), clang::TypeDecl::getTypeForDecl(), clang::Decl::hasAttr(), clang::FieldDecl::isBitField(), isLayoutCompatible(), clang::Type::isStructureOrClassType(), and clang::Type::isUnionType().
|
static |
Definition at line 14110 of file SemaChecking.cpp.
References clang::C, isLayoutCompatibleStruct(), isLayoutCompatibleUnion(), and clang::TagDecl::isUnion().
|
static |
Check if two types are layout-compatible in C++11 sense.
Definition at line 14122 of file SemaChecking.cpp.
References clang::C, clang::QualType::getCanonicalType(), clang::Type::getTypeClass(), clang::QualType::getUnqualifiedType(), isLayoutCompatible(), clang::QualType::isNull(), and clang::Type::isStandardLayoutType().
Referenced by isLayoutCompatible(), clang::Sema::IsLayoutCompatible(), and isLayoutCompatibleUnion().
|
static |
Check if two standard-layout structs are layout-compatible.
(C++11 [class.mem] p17)
Definition at line 14067 of file SemaChecking.cpp.
References clang::C, and clang::RecordDecl::fields().
Referenced by isLayoutCompatible().
|
static |
Check if two standard-layout unions are layout-compatible.
(C++11 [class.mem] p18)
Definition at line 14085 of file SemaChecking.cpp.
References clang::C, E, clang::RecordDecl::fields(), isLayoutCompatible(), and clang::Result.
Referenced by isLayoutCompatible().
Determine whether the given type has a non-null nullability annotation.
Definition at line 3091 of file SemaChecking.cpp.
References clang::NonNull, and clang::ast_matchers::type.
Referenced by CheckNonNullArguments().
Definition at line 14334 of file SemaChecking.cpp.
References clang::Type::getAs(), and clang::BuiltinType::getKind().
|
static |
Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics.
The value might be a vector of floats (or a complex number).
Definition at line 10066 of file SemaChecking.cpp.
References clang::APValue::getComplexFloatImag(), clang::APValue::getComplexFloatReal(), clang::APValue::getFloat(), clang::APValue::getVectorElt(), clang::APValue::getVectorLength(), clang::APValue::isComplexFloat(), clang::APValue::isFloat(), IsSameFloatAfterCast(), and clang::APValue::isVector().
|
static |
Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics.
Definition at line 10049 of file SemaChecking.cpp.
Referenced by clang::Sema::CheckImplicitConversion(), and IsSameFloatAfterCast().
|
static |
Definition at line 10985 of file SemaChecking.cpp.
References E, clang::SourceManager::getCharacterData(), clang::Sema::getSourceManager(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isCharType(), clang::SourceLocation::isValid(), and clang::T.
Referenced by clang::Sema::CheckImplicitConversion().
|
static |
Definition at line 5530 of file SemaChecking.cpp.
Referenced by clang::Sema::BuiltinConstantArgShiftedByte(), and clang::Sema::BuiltinConstantArgShiftedByteOrXXFF().
|
static |
Definition at line 8426 of file SemaChecking.cpp.
References clang::NamedDecl::getIdentifier(), clang::Decl::isInStdNamespace(), and clang::IdentifierInfo::isStr().
|
static |
Definition at line 3610 of file SemaChecking.cpp.
Referenced by clang::Sema::BuildAtomicExpr().
|
static |
Definition at line 6245 of file SemaChecking.cpp.
References E, clang::Expr::EvaluateAsRValue(), and clang::Result.
Referenced by checkFormatStringExpr().
|
static |
Definition at line 1748 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().
|
static |
Definition at line 1705 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthValue(), clang::Sema::Context, clang::ExprError(), and clang::ASTContext::getUIntPtrType().
|
static |
Definition at line 1718 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthValue(), clang::Sema::Context, clang::ExprError(), and clang::ASTContext::getUIntPtrType().
|
static |
Definition at line 1731 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().
|
static |
Definition at line 1764 of file SemaChecking.cpp.
References clang::Call, checkPointerAuthEnabled(), clang::SemaBase::Diag(), clang::ExprError(), clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().
|
static |
Definition at line 1692 of file SemaChecking.cpp.
References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().
|
static |
Definition at line 10885 of file SemaChecking.cpp.
References Range, and toString().
Referenced by clang::Sema::CheckImplicitConversion().
|
static |
Definition at line 1116 of file SemaChecking.cpp.
References clang::ASTContext::getAsConstantArrayType(), and clang::T.
Check if two expressions refer to the same declaration.
Definition at line 9205 of file SemaChecking.cpp.
Definition at line 7339 of file SemaChecking.cpp.
References E, clang::Stmt::getStmtClass(), and clang::Expr::IgnoreImpCasts().
|
static |
Definition at line 13797 of file SemaChecking.cpp.
References clang::SourceManager::getPresumedLineNumber(), clang::NullStmt::getSemiLoc(), clang::SourceManager::getSpellingLineNumber(), and clang::NullStmt::hasLeadingEmptyMacro().
Referenced by clang::Sema::DiagnoseEmptyLoopBody(), and clang::Sema::DiagnoseEmptyStmtBody().
|
static |
Definition at line 7376 of file SemaChecking.cpp.
References E, clang::Type::getAs(), clang::ASTContext::getNSIntegerType(), clang::ASTContext::getNSUIntegerType(), clang::ASTContext::IntTy, clang::QualType::isNull(), shouldNotPrintDirectly(), and clang::ASTContext::UnsignedIntTy.
Referenced by shouldNotPrintDirectly().
|
static |
Definition at line 5773 of file SemaChecking.cpp.
References sumOffsets().
Referenced by checkFormatStringExpr(), and sumOffsets().
|
static |
Definition at line 10039 of file SemaChecking.cpp.
References clang::C, E, GetExprType(), and TryGetExprRange().
|
static |
Attempts to estimate an approximate range for the given integer expression.
Returns a range if successful, otherwise it returns std::nullopt
if a reliable estimation cannot be determined.
MaxWidth | The width to which the value will be truncated. |
InConstantContext | If true , interpret the expression within a constant context. |
Approximate | If true , provide a likely range of values by assuming that arithmetic on narrower types remains within those types. If false , return a range that includes all possible values resulting from the expression. |
Definition at line 9761 of file SemaChecking.cpp.
References clang::C, E, clang::Expr::EvaluateAsRValue(), GetExprType(), clang::Expr::getSourceBitField(), clang::Expr::getType(), GetValueRange(), clang::Expr::IgnoreParens(), clang::Type::isUnsignedIntegerOrEnumerationType(), clang::Type::isVoidType(), log2, clang::T, TryGetExprRange(), and clang::Expr::EvalResult::Val.
Referenced by AnalyzeComparison(), clang::Sema::CheckImplicitConversion(), CheckTautologicalComparison(), and TryGetExprRange().