#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/ExprOpenMP.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/CharInfo.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/TargetBuiltins.h"
#include "clang/Basic/TargetCXXABI.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/SemaInternal.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/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/Casting.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 <bitset>
#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"

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 }

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 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 bool	CheckBuiltinTargetNotInUnsupported (Sema &S, unsigned BuiltinID, CallExpr *TheCall, ArrayRef< llvm::Triple::ObjectFormatType > UnsupportedObjectFormatTypes)

static bool	CheckBuiltinTargetInSupported (Sema &S, unsigned BuiltinID, 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	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 IntRange	GetExprRange (ASTContext &C, const Expr *E, unsigned MaxWidth, bool InConstantContext, bool Approximate)
	Pseudo-evaluate the given integer expression, estimating the range of values it might take.

static IntRange	GetExprRange (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 (ASTContext &C, QualType T1, QualType T2)
	Check if two types are layout-compatible in C++11 sense.

static bool	isLayoutCompatible (ASTContext &C, EnumDecl ED1, EnumDecl ED2)
	Check if two enumeration types are layout-compatible.

static bool	isLayoutCompatible (ASTContext &C, FieldDecl Field1, FieldDecl Field2, bool AreUnionMembers=false)
	Check if two fields are layout-compatible.

static bool	isLayoutCompatibleStruct (ASTContext &C, RecordDecl RD1, RecordDecl RD2)
	Check if two standard-layout structs are layout-compatible.

static bool	isLayoutCompatibleUnion (ASTContext &C, RecordDecl RD1, RecordDecl RD2)
	Check if two standard-layout unions are layout-compatible.

static bool	isLayoutCompatible (ASTContext &C, RecordDecl RD1, 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)

Macro Definition Documentation

◆ ATOMIC_BUILTIN

#define ATOMIC_BUILTIN	(	ID,
		TYPE,
		ATTRS
	)

Value:

case Builtin::BI##ID: \

return AtomicOpsOverloaded(TheCallResult, AtomicExpr::AO##ID);

◆ BUILTIN

#define BUILTIN	(	ID,
		TYPE,
		ATTRS
	)

◆ BUILTIN_ROW

#define BUILTIN_ROW ( x )

Value:

{ Builtin::BI##x##_1, Builtin::BI##x##_2, Builtin::BI##x##_4, \

Builtin::BI##x##_8, Builtin::BI##x##_16 }

_2

__inline void unsigned int _2

Definition: larchintrin.h:181

Enumeration Type Documentation

◆ AbsoluteValueKind

enum AbsoluteValueKind

Enumerator
AVK_Integer
AVK_Floating
AVK_Complex

Definition at line 7994 of file SemaChecking.cpp.

Function Documentation

◆ AnalyzeAssignment()

static void AnalyzeAssignment	(	Sema &	S,
		BinaryOperator *	E
	)

static

Analyze the given simple or compound assignment for warning-worthy operations.

Definition at line 10365 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().

◆ AnalyzeBitFieldAssignment()

static bool AnalyzeBitFieldAssignment	(	Sema &	S,
		FieldDecl *	Bitfield,
		Expr *	Init,
		SourceLocation	InitLoc
	)

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 10226 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().

◆ AnalyzeComparison()

static void AnalyzeComparison	(	Sema &	S,
		BinaryOperator *	E
	)

static

Implements -Wsign-compare.

Parameters

E	the binary operator to check for warnings

Definition at line 10109 of file SemaChecking.cpp.

References AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), bool, CheckTautologicalComparison(), clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), E, GetExprRange(), 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(), and clang::T.

Referenced by AnalyzeImplicitConversions().

◆ AnalyzeCompoundAssignment()

static void AnalyzeCompoundAssignment	(	Sema &	S,
		BinaryOperator *	E
	)

static

Analyze the given compound assignment for the possible losing of floating-point precision.

Definition at line 10525 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().

◆ AnalyzeImpConvsInComparison()

static void AnalyzeImpConvsInComparison	(	Sema &	S,
		BinaryOperator *	E
	)

static

Analyze the operands of the given comparison.

Implements the fallback case from AnalyzeComparison.

Definition at line 10101 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), and E.

Referenced by AnalyzeComparison().

◆ AnalyzeImplicitConversions() [1/2]

static void AnalyzeImplicitConversions	(	Sema &	S,
		AnalyzeImplicitConversionsWorkItem	Item,
		llvm::SmallVectorImpl< AnalyzeImplicitConversionsWorkItem > &	WorkList
	)

static

Data recursive variant of AnalyzeImplicitConversions.

Subexpressions that should be visited are added to WorkList.

Definition at line 11289 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.

◆ AnalyzeImplicitConversions() [2/2]

static void AnalyzeImplicitConversions	(	Sema &	S,
		Expr *	OrigE,
		SourceLocation	CC,
		bool	IsListInit
	)

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 11458 of file SemaChecking.cpp.

References AnalyzeImplicitConversions().

Referenced by AnalyzeAssignment(), AnalyzeComparison(), AnalyzeCompoundAssignment(), AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), CheckConditionalOperand(), and CheckConditionalOperator().

◆ BuiltinAddressof()

static bool BuiltinAddressof	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Check that the argument to __builtin_addressof is a glvalue, and set the result type to the corresponding pointer type.

Definition at line 270 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().

◆ BuiltinAlignment()

static bool BuiltinAlignment	(	Sema &	S,
		CallExpr *	TheCall,
		unsigned	ID
	)

static

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 320 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.

◆ BuiltinAnnotation()

static bool BuiltinAnnotation	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Check that the first argument to __builtin_annotation is an integer and the second argument is a non-wide string literal.

Definition at line 220 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().

◆ BuiltinCallWithStaticChain()

static bool BuiltinCallWithStaticChain	(	Sema &	S,
		CallExpr *	BuiltinCall
	)

static

◆ BuiltinCountZeroBitsGeneric()

static bool BuiltinCountZeroBitsGeneric	(	Sema &	S,
		CallExpr *	TheCall
	)

static

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 2020 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().

◆ BuiltinCpu()

static bool BuiltinCpu	(	Sema &	S,
		const TargetInfo &	TI,
		CallExpr *	TheCall,
		const TargetInfo *	AuxTI,
		unsigned	BuiltinID
	)

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 1952 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().

◆ BuiltinDumpStruct()

static ExprResult BuiltinDumpStruct	(	Sema &	S,
		CallExpr *	TheCall
	)

static

◆ BuiltinFunctionStart()

static bool BuiltinFunctionStart	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Check that the argument to __builtin_function_start is a function.

Definition at line 285 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().

◆ BuiltinLaunder()

static ExprResult BuiltinLaunder	(	Sema &	S,
		CallExpr *	TheCall
	)

static

◆ BuiltinMSVCAnnotation()

static bool BuiltinMSVCAnnotation	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Definition at line 246 of file SemaChecking.cpp.

References clang::CallExpr::arguments(), clang::SemaBase::Diag(), clang::CallExpr::getCallee(), clang::CallExpr::getEndLoc(), clang::CallExpr::getNumArgs(), and clang::Stmt::getSourceRange().

◆ BuiltinOverflow()

static bool BuiltinOverflow	(	Sema &	S,
		CallExpr *	TheCall,
		unsigned	BuiltinID
	)

static

◆ BuiltinPopcountg()

static bool BuiltinPopcountg	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Checks that __builtin_popcountg was called with a single argument, which is an unsigned integer.

Definition at line 1996 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().

◆ BuiltinPreserveAI()

static bool BuiltinPreserveAI	(	Sema &	S,
		CallExpr *	TheCall
	)

static

Check the number of arguments and set the result type to the argument type.

Definition at line 309 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::CallExpr::getArg(), clang::Expr::getType(), and clang::Expr::setType().

◆ BuiltinSEHScopeCheck()

static bool BuiltinSEHScopeCheck	(	Sema &	SemaRef,
		CallExpr *	TheCall,
		Scope::ScopeFlags	NeededScopeFlags,
		unsigned	DiagID
	)

static

Definition at line 1458 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::CallExpr::getCallee(), clang::Sema::getCurScope(), clang::Expr::getExprLoc(), clang::Expr::IgnoreParenCasts(), and clang::Sema::inTemplateInstantiation().

◆ changeAbsFunction()

static unsigned changeAbsFunction	(	unsigned	AbsKind,
		AbsoluteValueKind	ValueKind
	)

static

Definition at line 8013 of file SemaChecking.cpp.

References AVK_Complex, AVK_Floating, and AVK_Integer.

◆ CheckBoolLikeConversion()

static void CheckBoolLikeConversion	(	Sema &	S,
		Expr *	E,
		SourceLocation	CC
	)

static

Check conversion of given expression to boolean.

Input argument E is a logical expression.

Definition at line 11268 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()

static bool checkBuiltinArgument	(	Sema &	S,
		CallExpr *	E,
		unsigned	ArgIndex
	)

static

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 4107 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().

◆ CheckBuiltinTargetInSupported()

static bool CheckBuiltinTargetInSupported	(	Sema &	S,
		unsigned	BuiltinID,
		CallExpr *	TheCall,
		ArrayRef< llvm::Triple::ArchType >	SupportedArchs
	)

static

Definition at line 1853 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), and clang::TargetInfo::getTriple().

◆ CheckBuiltinTargetNotInUnsupported()

static bool CheckBuiltinTargetNotInUnsupported	(	Sema &	S,
		unsigned	BuiltinID,
		CallExpr *	TheCall,
		ArrayRef< llvm::Triple::ObjectFormatType >	UnsupportedObjectFormatTypes
	)

static

Definition at line 1837 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), and clang::TargetInfo::getTriple().

◆ checkBuiltinVerboseTrap()

static bool checkBuiltinVerboseTrap	(	CallExpr *	Call,
		Sema &	S
	)

static

Definition at line 177 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().

◆ CheckConditionalOperand()

static void CheckConditionalOperand	(	Sema &	S,
		Expr *	E,
		QualType	T,
		SourceLocation	CC,
		bool &	ICContext
	)

static

Definition at line 11216 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().

◆ CheckConditionalOperator()

static void CheckConditionalOperator	(	Sema &	S,
		AbstractConditionalOperator *	E,
		SourceLocation	CC,
		QualType	T
	)

static

Definition at line 11231 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().

◆ CheckFormatString()

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

Definition at line 7809 of file SemaChecking.cpp.

References clang::Sema::Context, clang::Sema::FST_FreeBSDKPrintf, clang::Sema::FST_NSString, clang::Sema::FST_OSLog, clang::Sema::FST_OSTrace, clang::Sema::FST_Printf, clang::Sema::FST_Scanf, 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().

◆ checkFormatStringExpr()

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`
	)

static

Definition at line 5656 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().

◆ CheckForReference()

static bool CheckForReference	(	Sema &	SemaRef,
		const Expr *	E,
		const PartialDiagnostic &	PD
	)

static

Definition at line 11468 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().

◆ checkFPMathBuiltinElementType()

static bool checkFPMathBuiltinElementType	(	Sema &	S,
		SourceLocation	Loc,
		QualType	ArgTy,
		int	ArgIndex
	)

static

Definition at line 1935 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Type::getAs(), clang::Type::isRealFloatingType(), and Loc.

Referenced by clang::Sema::BuiltinElementwiseTernaryMath().

◆ CheckImplicitArgumentConversions()

static void CheckImplicitArgumentConversions	(	Sema &	S,
		CallExpr *	TheCall,
		SourceLocation	CC
	)

static

Definition at line 10590 of file SemaChecking.cpp.

References DiagnoseImpCast(), clang::CallExpr::getArg(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and IsImplicitBoolFloatConversion().

Referenced by AnalyzeImplicitConversions().

◆ checkMathBuiltinElementType()

static bool checkMathBuiltinElementType	(	Sema &	S,
		SourceLocation	Loc,
		QualType	ArgTy,
		int	ArgIndex
	)

static

Definition at line 1924 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().

◆ CheckMemaccessSize()

static void CheckMemaccessSize	(	Sema &	S,
		unsigned	BId,
		const CallExpr *	Call
	)

static

Diagnose cases like 'memset(buf, sizeof(buf), 0)', which should have the last two arguments transposed.

Definition at line 8580 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.

◆ CheckMemorySizeofForComparison()

static bool CheckMemorySizeofForComparison	(	Sema &	S,
		const Expr *	E,
		IdentifierInfo *	FnName,
		SourceLocation	FnLoc,
		SourceLocation	RParenLoc
	)

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 8369 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().

◆ CheckNonNullArgument()

static void CheckNonNullArgument	(	Sema &	S,
		const Expr *	ArgExpr,
		SourceLocation	CallSiteLoc
	)

static

Definition at line 3003 of file SemaChecking.cpp.

References CheckNonNullExpr(), clang::Sema::DiagRuntimeBehavior(), clang::Stmt::getSourceRange(), and clang::SemaBase::PDiag().

Referenced by clang::Sema::BuildAtomicExpr(), and CheckNonNullArguments().

◆ CheckNonNullArguments()

static void CheckNonNullArguments	(	Sema &	S,
		const NamedDecl *	FDecl,
		const FunctionProtoType *	Proto,
		ArrayRef< const Expr * >	Args,
		SourceLocation	CallSiteLoc
	)

static

Definition at line 3020 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().

◆ CheckNonNullExpr()

static bool CheckNonNullExpr	(	Sema &	S,
		const Expr *	Expr
	)

static

Checks if a the given expression evaluates to null.

Returns true if the value evaluates to null.

Definition at line 2973 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().

◆ checkPointerAuthEnabled()

static bool checkPointerAuthEnabled	(	Sema &	S,
		Expr *	E
	)

static

Definition at line 1500 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().

◆ checkPointerAuthKey()

static bool checkPointerAuthKey	(	Sema &	S,
		Expr *&	Arg
	)

static

Definition at line 1504 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().

◆ checkPointerAuthValue()

static bool checkPointerAuthValue	(	Sema &	S,
		Expr *&	Arg,
		PointerAuthOpKind	OpKind,
		bool	RequireConstant = `false`
	)

static

Definition at line 1558 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().

◆ CheckTautologicalComparison()

static bool CheckTautologicalComparison	(	Sema &	S,
		BinaryOperator *	E,
		Expr *	Constant,
		Expr *	Other,
		const llvm::APSInt &	Value,
		bool	RhsConstant
	)

static

Definition at line 9947 of file SemaChecking.cpp.

References clang::ASTContext::CharTy, classifyConstantValue(), clang::Sema::Context, Diag(), clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), E, clang::Type::getAs(), GetExprRange(), 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, and clang::QualType::withoutLocalFastQualifiers().

Referenced by AnalyzeComparison().

◆ checkUnsafeAssignLiteral()

static bool checkUnsafeAssignLiteral	(	Sema &	S,
		SourceLocation	Loc,
		Expr *	RHS,
		bool	isProperty
	)

static

Definition at line 13336 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().

◆ checkUnsafeAssignObject()

static bool checkUnsafeAssignObject	(	Sema &	S,
		SourceLocation	Loc,
		Qualifiers::ObjCLifetime	LT,
		Expr *	RHS,
		bool	isProperty
	)

static

Definition at line 13357 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().

◆ checkVAStartABI()

static bool checkVAStartABI	(	Sema &	S,
		unsigned	BuiltinID,
		Expr *	Fn
	)

static

Check that the user is calling the appropriate va_start builtin for the target and calling convention.

Definition at line 4588 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().

◆ checkVAStartIsInVariadicFunction()

static bool checkVAStartIsInVariadicFunction	(	Sema &	S,
		Expr *	Fn,
		ParmVarDecl **	LastParam = `nullptr`
	)

static

Definition at line 4623 of file SemaChecking.cpp.

References clang::Block, clang::Sema::CurContext, clang::SemaBase::Diag(), clang::FunctionDecl::isVariadic(), and clang::FunctionDecl::parameters().

◆ classifyConstantValue()

static int classifyConstantValue ( Expr * Constant )

static

Definition at line 9933 of file SemaChecking.cpp.

Referenced by CheckTautologicalComparison().

◆ combineFAPK()

static constexpr unsigned short combineFAPK	(	Sema::FormatArgumentPassingKind	A,
		Sema::FormatArgumentPassingKind	B
	)

staticconstexpr

Definition at line 129 of file SemaChecking.cpp.

Referenced by checkFormatStringExpr().

◆ convertArgumentToType()

static bool convertArgumentToType	(	Sema &	S,
		Expr *&	Value,
		QualType	Ty
	)

static

Definition at line 204 of file SemaChecking.cpp.

References clang::Sema::Context, clang::InitializedEntity::InitializeParameter(), clang::Sema::PerformCopyInitialization(), and clang::Result.

Referenced by checkPointerAuthKey(), and checkPointerAuthValue().

◆ CXXRecordMembersNamed()

template<typename MemberKind >

static llvm::SmallPtrSet< MemberKind *, 1 > CXXRecordMembersNamed	(	StringRef	Name,
		Sema &	S,
		QualType	Ty
	)

static

Definition at line 6826 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().

◆ diagnoseArrayStarInParamType()

static void diagnoseArrayStarInParamType	(	Sema &	S,
		QualType	PType,
		SourceLocation	Loc
	)

static

Definition at line 12670 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().

◆ DiagnoseFloatingImpCast()

static void DiagnoseFloatingImpCast	(	Sema &	S,
		Expr *	E,
		QualType	T,
		SourceLocation	CContext
	)

static

Diagnose an implicit cast from a floating point value to an integer value.

Definition at line 10410 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().

◆ DiagnoseImpCast() [1/2]

static void DiagnoseImpCast	(	Sema &	S,
		Expr *	E,
		QualType	SourceType,
		QualType	T,
		SourceLocation	CContext,
		unsigned	diag,
		bool	pruneControlFlow = `false`
	)

static

Diagnose an implicit cast; purely a helper for CheckImplicitConversion.

Definition at line 10388 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().

◆ DiagnoseImpCast() [2/2]

static void DiagnoseImpCast	(	Sema &	S,
		Expr *	E,
		QualType	T,
		SourceLocation	CContext,
		unsigned	diag,
		bool	pruneControlFlow = `false`
	)

static

Diagnose an implicit cast; purely a helper for CheckImplicitConversion.

Definition at line 10403 of file SemaChecking.cpp.

References DiagnoseImpCast(), E, clang::Expr::getType(), and clang::T.

◆ DiagnoseIntInBoolContext()

static void DiagnoseIntInBoolContext	(	Sema &	S,
		Expr *	E
	)

static

Definition at line 10697 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().

◆ DiagnoseNullConversion()

static void DiagnoseNullConversion	(	Sema &	S,
		Expr *	E,
		QualType	T,
		SourceLocation	CC
	)

static

Definition at line 10611 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().

◆ doesExprLikelyComputeSize()

static bool doesExprLikelyComputeSize ( const Expr * SizeofExpr )

static

Detect if SizeofExpr is likely to calculate the sizeof an object.

Definition at line 8544 of file SemaChecking.cpp.

References doesExprLikelyComputeSize(), getAsSizeOfExpr(), and clang::Expr::IgnoreParenImpCasts().

Referenced by CheckMemaccessSize(), and doesExprLikelyComputeSize().

◆ emitReplacement()

static void emitReplacement	(	Sema &	S,
		SourceLocation	Loc,
		SourceRange	Range,
		unsigned	AbsKind,
		QualType	ArgType
	)

static

Definition at line 8110 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().

◆ findConstantBaseAndOffset()

static std::pair< const ValueDecl *, CharUnits > findConstantBaseAndOffset	(	Sema &	S,
		Expr *	E
	)

static

Definition at line 1544 of file SemaChecking.cpp.

References clang::Sema::Context, E, clang::Expr::EvaluateAsRValue(), and clang::Result.

Referenced by checkPointerAuthValue().

◆ FindTypeTagExpr()

static bool FindTypeTagExpr	(	const Expr *	TypeExpr,
		const ASTContext &	Ctx,
		const ValueDecl **	VD,
		uint64_t *	MagicValue,
		bool	isConstantEvaluated
	)

static

Given a type tag expression find the type tag itself.

Parameters

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 13881 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().

◆ getAbsoluteValueArgumentType()

static QualType getAbsoluteValueArgumentType	(	ASTContext &	Context,
		unsigned	AbsType
	)

static

Definition at line 7953 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().

◆ getAbsoluteValueFunctionKind()

static unsigned getAbsoluteValueFunctionKind ( const FunctionDecl * FDecl )

static

Definition at line 8077 of file SemaChecking.cpp.

References clang::FunctionDecl::getBuiltinID(), and clang::NamedDecl::getIdentifier().

◆ getAbsoluteValueKind()

static AbsoluteValueKind getAbsoluteValueKind ( QualType T )

static

Definition at line 8000 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().

◆ getAlignmentAndOffsetFromBinAddOrSub()

static std::optional< std::pair< CharUnits, CharUnits > > getAlignmentAndOffsetFromBinAddOrSub	(	const Expr *	PtrE,
		const Expr *	IntE,
		bool	IsSub,
		ASTContext &	Ctx
	)

static

Compute the alignment and offset of a binary additive operator.

Definition at line 12828 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().

◆ getAndVerifyMatrixDimension()

static std::optional< unsigned > getAndVerifyMatrixDimension	(	Expr *	Expr,
		StringRef	Name,
		Sema &	S
	)

static

Definition at line 14455 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::Expr::getIntegerConstantExpr(), clang::ConstantMatrixType::getMaxElementsPerDimension(), and clang::ConstantMatrixType::isDimensionValid().

◆ getAsSizeOfExpr()

static const UnaryExprOrTypeTraitExpr * getAsSizeOfExpr ( const Expr * E )

static

Definition at line 8428 of file SemaChecking.cpp.

References E.

Referenced by doesExprLikelyComputeSize(), getSizeOfArgType(), and getSizeOfExprArg().

◆ getBaseAlignmentAndOffsetFromLValue()

static std::optional< std::pair< CharUnits, CharUnits > > getBaseAlignmentAndOffsetFromLValue	(	const Expr *	E,
		ASTContext &	Ctx
	)

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 12860 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().

◆ getBaseAlignmentAndOffsetFromPtr()

static std::optional< std::pair< CharUnits, CharUnits > > getBaseAlignmentAndOffsetFromPtr	(	const Expr *	E,
		ASTContext &	Ctx
	)

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 12953 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().

◆ getBestAbsFunction()

static unsigned getBestAbsFunction	(	ASTContext &	Context,
		QualType	ArgType,
		unsigned	AbsFunctionKind
	)

static

Definition at line 7975 of file SemaChecking.cpp.

References getAbsoluteValueArgumentType(), getLargerAbsoluteValueFunction(), clang::ASTContext::getTypeSize(), and clang::ASTContext::hasSameType().

◆ getContainedDynamicClass()

static const CXXRecordDecl * getContainedDynamicClass	(	QualType	T,
		bool &	IsContained
	)

static

Determine whether the given type is or contains a dynamic class type (e.g., whether it has a vtable).

Definition at line 8399 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().

◆ getDerivedToBaseAlignmentAndOffset()

static std::pair< CharUnits, CharUnits > getDerivedToBaseAlignmentAndOffset	(	const CastExpr *	CE,
		QualType	DerivedType,
		CharUnits	BaseAlignment,
		CharUnits	Offset,
		ASTContext &	Ctx
	)

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 12799 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().

◆ GetExprRange() [1/2]

static IntRange GetExprRange	(	ASTContext &	C,
		const Expr *	E,
		bool	InConstantContext,
		bool	Approximate
	)

static

Definition at line 9722 of file SemaChecking.cpp.

References clang::C, E, GetExprRange(), and GetExprType().

◆ GetExprRange() [2/2]

static IntRange GetExprRange	(	ASTContext &	C,
		const Expr *	E,
		unsigned	MaxWidth,
		bool	InConstantContext,
		bool	Approximate
	)

static

Pseudo-evaluate the given integer expression, estimating the range of values it might take.

Parameters

MaxWidth	The width to which the value will be truncated.
Approximate	If `true`, return a likely range for the result: in particular, assume that arithmetic on narrower types doesn't leave those types. If `false`, return a range including all possible result values.

Definition at line 9474 of file SemaChecking.cpp.

References clang::C, E, clang::Expr::EvaluateAsRValue(), GetExprRange(), GetExprType(), clang::Expr::getSourceBitField(), clang::Expr::getType(), GetValueRange(), clang::Expr::IgnoreParens(), clang::Type::isUnsignedIntegerOrEnumerationType(), clang::Type::isVoidType(), log2, clang::T, and clang::Expr::EvalResult::Val.

Referenced by AnalyzeComparison(), clang::Sema::CheckImplicitConversion(), CheckTautologicalComparison(), and GetExprRange().

◆ GetExprType()

static QualType GetExprType ( const Expr * E )

static

Definition at line 9459 of file SemaChecking.cpp.

References E, clang::Type::getAs(), and clang::Expr::getType().

Referenced by GetExprRange().

◆ getIntegerLiteral()

static const IntegerLiteral * getIntegerLiteral ( Expr * E )

static

Definition at line 10685 of file SemaChecking.cpp.

References E.

Referenced by DiagnoseIntInBoolContext().

◆ getLargerAbsoluteValueFunction()

static unsigned getLargerAbsoluteValueFunction ( unsigned AbsFunction )

static

Definition at line 7903 of file SemaChecking.cpp.

Referenced by getBestAbsFunction().

◆ GetMatchingCType()

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
	)

static

Retrieve the C type corresponding to type tag TypeExpr.

Parameters

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.

Returns: true if the corresponding C type was found.

Definition at line 13962 of file SemaChecking.cpp.

References FindTypeTagExpr(), and clang::Decl::getAttr().

◆ getPresumedAlignmentOfPointer()

static CharUnits getPresumedAlignmentOfPointer	(	const Expr *	E,
		Sema &	S
	)

static

Definition at line 13018 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().

◆ getSizeOfArgType()

static QualType getSizeOfArgType ( const Expr * E )

static

If E is a sizeof expression, returns its argument type.

Definition at line 8445 of file SemaChecking.cpp.

References E, getAsSizeOfExpr(), and SizeOf.

◆ getSizeOfExprArg()

static const Expr * getSizeOfExprArg ( const Expr * E )

static

If E is a sizeof expression, returns its argument expression, otherwise returns NULL.

Definition at line 8437 of file SemaChecking.cpp.

References E, getAsSizeOfExpr(), and SizeOf.

◆ getStrlenExprArg()

static const Expr * getStrlenExprArg ( const Expr * E )

static

Definition at line 8930 of file SemaChecking.cpp.

References E, and clang::FunctionDecl::getMemoryFunctionKind().

◆ GetValueRange() [1/2]

static IntRange GetValueRange	(	ASTContext &	C,
		APValue &	result,
		QualType	Ty,
		unsigned	MaxWidth
	)

static

Definition at line 9430 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().

◆ GetValueRange() [2/2]

static IntRange GetValueRange	(	ASTContext &	C,
		llvm::APSInt &	value,
		unsigned	MaxWidth
	)

static

Definition at line 9417 of file SemaChecking.cpp.

Referenced by GetExprRange(), and GetValueRange().

◆ handleFormatSignedness()

static analyze_format_string::ArgType::MatchKind handleFormatSignedness	(	analyze_format_string::ArgType::MatchKind	Match,
		DiagnosticsEngine &	Diags,
		SourceLocation	Loc
	)