SemaChecking.cpp File Reference

#include "CheckExprLifetime.h"
#include "clang/AST/APValue.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTDiagnostic.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/TemplateName.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeBase.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/UnresolvedSet.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/DiagnosticSema.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/SemaDirectX.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/SemaSYCL.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/STLForwardCompat.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.

Classes
class	RotateIntegerConverter

Macros
#define	ATOMIC_BUILTIN(ID, TYPE, ATTRS)
#define	HIP_ATOMIC_FIXABLE(hip, scoped)
#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	checkBuiltinInferAllocToken (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	PointerAuthAuthLoadRelativeAndSign (Sema &S, CallExpr *Call)
static ExprResult	PointerAuthStringDiscriminator (Sema &S, CallExpr *Call)
static ExprResult	GetVTablePointer (Sema &S, CallExpr *Call)
static ExprResult	BuiltinLaunder (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinIsWithinLifetime (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinTriviallyRelocate (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	isValidMathElementType (QualType T)
static bool	checkMathBuiltinElementType (Sema &S, SourceLocation Loc, QualType ArgTy, Sema::EltwiseBuiltinArgTyRestriction ArgTyRestr, int ArgOrdinal)
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	BuiltinBswapg (Sema &S, CallExpr *TheCall)
	Checks that __builtin_bswapg was called with a single argument, which is an unsigned integer, and overrides the return value type to the integer type.
static bool	BuiltinBitreverseg (Sema &S, CallExpr *TheCall)
	Checks that __builtin_bitreverseg was called with a single argument, which is an integer.
static bool	BuiltinPopcountg (Sema &S, CallExpr *TheCall)
	Checks that __builtin_popcountg was called with a single argument, which is an unsigned integer.
static bool	BuiltinStdCBuiltin (Sema &S, CallExpr *TheCall, QualType ReturnType)
	Checks the __builtin_stdc_* builtins that take a single unsigned integer argument and return either int, bool, or the argument type.
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	BuiltinRotateGeneric (Sema &S, CallExpr *TheCall)
	Checks that __builtin_stdc_rotate_{left,right} was called with two arguments, that the first argument is an unsigned integer type, and that the second argument is an integer type.
static bool	CheckMaskedBuiltinArgs (Sema &S, Expr *MaskArg, Expr *PtrArg, unsigned Pos, bool AllowConst, bool AllowAS)
static bool	ConvertMaskedBuiltinArgs (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinMaskedLoad (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinMaskedStore (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinMaskedGather (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinMaskedScatter (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinInvoke (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinVectorMathConversions (Sema &S, Expr *E)
static QualType	getVectorElementType (ASTContext &Context, QualType VecTy)
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 void	DiagnoseDeprecatedHIPAtomic (Sema &S, SourceRange ExprRange, MultiExprArg Args, AtomicExpr::AtomicOp Op)
	Deprecate __hip_atomic_* builtins in favour of __scoped_atomic_* equivalents.
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 StringLiteral *ReferenceFormatString, const Expr *OrigFormatExpr, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, FormatStringType Type, bool inFunctionCall, VariadicCallType CallType, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, bool IgnoreStringsWithoutSpecifiers)
static const Expr *	maybeConstEvalStringLiteral (ASTContext &Context, const Expr *E)
static StringLiteralCheckType	checkFormatStringExpr (Sema &S, const StringLiteral *ReferenceFormatString, const Expr *E, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, FormatStringType Type, VariadicCallType CallType, bool InFunctionCall, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, llvm::APSInt Offset, std::optional< unsigned > *CallerFormatParamIdx=nullptr, bool IgnoreStringsWithoutSpecifiers=false)
static bool	CheckMissingFormatAttribute (Sema *S, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, StringLiteral *ReferenceFormatString, unsigned FormatIdx, unsigned FirstDataArg, FormatStringType FormatType, unsigned CallerParamIdx, SourceLocation Loc)
static bool	isInvalidOSLogArgTypeForCodeGen (FormatStringType FSType, QualType T)
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 bool	CompareFormatSpecifiers (Sema &S, const StringLiteral *Ref, ArrayRef< EquatableFormatArgument > RefArgs, const StringLiteral *Fmt, ArrayRef< EquatableFormatArgument > FmtArgs, const Expr *FmtExpr, bool InFunctionCall)
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	IsInfinityFunction (const FunctionDecl *FDecl)
static bool	CheckMemorySizeofForComparison (Sema &S, const Expr *E, const 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 (llvm::APSInt &value, unsigned MaxWidth)
static IntRange	GetValueRange (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, const Expr *E)
static bool	isKnownToHaveUnsignedValue (const Expr *E)
static bool	HasEnumType (const 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, const 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, const 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, const 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, const Expr *Ex, bool ToBool)
static void	CheckImplicitArgumentConversions (Sema &S, const 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	DiagnoseMixedUnicodeImplicitConversion (Sema &S, const Type *Source, const Type *Target, Expr *E, QualType T, SourceLocation CC)
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	CheckCommaOperand (Sema &S, Expr *E, QualType T, SourceLocation CC, bool ExtraCheckForImplicitConversion, llvm::SmallVectorImpl< AnalyzeImplicitConversionsWorkItem > &WorkList)
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 bool	checkBuiltinVectorMathMixedEnums (Sema &S, Expr *LHS, Expr *RHS, SourceLocation Loc)
static bool	checkBuiltinVectorMathArgTypes (Sema &SemaRef, ArrayRef< Expr * > Args)
	Check if all arguments have the same type.
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_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 }

HIP_ATOMIC_FIXABLE

#define HIP_ATOMIC_FIXABLE	(		hip,
			scoped )

Value:

  case AtomicExpr::AO__hip_atomic_##hip:                                       \
    OldName = "__hip_atomic_" #hip;                                            \
    NewName = "__scoped_atomic_" #scoped;                                      \
    CanFixIt = true;                                                           \
    break;

Referenced by DiagnoseDeprecatedHIPAtomic().

Enumeration Type Documentation

AbsoluteValueKind

enum AbsoluteValueKind

Enumerator
AVK_Integer
AVK_Floating
AVK_Complex

Definition at line 10092 of file SemaChecking.cpp.

MathCheck

enum class MathCheck

strong

Enumerator
NaN
Inf

Definition at line 10303 of file SemaChecking.cpp.

Function Documentation

AnalyzeAssignment()

void AnalyzeAssignment ( Sema & S, BinaryOperator * E )

static

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

Definition at line 12651 of file SemaChecking.cpp.

References AnalyzeBitFieldAssignment(), AnalyzeImplicitConversions(), clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOperatorLoc(), clang::BinaryOperator::getRHS(), clang::Expr::getSourceBitField(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::InOverflowBehaviorAssignmentContext, and clang::Type::isAtomicType().

Referenced by AnalyzeImplicitConversions().

AnalyzeBitFieldAssignment()

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

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::Sema::findMacroSpelling(), clang::Type::getAsEnumDecl(), clang::Decl::getAttr(), clang::Stmt::getBeginLoc(), clang::FieldDecl::getBitWidth(), clang::FieldDecl::getBitWidthValue(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::TypeLoc::getSourceRange(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::TypeSourceInfo::getTypeLoc(), clang::DeclaratorDecl::getTypeSourceInfo(), clang::DeclaratorDecl::getTypeSpecStartLoc(), clang::Init, clang::FieldDecl::isBitField(), clang::Type::isBooleanType(), clang::SourceManager::isInSystemMacro(), clang::Decl::isInvalidDecl(), clang::Type::isSignedIntegerOrEnumerationType(), clang::Type::isSignedIntegerType(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Sema::LangOpts, clang::Expr::SE_AllowSideEffects, clang::Sema::SourceMgr, and toString().

Referenced by AnalyzeAssignment().

AnalyzeComparison()

void AnalyzeComparison ( Sema & S, BinaryOperator * E )

static

Implements -Wsign-compare.

Parameters

E	the binary operator to check for warnings

Definition at line 12371 of file SemaChecking.cpp.

References AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), bool, CheckTautologicalComparison(), clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), clang::Expr::getIntegerConstantExpr(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOperatorLoc(), clang::BinaryOperator::getRHS(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::hasSignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::isConstantEvaluatedContext(), clang::BinaryOperator::isEqualityOp(), clang::Expr::isValueDependent(), clang::Other, clang::SemaBase::PDiag(), and TryGetExprRange().

Referenced by AnalyzeImplicitConversions().

AnalyzeCompoundAssignment()

void AnalyzeCompoundAssignment ( Sema & S, BinaryOperator * E )

static

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

Definition at line 12823 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), clang::cast(), clang::SemaBase::Diag(), DiagnoseImpCast(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::BinaryOperator::getExprLoc(), clang::ASTContext::getFloatingTypeSemanticOrder(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOperatorLoc(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::isa(), clang::Type::isAtomicType(), clang::BuiltinType::isFloatingPoint(), clang::SourceManager::isInSystemMacro(), and clang::Sema::SourceMgr.

Referenced by AnalyzeImplicitConversions().

AnalyzeImpConvsInComparison()

void AnalyzeImpConvsInComparison ( Sema & S, BinaryOperator * E )

static

Analyze the operands of the given comparison.

Implements the fallback case from AnalyzeComparison.

Definition at line 12363 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOperatorLoc(), and clang::BinaryOperator::getRHS().

Referenced by AnalyzeComparison().

AnalyzeImplicitConversions() [1/2]

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.

Analyze the given comma operator. The basic idea behind the analysis is to analyze the left and right operands slightly differently. The left operand needs to check whether the operand itself has an implicit conversion, but not whether the left operand induces an implicit conversion for the entire comma expression itself. This is similar to how CheckConditionalOperand behaves; it's as-if the correct operand were directly used for the implicit conversion check.

Definition at line 13740 of file SemaChecking.cpp.

References AnalyzeAssignment(), AnalyzeComparison(), AnalyzeCompoundAssignment(), clang::Call, CheckBoolLikeConversion(), CheckCommaOperand(), CheckConditionalOperator(), CheckImplicitArgumentConversions(), clang::Sema::CheckImplicitConversion(), clang::Stmt::children(), clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), 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::isa(), clang::Type::isAtomicType(), clang::BinaryOperator::isLogicalOp(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Type::isVoidType(), and SM.

AnalyzeImplicitConversions() [2/2]

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

References AnalyzeImplicitConversions().

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

BuiltinAddressof()

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

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 323 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::isFloatingType(), clang::Type::isFunctionPointerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isMemberPointerType(), 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.

builtinAllocaAddrSpace()

void builtinAllocaAddrSpace ( Sema & S, CallExpr * TheCall )

static

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

BuiltinAnnotation()

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

BuiltinBitreverseg()

bool BuiltinBitreverseg ( Sema & S, CallExpr * TheCall )

static

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

Definition at line 2317 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::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isTypeDependent(), clang::CallExpr::setArg(), and clang::Expr::setType().

BuiltinBswapg()

bool BuiltinBswapg ( Sema & S, CallExpr * TheCall )

static

Checks that __builtin_bswapg was called with a single argument, which is an unsigned integer, and overrides the return value type to the integer type.

Definition at line 2283 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::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isTypeDependent(), clang::CallExpr::setArg(), and clang::Expr::setType().

BuiltinCallWithStaticChain()

bool BuiltinCallWithStaticChain ( Sema & S, CallExpr * BuiltinCall )

static

Definition at line 801 of file SemaChecking.cpp.

References clang::Call, clang::cast(), 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::isa(), 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().

BuiltinCountZeroBitsGeneric()

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 2407 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::Type::isExtVectorBoolType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isSpecificBuiltinType(), clang::Type::isUnsignedIntegerType(), clang::CallExpr::setArg(), and clang::Sema::UsualUnaryConversions().

BuiltinCpu()

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

References clang::cast(), clang::SemaBase::Diag(), Feature, clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::CallExpr::getEndLoc(), clang::Stmt::getSourceRange(), clang::TargetInfo::getTriple(), clang::Expr::IgnoreParenImpCasts(), clang::isa(), clang::TargetInfo::supportsCpuIs(), clang::TargetInfo::supportsCpuSupports(), clang::TargetInfo::validateCpuIs(), and clang::TargetInfo::validateCpuSupports().

BuiltinDumpStruct()

ExprResult BuiltinDumpStruct ( Sema & S, CallExpr * TheCall )

static

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

BuiltinFunctionStart()

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::Expr::containsErrors(), 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().

BuiltinInvoke()

ExprResult BuiltinInvoke ( Sema & S, CallExpr * TheCall )

static

Definition at line 2777 of file SemaChecking.cpp.

References clang::Sema::ActOnBinOp(), clang::Sema::ActOnCallExpr(), clang::Sema::ActOnMemberAccessExpr(), clang::Sema::ActOnUnaryOp(), clang::Sema::BuiltinIsBaseOf(), clang::Sema::BuiltinRemoveCVRef(), clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::IdentifierTable::get(), clang::CallExpr::getArgs(), clang::Type::getAs(), clang::Type::getAsCXXRecordDecl(), clang::DeclarationName::getAsString(), clang::CallExpr::getBeginLoc(), clang::Sema::getCurScope(), clang::NamedDecl::getDeclName(), clang::CallExpr::getNumArgs(), clang::CallExpr::getRParenLoc(), clang::Stmt::getSourceRange(), clang::ASTContext::hasSameType(), clang::ASTContext::Idents, clang::Decl::isInStdNamespace(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isTypeDependent(), and clang::UnqualifiedId::setIdentifier().

BuiltinIsWithinLifetime()

ExprResult BuiltinIsWithinLifetime ( Sema & S, CallExpr * TheCall )

static

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

BuiltinLaunder()

ExprResult BuiltinLaunder ( Sema & S, CallExpr * TheCall )

static

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

BuiltinMaskedGather()

ExprResult BuiltinMaskedGather ( Sema & S, CallExpr * TheCall )

static

Definition at line 2669 of file SemaChecking.cpp.

References clang::ASTContext::BuiltinInfo, clang::Sema::checkArgCountRange(), CheckMaskedBuiltinArgs(), clang::Sema::Context, ConvertMaskedBuiltinArgs(), clang::SemaBase::Diag(), clang::ExprError(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::CallExpr::getBuiltinCallee(), clang::VectorType::getElementType(), clang::Expr::getExprLoc(), clang::ASTContext::getExtVectorType(), clang::CallExpr::getNumArgs(), clang::VectorType::getNumElements(), clang::Type::getPointeeType(), clang::Builtin::Context::getQuotedName(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Type::isExtVectorType(), clang::Type::isIntegerType(), clang::Expr::isTypeDependent(), and clang::Expr::setType().

BuiltinMaskedLoad()

ExprResult BuiltinMaskedLoad ( Sema & S, CallExpr * TheCall )

static

Definition at line 2591 of file SemaChecking.cpp.

References clang::Sema::checkArgCountRange(), CheckMaskedBuiltinArgs(), clang::Sema::Context, ConvertMaskedBuiltinArgs(), clang::SemaBase::Diag(), clang::ExprError(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::CallExpr::getBuiltinCallee(), clang::Expr::getExprLoc(), clang::ASTContext::getExtVectorType(), clang::CallExpr::getNumArgs(), clang::VectorType::getNumElements(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Expr::isTypeDependent(), and clang::Expr::setType().

BuiltinMaskedScatter()

ExprResult BuiltinMaskedScatter ( Sema & S, CallExpr * TheCall )

static

Definition at line 2719 of file SemaChecking.cpp.

References clang::ASTContext::BuiltinInfo, clang::Type::castAs(), clang::Sema::checkArgCount(), CheckMaskedBuiltinArgs(), clang::Sema::Context, ConvertMaskedBuiltinArgs(), clang::SemaBase::Diag(), clang::ExprError(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::CallExpr::getBuiltinCallee(), clang::CallExpr::getDirectCallee(), clang::VectorType::getElementType(), clang::Stmt::getEndLoc(), clang::ASTContext::getExtVectorType(), clang::VectorType::getNumElements(), clang::Type::getPointeeType(), clang::Builtin::Context::getQuotedName(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Type::isExtVectorType(), clang::Type::isIntegerType(), clang::Expr::isTypeDependent(), clang::Expr::setType(), and clang::ASTContext::VoidTy.

BuiltinMaskedStore()

ExprResult BuiltinMaskedStore ( Sema & S, CallExpr * TheCall )

static

Definition at line 2627 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), CheckMaskedBuiltinArgs(), clang::Sema::Context, ConvertMaskedBuiltinArgs(), clang::SemaBase::Diag(), clang::ExprError(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::CallExpr::getBuiltinCallee(), clang::CallExpr::getDirectCallee(), clang::Stmt::getEndLoc(), clang::Expr::getExprLoc(), clang::ASTContext::getExtVectorType(), clang::VectorType::getNumElements(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::ASTContext::hasSameType(), clang::Expr::isTypeDependent(), clang::Type::isVectorType(), clang::Expr::setType(), and clang::ASTContext::VoidTy.

BuiltinMSVCAnnotation()

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

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

static

Definition at line 406 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(), clang::SourceLocation::isMacroID(), and clang::CallExpr::setArg().

BuiltinPopcountg()

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 2343 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::Type::isExtVectorBoolType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isUnsignedIntegerType(), and clang::CallExpr::setArg().

BuiltinPreserveAI()

bool BuiltinPreserveAI ( Sema & S, CallExpr * TheCall )

static

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

Definition at line 312 of file SemaChecking.cpp.

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

BuiltinRotateGeneric()

bool BuiltinRotateGeneric ( Sema & S, CallExpr * TheCall )

static

Checks that __builtin_stdc_rotate_{left,right} was called with two arguments, that the first argument is an unsigned integer type, and that the second argument is an integer type.

Definition at line 2510 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), clang::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isUnsignedIntegerType(), clang::Sema::PerformContextualImplicitConversion(), clang::CallExpr::setArg(), and clang::Expr::setType().

BuiltinSEHScopeCheck()

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

static

Definition at line 1493 of file SemaChecking.cpp.

References clang::cast(), clang::SemaBase::Diag(), clang::CallExpr::getCallee(), clang::Sema::getCurScope(), clang::Expr::getExprLoc(), clang::Scope::getFlags(), clang::Scope::getParent(), clang::Expr::IgnoreParenCasts(), clang::Sema::inTemplateInstantiation(), and clang::Scope::isSEHExceptScope().

BuiltinStdCBuiltin()

bool BuiltinStdCBuiltin ( Sema & S, CallExpr * TheCall, QualType ReturnType )

static

Checks the __builtin_stdc_* builtins that take a single unsigned integer argument and return either int, bool, or the argument type.

Definition at line 2367 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::Sema::Context, clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::ASTContext::getIntWidth(), clang::Expr::getType(), clang::Type::isBooleanType(), clang::Type::isEnumeralType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::QualType::isNull(), clang::Type::isUnsignedIntegerType(), clang::CallExpr::setArg(), clang::Expr::setType(), and clang::ASTContext::UnsignedIntTy.

BuiltinTriviallyRelocate()

ExprResult BuiltinTriviallyRelocate ( Sema & S, CallExpr * TheCall )

static

Definition at line 2039 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ExprError(), clang::CallExpr::getArg(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::QualType::getCanonicalType(), clang::QualType::getCVRQualifiers(), clang::Expr::getExprLoc(), clang::Type::getPointeeType(), clang::ASTContext::getSizeType(), clang::Expr::getType(), clang::Sema::IsCXXTriviallyRelocatableType(), clang::Type::isPointerType(), clang::Sema::RequireCompleteType(), clang::CallExpr::setArg(), clang::Expr::setType(), and clang::Sema::tryConvertExprToType().

BuiltinVectorMathConversions()

ExprResult BuiltinVectorMathConversions ( Sema & S, Expr * E )

static

Definition at line 2872 of file SemaChecking.cpp.

References clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::Sema::UsualUnaryFPConversions().

Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), clang::Sema::BuiltinVectorMath(), and clang::Sema::PrepareBuiltinElementwiseMathOneArgCall().

changeAbsFunction()

unsigned changeAbsFunction ( unsigned AbsKind, AbsoluteValueKind ValueKind )

static

Definition at line 10111 of file SemaChecking.cpp.

References AVK_Complex, AVK_Floating, and AVK_Integer.

CheckBoolLikeConversion()

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

References clang::ASTContext::BoolTy, clang::Sema::CheckImplicitConversion(), clang::Sema::Context, clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isAtomicType().

Referenced by AnalyzeImplicitConversions().

checkBuiltinArgument()

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

References clang::Sema::Context, clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getDirectCallee(), clang::InitializedEntity::InitializeParameter(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Sema::PerformCopyInitialization(), and clang::CallExpr::setArg().

checkBuiltinInferAllocToken()

bool checkBuiltinInferAllocToken ( Sema & S, CallExpr * TheCall )

static

Definition at line 1527 of file SemaChecking.cpp.

References clang::CallExpr::arguments(), clang::Sema::checkArgCountAtLeast(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ASTContext::getSizeType(), clang::Type::isVoidType(), and clang::Expr::setType().

CheckBuiltinTargetInSupported()

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

static

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

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

static

Definition at line 2090 of file SemaChecking.cpp.

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

checkBuiltinVectorMathArgTypes()

bool checkBuiltinVectorMathArgTypes ( Sema & SemaRef, ArrayRef< Expr * > Args )

static

Check if all arguments have the same type.

If the types don't match, emit an error message and return true. Otherwise return false.

For scalars we directly compare their unqualified types. But even if we compare unqualified vector types, a difference in qualifiers in the element types can make the vector types be considered not equal. For example, vector of 4 'const float' values vs vector of 4 'float' values. So we compare unqualified types of their elements and number of elements.

Definition at line 16849 of file SemaChecking.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), and clang::Type::isVectorType().

Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), and clang::Sema::BuiltinVectorMath().

checkBuiltinVectorMathMixedEnums()

bool checkBuiltinVectorMathMixedEnums ( Sema & S, Expr * LHS, Expr * RHS, SourceLocation Loc )

static

Definition at line 16828 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::getEnumCoercedType(), clang::Stmt::getSourceRange(), clang::ASTContext::hasSameUnqualifiedType(), and clang::Type::isUnscopedEnumerationType().

Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), and clang::Sema::BuiltinVectorMath().

checkBuiltinVerboseTrap()

bool checkBuiltinVerboseTrap ( CallExpr * Call, Sema & S )

static

Definition at line 179 of file SemaChecking.cpp.

References clang::Call, clang::Sema::Context, and clang::SemaBase::Diag().

CheckCommaOperand()

void CheckCommaOperand ( Sema & S, Expr * E, QualType T, SourceLocation CC, bool ExtraCheckForImplicitConversion, llvm::SmallVectorImpl< AnalyzeImplicitConversionsWorkItem > & WorkList )

static

Definition at line 13727 of file SemaChecking.cpp.

References clang::Sema::CheckImplicitConversion(), clang::Expr::getType(), and clang::Expr::IgnoreParenImpCasts().

Referenced by AnalyzeImplicitConversions().

CheckConditionalOperand()

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

static

Definition at line 13656 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), CheckConditionalOperator(), clang::Sema::CheckImplicitConversion(), clang::Sema::getLangOpts(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isRecordType(), and clang::Sema::RequireCompleteExprType().

Referenced by CheckConditionalOperator().

CheckConditionalOperator()

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

static

Definition at line 13671 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), CheckConditionalOperand(), clang::Sema::CheckImplicitConversion(), DiagnoseIntInBoolContext(), clang::Sema::Diags, clang::AbstractConditionalOperator::getCond(), clang::AbstractConditionalOperator::getFalseExpr(), clang::AbstractConditionalOperator::getQuestionLoc(), clang::AbstractConditionalOperator::getTrueExpr(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::DiagnosticsEngine::isIgnored().

Referenced by AnalyzeImplicitConversions(), and CheckConditionalOperand().

CheckFormatString()

void CheckFormatString ( Sema & S, const FormatStringLiteral * FExpr, const StringLiteral * ReferenceFormatString, const Expr * OrigFormatExpr, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, FormatStringType Type, bool inFunctionCall, VariadicCallType CallType, llvm::SmallBitVector & CheckedVarArgs, UncoveredArgHandler & UncoveredArg, bool IgnoreStringsWithoutSpecifiers )

static

Definition at line 9828 of file SemaChecking.cpp.

References clang::Sema::CheckFormatStringsCompatible(), clang::Sema::Context, clang::FreeBSDKPrintf, clang::ASTContext::getAsConstantArrayType(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::Kprintf, clang::NSString, clang::OSLog, clang::OSTrace, clang::analyze_format_string::parseFormatStringHasFormattingSpecifiers(), clang::analyze_format_string::ParsePrintfString(), clang::analyze_format_string::ParseScanfString(), clang::SemaBase::PDiag(), clang::Printf, and clang::Scanf.

Referenced by checkFormatStringExpr().

checkFormatStringExpr()

StringLiteralCheckType checkFormatStringExpr ( Sema & S, const StringLiteral * ReferenceFormatString, const Expr * E, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, FormatStringType Type, VariadicCallType CallType, bool InFunctionCall, llvm::SmallBitVector & CheckedVarArgs, UncoveredArgHandler & UncoveredArg, llvm::APSInt Offset, std::optional< unsigned > * CallerFormatParamIdx = nullptr, bool IgnoreStringsWithoutSpecifiers = false )

static

Definition at line 7071 of file SemaChecking.cpp.

References clang::Sema::FormatStringInfo::ArgPassingKind, clang::C, clang::cast(), CheckFormatString(), checkFormatStringExpr(), combineFAPK(), clang::Cond, clang::Sema::Context, clang::SemaBase::Diag(), 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::Stmt::getBeginLoc(), clang::FunctionDecl::getBuiltinID(), clang::CallExpr::getCalleeDecl(), clang::DeclRefExpr::getDecl(), clang::Sema::getFormatStringInfo(), clang::Sema::GetFormatStringType(), clang::Sema::GetFormatStringTypeName(), clang::NamedDecl::getIdentifier(), clang::APValue::getInt(), clang::StringLiteral::getLength(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::StringLiteral::getString(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Init, clang::BinaryOperator::isAdditiveOp(), clang::Sema::isConstantEvaluatedContext(), IsFirst, clang::Expr::isNullPointerConstant(), clang::IdentifierInfo::isStr(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), maybeConstEvalStringLiteral(), clang::Expr::NPC_ValueDependentIsNotNull, clang::Expr::SE_NoSideEffects, sumOffsets(), and clang::Expr::EvalResult::Val.

Referenced by checkFormatStringExpr().

CheckForReference()

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

static

Definition at line 13961 of file SemaChecking.cpp.

References clang::Call, clang::Sema::Context, clang::SemaBase::Diag(), clang::DeclRefExpr::getDecl(), clang::Expr::getExprLoc(), clang::Decl::getLocation(), clang::ValueDecl::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isReferenceType().

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

CheckImplicitArgumentConversions()

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

static

Definition at line 12889 of file SemaChecking.cpp.

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

Referenced by AnalyzeImplicitConversions().

CheckMaskedBuiltinArgs()

bool CheckMaskedBuiltinArgs ( Sema & S, Expr * MaskArg, Expr * PtrArg, unsigned Pos, bool AllowConst, bool AllowAS )

static

Definition at line 2546 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::QualType::getAtomicUnqualifiedType(), clang::Stmt::getBeginLoc(), clang::Expr::getExprLoc(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::Expr::getType(), clang::QualType::hasAddressSpace(), clang::Type::isAtomicType(), clang::QualType::isConstQualified(), clang::Type::isExtVectorBoolType(), and clang::QualType::isVolatileQualified().

Referenced by BuiltinMaskedGather(), BuiltinMaskedLoad(), BuiltinMaskedScatter(), and BuiltinMaskedStore().

checkMathBuiltinElementType()

bool checkMathBuiltinElementType ( Sema & S, SourceLocation Loc, QualType ArgTy, Sema::EltwiseBuiltinArgTyRestriction ArgTyRestr, int ArgOrdinal )

static

Definition at line 2193 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Sema::FloatTy, clang::Type::getAs(), clang::Sema::IntegerTy, clang::Type::isIntegerType(), clang::Type::isMatrixType(), clang::Type::isRealFloatingType(), clang::Type::isSignedIntegerType(), isValidMathElementType(), clang::Type::isVectorType(), clang::Sema::None, and clang::Sema::SignedIntOrFloatTy.

Referenced by clang::Sema::BuiltinElementwiseTernaryMath(), clang::Sema::BuiltinVectorMath(), and clang::Sema::PrepareBuiltinElementwiseMathOneArgCall().

CheckMemaccessSize()

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

References clang::Call, clang::cast(), clang::SemaBase::Diag(), doesExprLikelyComputeSize(), clang::Expr::getExprLoc(), clang::Lexer::getImmediateMacroName(), clang::Sema::getLangOpts(), clang::Sema::getSourceManager(), clang::isa(), isArgumentExpandedFromMacro(), clang::SourceLocation::isMacroID(), and SM.

CheckMemorySizeofForComparison()

bool CheckMemorySizeofForComparison ( Sema & S, const Expr * E, const 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 10508 of file SemaChecking.cpp.

References clang::FixItHint::CreateInsertion(), clang::FixItHint::CreateRemoval(), clang::SemaBase::Diag(), clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), and clang::Sema::getLocForEndOfToken().

CheckMissingFormatAttribute()

bool CheckMissingFormatAttribute ( Sema * S, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, StringLiteral * ReferenceFormatString, unsigned FormatIdx, unsigned FirstDataArg, FormatStringType FormatType, unsigned CallerParamIdx, SourceLocation Loc )

static

Definition at line 7570 of file SemaChecking.cpp.

References clang::Decl::addAttr(), clang::cast(), clang::FixItHint::CreateInsertion(), clang::Sema::CurContext, clang::SemaBase::Diag(), clang::Sema::FAPK_Elsewhere, clang::Sema::FAPK_Fixed, clang::Sema::FAPK_VAList, clang::Sema::FAPK_Variadic, clang::IdentifierTable::get(), clang::Sema::getASTContext(), clang::Decl::getBeginLoc(), clang::Sema::getDiagnostics(), clang::Decl::getEndLoc(), clang::Sema::GetFormatStringTypeName(), clang::getFunctionOrMethodNumParams(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::StringLiteral::getString(), clang::hasImplicitObjectParameter(), clang::ASTContext::Idents, clang::isa(), clang::isFunctionOrMethodVariadic(), and clang::DiagnosticsEngine::isIgnored().

CheckNonNullArgument()

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

static

Definition at line 4065 of file SemaChecking.cpp.

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

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

CheckNonNullArguments()

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

static

Definition at line 4082 of file SemaChecking.cpp.

References clang::cast(), CheckNonNullArgument(), clang::FunctionProtoType::getParamTypes(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::isa(), 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()

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

References clang::Sema::Context, clang::Expr::EvaluateAsBooleanCondition(), clang::Type::getAsUnionType(), clang::Type::getNullability(), clang::Expr::getType(), clang::IgnoreElidableImplicitConstructorSingleStep(), clang::IgnoreExprNodes(), clang::Expr::IgnoreImplicit(), clang::IgnoreImplicitAsWrittenSingleStep(), clang::isa(), clang::Expr::isValueDependent(), and clang::NonNull.

Referenced by CheckNonNullArgument().

checkPointerAuthEnabled()

bool checkPointerAuthEnabled ( Sema & S, Expr * E )

static

Definition at line 1565 of file SemaChecking.cpp.

References clang::Sema::checkPointerAuthEnabled(), clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().

Referenced by PointerAuthAuthAndResign(), PointerAuthAuthLoadRelativeAndSign(), PointerAuthBlendDiscriminator(), PointerAuthSignGenericData(), PointerAuthSignOrAuth(), PointerAuthStringDiscriminator(), and PointerAuthStrip().

checkPointerAuthKey()

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

static

Definition at line 1569 of file SemaChecking.cpp.

References clang::Sema::checkConstantPointerAuthKey(), clang::Sema::Context, convertArgumentToType(), clang::ASTContext::IntTy, and clang::Expr::isValueDependent().

Referenced by PointerAuthAuthAndResign(), PointerAuthAuthLoadRelativeAndSign(), PointerAuthSignOrAuth(), and PointerAuthStrip().

checkPointerAuthValue()

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

static

Definition at line 1665 of file SemaChecking.cpp.

References clang::Call, clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, convertArgumentToType(), clang::SemaBase::Diag(), findConstantBaseAndOffset(), 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::isa(), clang::Type::isIntegralOrUnscopedEnumerationType(), clang::Expr::isNullPointerConstant(), clang::Type::isNullPtrType(), clang::Type::isPointerType(), clang::Expr::NPC_ValueDependentIsNull, Pointer, and clang::ASTContext::VoidPtrTy.

Referenced by PointerAuthAuthAndResign(), PointerAuthAuthLoadRelativeAndSign(), PointerAuthBlendDiscriminator(), PointerAuthSignGenericData(), PointerAuthSignOrAuth(), and PointerAuthStrip().

CheckTautologicalComparison()

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

static

Definition at line 12207 of file SemaChecking.cpp.

References clang::ASTContext::CharTy, classifyConstantValue(), Cmp, Constant, clang::Sema::Context, clang::SemaBase::Diag(), Diag(), clang::Sema::DiagRuntimeBehavior(), clang::Type::getAs(), clang::Sema::getLangOpts(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getOpcodeStr(), clang::BinaryOperator::getOperatorLoc(), clang::BinaryOperator::getRHS(), clang::Stmt::getSourceRange(), HasEnumType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Sema::inTemplateInstantiation(), clang::Type::isBooleanType(), clang::Sema::isConstantEvaluatedContext(), IsEnumConstOrFromMacro(), isKnownToHaveUnsignedValue(), clang::Type::isSpecificBuiltinType(), clang::SemaObjC::NSAPIObj, clang::Sema::ObjC(), clang::Other, clang::SemaBase::PDiag(), TryGetExprRange(), and clang::QualType::withoutLocalFastQualifiers().

Referenced by AnalyzeComparison().

checkUnsafeAssignLiteral()

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

static

Definition at line 15864 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, and clang::Sema::ObjC().

Referenced by checkUnsafeAssignObject().

checkUnsafeAssignObject()

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

static

Definition at line 15885 of file SemaChecking.cpp.

References clang::cast(), checkUnsafeAssignLiteral(), clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), clang::Qualifiers::OCL_ExplicitNone, and clang::Qualifiers::OCL_Weak.

Referenced by clang::Sema::checkUnsafeAssigns(), and clang::Sema::checkUnsafeExprAssigns().

checkVAStartABI()

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 5879 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()

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

static

Definition at line 5914 of file SemaChecking.cpp.

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

classifyConstantValue()

int classifyConstantValue ( Expr * Constant )

static

Definition at line 12193 of file SemaChecking.cpp.

References Constant.

Referenced by CheckTautologicalComparison().

combineFAPK()

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

staticconstexpr

Definition at line 131 of file SemaChecking.cpp.

Referenced by checkFormatStringExpr().

CompareFormatSpecifiers()

bool CompareFormatSpecifiers ( Sema & S, const StringLiteral * Ref, ArrayRef< EquatableFormatArgument > RefArgs, const StringLiteral * Fmt, ArrayRef< EquatableFormatArgument > FmtArgs, const Expr * FmtExpr, bool InFunctionCall )

static

Definition at line 9770 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::StringLiteral::getBeginLoc(), clang::Stmt::getSourceRange(), and clang::SemaBase::PDiag().

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

convertArgumentToType()

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

static

Definition at line 204 of file SemaChecking.cpp.

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

Referenced by checkPointerAuthKey(), and checkPointerAuthValue().

ConvertMaskedBuiltinArgs()

bool ConvertMaskedBuiltinArgs ( Sema & S, CallExpr * TheCall )

static

Definition at line 2575 of file SemaChecking.cpp.

References clang::Sema::Context, clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::ASTContext::DependentTy, clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getNumArgs(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isTypeDependent(), clang::CallExpr::setArg(), and clang::Expr::setType().

Referenced by BuiltinMaskedGather(), BuiltinMaskedLoad(), BuiltinMaskedScatter(), and BuiltinMaskedStore().

CXXRecordMembersNamed()

template<typename MemberKind>

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

static

Definition at line 8779 of file SemaChecking.cpp.

References clang::Sema::Context, clang::ast_matchers::decl, clang::IdentifierTable::get(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::Idents, clang::TagDecl::isBeingDefined(), clang::TagDecl::isCompleteDefinition(), clang::Sema::LookupMemberName, and clang::Sema::LookupQualifiedName().

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

diagnoseArrayStarInParamType()

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

static

Definition at line 15197 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), diagnoseArrayStarInParamType(), clang::ASTContext::getAsArrayType(), clang::ArrayType::getElementType(), clang::ArrayType::getSizeModifier(), clang::Type::isVariablyModifiedType(), and clang::Star.

Referenced by clang::Sema::CheckParmsForFunctionDef(), and diagnoseArrayStarInParamType().

DiagnoseDeprecatedHIPAtomic()

void DiagnoseDeprecatedHIPAtomic ( Sema & S, SourceRange ExprRange, MultiExprArg Args, AtomicExpr::AtomicOp Op )

static

Deprecate __hip_atomic_* builtins in favour of __scoped_atomic_* equivalents.

Provide a fixit when the scope is a compile-time constant and there is a direct mapping from the HIP builtin to a Clang builtin. The compare_exchange builtins differ in how they accept the desired value, so only a warning (without a fixit) is emitted for those.

Definition at line 4680 of file SemaChecking.cpp.

References clang::AtomicScopeHIPModel::Agent, clang::AtomicScopeHIPModel::Cluster, clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::SourceRange::getBegin(), clang::CharSourceRange::getTokenRange(), HIP_ATOMIC_FIXABLE, clang::AtomicScopeHIPModel::SingleThread, clang::AtomicScopeHIPModel::System, clang::AtomicScopeHIPModel::Wavefront, and clang::AtomicScopeHIPModel::Workgroup.

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

DiagnoseFloatingImpCast()

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

static

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

Definition at line 12709 of file SemaChecking.cpp.

References clang::SemaObjC::adornBoolConversionDiagWithTernaryFixit(), clang::Sema::Context, clang::SemaBase::Diag(), DiagnoseImpCast(), clang::Sema::DiagRuntimeBehavior(), clang::Expr::EvaluateAsFloat(), clang::Expr::getExprLoc(), clang::ASTContext::getIntWidth(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::isa(), clang::SemaObjC::isSignedCharBool(), clang::Sema::ObjC(), clang::SemaBase::PDiag(), and clang::Expr::SE_AllowSideEffects.

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

DiagnoseImpCast() [1/2]

void DiagnoseImpCast ( Sema & S, const 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 12679 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), clang::Sema::getASTContext(), clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::QualType::hasAddressSpace(), clang::SemaBase::PDiag(), and clang::ASTContext::removeAddrSpaceQualType().

Referenced by AnalyzeCompoundAssignment(), CheckImplicitArgumentConversions(), clang::Sema::CheckImplicitConversion(), clang::Sema::CheckOverflowBehaviorTypeConversion(), DiagnoseFloatingImpCast(), DiagnoseImpCast(), and DiagnoseMixedUnicodeImplicitConversion().

DiagnoseImpCast() [2/2]

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

static

Diagnose an implicit cast; purely a helper for CheckImplicitConversion.

Definition at line 12702 of file SemaChecking.cpp.

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

DiagnoseIntInBoolContext()

void DiagnoseIntInBoolContext ( Sema & S, Expr * E )

static

Definition at line 12995 of file SemaChecking.cpp.

References clang::Sema::Context, clang::FixItHint::CreateInsertion(), clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::Stmt::getBeginLoc(), clang::Stmt::getEndLoc(), clang::Expr::getExprLoc(), getIntegerLiteral(), clang::Sema::getLocForEndOfToken(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isSignedIntegerType(), clang::Expr::isValueDependent(), and clang::Expr::SE_AllowSideEffects.

Referenced by CheckConditionalOperator(), and clang::Sema::CheckImplicitConversion().

DiagnoseMixedUnicodeImplicitConversion()

void DiagnoseMixedUnicodeImplicitConversion ( Sema & S, const Type * Source, const Type * Target, Expr * E, QualType T, SourceLocation CC )

static

Definition at line 13035 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), DiagnoseImpCast(), clang::Expr::EvaluateAsInt(), clang::FormatUTFCodeUnitAsCodepoint(), clang::Sema::getASTContext(), clang::ASTContext::getIntWidth(), clang::Expr::getType(), clang::QualType::getUnqualifiedType(), clang::Sema::isConstantEvaluatedContext(), and clang::Expr::SE_AllowSideEffects.

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

DiagnoseNullConversion()

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

static

Definition at line 12909 of file SemaChecking.cpp.

References clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::Sema::Diags, clang::CharSourceRange::getBegin(), clang::SourceRange::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::isa(), clang::DiagnosticsEngine::isIgnored(), clang::SourceLocation::isMacroID(), clang::Type::isNullPtrType(), and clang::Sema::SourceMgr.

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

doesExprLikelyComputeSize()

bool doesExprLikelyComputeSize ( const Expr * SizeofExpr )

static

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

Definition at line 10686 of file SemaChecking.cpp.

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

Referenced by CheckMemaccessSize(), and doesExprLikelyComputeSize().

emitReplacement()

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

static

Definition at line 10208 of file SemaChecking.cpp.

References clang::ASTContext::BuiltinInfo, clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::IdentifierTable::get(), getAbsoluteValueKind(), clang::FunctionDecl::getBuiltinID(), clang::Sema::getCurScope(), 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::Sema::LookupAnyName, clang::Sema::LookupName(), and clang::Sema::LookupQualifiedName().

Referenced by clang::syntax::computeReplacements().

findConstantBaseAndOffset()

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

static

Definition at line 1651 of file SemaChecking.cpp.

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

Referenced by checkPointerAuthValue().

FindTypeTagExpr()

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

References clang::cast(), clang::Expr::EvaluateAsBooleanCondition(), clang::AbstractConditionalOperator::getCond(), clang::DeclRefExpr::getDecl(), clang::AbstractConditionalOperator::getFalseExpr(), clang::BinaryOperator::getOpcode(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::AbstractConditionalOperator::getTrueExpr(), clang::APIntStorage::getValue(), clang::Expr::IgnoreParenCasts(), and clang::Expr::IgnoreParenImpCasts().

Referenced by GetMatchingCType().

getAbsoluteValueArgumentType()

QualType getAbsoluteValueArgumentType ( ASTContext & Context, unsigned AbsType )

static

Definition at line 10051 of file SemaChecking.cpp.

References clang::Error, ASTContext::GE_None, clang::Type::getAs(), clang::FunctionProtoType::getNumParams(), and clang::FunctionProtoType::getParamType().

Referenced by getBestAbsFunction().

getAbsoluteValueFunctionKind()

unsigned getAbsoluteValueFunctionKind ( const FunctionDecl * FDecl )

static

Definition at line 10175 of file SemaChecking.cpp.

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

getAbsoluteValueKind()

AbsoluteValueKind getAbsoluteValueKind ( QualType T )

static

Definition at line 10098 of file SemaChecking.cpp.

References AVK_Complex, AVK_Floating, and AVK_Integer.

Referenced by emitReplacement().

getAlignmentAndOffsetFromBinAddOrSub()

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

References getBaseAlignmentAndOffsetFromPtr(), clang::Expr::getIntegerConstantExpr(), clang::Type::getPointeeType(), clang::Expr::getType(), clang::ASTContext::getTypeSizeInChars(), clang::Type::isConstantSizeType(), and clang::CharUnits::Zero().

Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().

getAndVerifyMatrixDimension()

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

static

Definition at line 17021 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Dim, clang::Stmt::getBeginLoc(), clang::Expr::getIntegerConstantExpr(), and clang::ASTContext::getLangOpts().

getAsSizeOfExpr()

const UnaryExprOrTypeTraitExpr * getAsSizeOfExpr ( const Expr * E )

static

Definition at line 10567 of file SemaChecking.cpp.

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

getBaseAlignmentAndOffsetFromLValue()

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

References clang::cast(), clang::CharUnits::fromQuantity(), getAlignmentAndOffsetFromBinAddOrSub(), clang::ASTContext::getASTRecordLayout(), clang::ArraySubscriptExpr::getBase(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), clang::ASTContext::getDeclAlign(), getDerivedToBaseAlignmentAndOffset(), clang::ASTRecordLayout::getFieldOffset(), clang::ArraySubscriptExpr::getIdx(), clang::BinaryOperator::getOpcode(), clang::UnaryOperator::getOpcode(), clang::DeclContext::getParent(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::ValueDecl::getType(), clang::Expr::IgnoreParens(), clang::Type::isReferenceType(), and clang::CharUnits::Zero().

Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().

getBaseAlignmentAndOffsetFromPtr()

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

References clang::cast(), getAlignmentAndOffsetFromBinAddOrSub(), clang::Type::getAsCXXRecordDecl(), clang::ASTContext::getASTRecordLayout(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), getDerivedToBaseAlignmentAndOffset(), clang::BinaryOperator::getLHS(), clang::ASTRecordLayout::getNonVirtualAlignment(), clang::BinaryOperator::getOpcode(), clang::UnaryOperator::getOpcode(), clang::Type::getPointeeType(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Expr::IgnoreParens(), and clang::CharUnits::Zero().

Referenced by getAlignmentAndOffsetFromBinAddOrSub(), getBaseAlignmentAndOffsetFromLValue(), getBaseAlignmentAndOffsetFromPtr(), and getPresumedAlignmentOfPointer().

getBestAbsFunction()

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

static

Definition at line 10073 of file SemaChecking.cpp.

References getAbsoluteValueArgumentType(), and getLargerAbsoluteValueFunction().

getContainedDynamicClass()

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

References clang::RecordDecl::fields(), clang::Type::getAsCXXRecordDecl(), clang::Type::getBaseElementTypeUnsafe(), getContainedDynamicClass(), clang::CXXRecordDecl::getDefinition(), clang::ValueDecl::getType(), clang::CXXRecordDecl::isDynamicClass(), and clang::Decl::isInvalidDecl().

Referenced by getContainedDynamicClass().

getDerivedToBaseAlignmentAndOffset()

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

GetExprType()

QualType GetExprType ( const Expr * E )

static

Definition at line 11640 of file SemaChecking.cpp.

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

Referenced by TryGetExprRange(), and TryGetExprRange().

getIntegerLiteral()

const IntegerLiteral * getIntegerLiteral ( Expr * E )

static

Definition at line 12983 of file SemaChecking.cpp.

Referenced by DiagnoseIntInBoolContext().

getLargerAbsoluteValueFunction()

unsigned getLargerAbsoluteValueFunction ( unsigned AbsFunction )

static

Definition at line 10001 of file SemaChecking.cpp.

Referenced by getBestAbsFunction().

GetMatchingCType()

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

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

getPresumedAlignmentOfPointer()

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

static

Definition at line 15545 of file SemaChecking.cpp.

References clang::Sema::Context, getBaseAlignmentAndOffsetFromPtr(), clang::Type::getPointeeType(), clang::Expr::getType(), and clang::ASTContext::getTypeAlignInChars().

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

getSizeOfArgType()

QualType getSizeOfArgType ( const Expr * E )

static

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

Definition at line 10584 of file SemaChecking.cpp.

References getAsSizeOfExpr(), and SizeOf.

getSizeOfExprArg()

const Expr * getSizeOfExprArg ( const Expr * E )

static

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

Definition at line 10576 of file SemaChecking.cpp.

References getAsSizeOfExpr(), and SizeOf.

getStrlenExprArg()

const Expr * getStrlenExprArg ( const Expr * E )

static

Definition at line 11106 of file SemaChecking.cpp.

References clang::CallExpr::getArg(), clang::CallExpr::getDirectCallee(), clang::FunctionDecl::getMemoryFunctionKind(), and clang::Expr::IgnoreParenCasts().

GetValueRange() [1/2]

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

static

Definition at line 11612 of file SemaChecking.cpp.

References 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]

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

static

Definition at line 11600 of file SemaChecking.cpp.

Referenced by GetValueRange(), and TryGetExprRange().

getVectorElementType()

QualType getVectorElementType ( ASTContext & Context, QualType VecTy )

static

Definition at line 2882 of file SemaChecking.cpp.

References clang::Type::getAs(), clang::Type::getSizelessVectorEltType(), and clang::Type::isSizelessVectorType().

GetVTablePointer()

ExprResult GetVTablePointer ( Sema & S, CallExpr * Call )

static

Definition at line 1908 of file SemaChecking.cpp.

References clang::Call, clang::Type::canDecayToPointerType(), clang::Sema::checkArgCount(), clang::Sema::Context, clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::ASTContext::getDecayedType(), clang::Type::getPointeeCXXRecordDecl(), clang::Type::getPointeeType(), clang::ASTContext::getPointerType(), clang::Expr::getType(), clang::Type::isArrayType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::CXXRecordDecl::isPolymorphic(), clang::Sema::RequireCompleteType(), clang::ASTContext::VoidTy, and clang::CanQual< T >::withConst().

handleFormatSignedness()

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

static

Definition at line 9171 of file SemaChecking.cpp.

References clang::DiagnosticsEngine::isIgnored(), clang::analyze_format_string::ArgType::Match, clang::Match, and clang::analyze_format_string::ArgType::NoMatchSignedness.

HasEnumType()

bool HasEnumType ( const Expr * E )

static

Definition at line 12181 of file SemaChecking.cpp.

References clang::Expr::getType(), and clang::Type::isEnumeralType().

Referenced by CheckTautologicalComparison().

ignoreLiteralAdditions()

const Expr * ignoreLiteralAdditions ( const Expr * Ex, ASTContext & Ctx )

static

Definition at line 10996 of file SemaChecking.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getRHS(), clang::Expr::IgnoreParenCasts(), clang::isa(), and clang::BinaryOperator::isAdditiveOp().

isArgumentExpandedFromMacro()

bool isArgumentExpandedFromMacro ( SourceManager & SM, SourceLocation CallLoc, SourceLocation ArgLoc )

static

Check if the ArgLoc originated from a macro passed to the call at CallLoc.

#define MACRO 0
foo(MACRO);
foo(0);

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

References clang::SourceLocation::isMacroID(), and SM.

Referenced by CheckMemaccessSize().

isArithmeticArgumentPromotion()

bool isArithmeticArgumentPromotion ( Sema & S, const ImplicitCastExpr * ICE )

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

isConstantSizeArrayWithMoreThanOneElement()

bool isConstantSizeArrayWithMoreThanOneElement ( QualType Ty, ASTContext & Context )

static

Definition at line 11018 of file SemaChecking.cpp.

References clang::Type::isVariableArrayType().

IsEnumConstOrFromMacro()

bool IsEnumConstOrFromMacro ( Sema & S, const Expr * E )

static

Definition at line 12030 of file SemaChecking.cpp.

References clang::Stmt::getBeginLoc(), clang::Lexer::getImmediateMacroName(), clang::Sema::getLangOpts(), clang::Sema::getSourceManager(), clang::Expr::IgnoreParenImpCasts(), clang::isa(), and clang::SourceLocation::isMacroID().

Referenced by CheckTautologicalComparison().

IsImplicitBoolFloatConversion()

bool IsImplicitBoolFloatConversion ( Sema & S, const Expr * Ex, bool ToBool )

static

Definition at line 12869 of file SemaChecking.cpp.

References clang::Sema::Context, clang::ASTContext::getCanonicalType(), clang::Expr::getType(), clang::CanQual< T >::getTypePtr(), clang::Expr::IgnoreParenImpCasts(), clang::isa(), and clang::Type::isSpecificBuiltinType().

Referenced by CheckImplicitArgumentConversions().

IsInAnyMacroBody()

bool IsInAnyMacroBody ( const SourceManager & SM, SourceLocation Loc )

static

Definition at line 13994 of file SemaChecking.cpp.

References clang::SourceLocation::isInvalid(), clang::SourceLocation::isMacroID(), and SM.

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

IsInfinityFunction()

bool IsInfinityFunction ( const FunctionDecl * FDecl )

static

Definition at line 10320 of file SemaChecking.cpp.

References clang::Decl::getDeclContext(), clang::NamedDecl::getName(), clang::DeclContext::getParent(), and clang::DeclContext::isStdNamespace().

IsInfOrNanFunction()

bool IsInfOrNanFunction ( StringRef calleeName, MathCheck Check )

static

Definition at line 10304 of file SemaChecking.cpp.

References Inf, and NaN.

isInvalidOSLogArgTypeForCodeGen()

bool isInvalidOSLogArgTypeForCodeGen ( FormatStringType FSType, QualType T )

static

Definition at line 8431 of file SemaChecking.cpp.

References clang::OSLog.

isKnownToHaveUnsignedValue()

bool isKnownToHaveUnsignedValue ( const Expr * E )

static

Definition at line 12050 of file SemaChecking.cpp.

References clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isIntegerType(), and clang::Type::isSignedIntegerType().

Referenced by CheckTautologicalComparison().

isLayoutCompatible() [1/4]

bool isLayoutCompatible ( const ASTContext & C, const EnumDecl * ED1, const EnumDecl * ED2 )

static

Check if two enumeration types are layout-compatible.

Definition at line 16198 of file SemaChecking.cpp.

References clang::C, clang::EnumDecl::getIntegerType(), and clang::EnumDecl::isComplete().

isLayoutCompatible() [2/4]

bool isLayoutCompatible ( const ASTContext & C, const FieldDecl * Field1, const FieldDecl * Field2, bool AreUnionMembers = false )

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

References clang::C, clang::FieldDecl::getBitWidthValue(), clang::Decl::getMaxAlignment(), clang::FieldDecl::getParent(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::FieldDecl::isBitField(), and isLayoutCompatible().

isLayoutCompatible() [3/4]

bool isLayoutCompatible ( const ASTContext & C, const RecordDecl * RD1, const RecordDecl * RD2 )

static

Definition at line 16296 of file SemaChecking.cpp.

References clang::C, isLayoutCompatibleStruct(), isLayoutCompatibleUnion(), and clang::TagDecl::isUnion().

isLayoutCompatible() [4/4]

bool isLayoutCompatible ( const ASTContext & C, QualType T1, QualType T2 )

static

Check if two types are layout-compatible in C++11 sense.

Definition at line 16308 of file SemaChecking.cpp.

References clang::C, clang::Type::castAsEnumDecl(), clang::Type::castAsRecordDecl(), clang::QualType::getCanonicalType(), clang::Type::getTypeClass(), clang::QualType::getUnqualifiedType(), isLayoutCompatible(), clang::QualType::isNull(), and clang::Type::isStandardLayoutType().

Referenced by clang::Sema::IsLayoutCompatible(), isLayoutCompatible(), isLayoutCompatible(), and isLayoutCompatibleUnion().

isLayoutCompatibleStruct()

bool isLayoutCompatibleStruct ( const ASTContext & C, const RecordDecl * RD1, const RecordDecl * RD2 )

static

Check if two standard-layout structs are layout-compatible.

(C++11 [class.mem] p17)

Definition at line 16254 of file SemaChecking.cpp.

References clang::C, and clang::RecordDecl::fields().

Referenced by isLayoutCompatible().

isLayoutCompatibleUnion()

bool isLayoutCompatibleUnion ( const ASTContext & C, const RecordDecl * RD1, const RecordDecl * RD2 )

static

Check if two standard-layout unions are layout-compatible.

(C++11 [class.mem] p18)

Definition at line 16272 of file SemaChecking.cpp.

References clang::C, clang::RecordDecl::fields(), and isLayoutCompatible().

Referenced by isLayoutCompatible().

isNonNullType()

bool isNonNullType ( QualType type )

static

Determine whether the given type has a non-null nullability annotation.

Definition at line 4075 of file SemaChecking.cpp.

References clang::NonNull, and clang::ast_matchers::type.

Referenced by CheckNonNullArguments().

IsSameCharType()

bool IsSameCharType ( QualType T1, QualType T2 )

static

Definition at line 16517 of file SemaChecking.cpp.

References clang::Type::getAs(), and clang::BuiltinType::getKind().

IsSameFloatAfterCast() [1/2]

bool IsSameFloatAfterCast ( const APValue & value, const llvm::fltSemantics & Src, const llvm::fltSemantics & Tgt )

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

References clang::APValue::getComplexFloatImag(), clang::APValue::getComplexFloatReal(), clang::APValue::getFloat(), clang::APValue::getMatrixElt(), clang::APValue::getMatrixNumElements(), clang::APValue::getVectorElt(), clang::APValue::getVectorLength(), clang::APValue::isComplexFloat(), clang::APValue::isFloat(), clang::APValue::isMatrix(), IsSameFloatAfterCast(), and clang::APValue::isVector().

IsSameFloatAfterCast() [2/2]

bool IsSameFloatAfterCast ( const llvm::APFloat & value, const llvm::fltSemantics & Src, const llvm::fltSemantics & Tgt )

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

Referenced by clang::Sema::CheckImplicitConversion(), and IsSameFloatAfterCast().

isSameWidthConstantConversion()

bool isSameWidthConstantConversion ( Sema & S, Expr * E, QualType T, SourceLocation CC )

static

Definition at line 12959 of file SemaChecking.cpp.

References clang::SourceManager::getCharacterData(), clang::Sema::getSourceManager(), clang::Expr::IgnoreParenImpCasts(), and clang::SourceLocation::isValid().

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

IsShiftedByte()

bool IsShiftedByte ( llvm::APSInt Value )

static

Definition at line 6714 of file SemaChecking.cpp.

Referenced by clang::Sema::BuiltinConstantArgShiftedByte(), and clang::Sema::BuiltinConstantArgShiftedByteOrXXFF().

IsStdFunction()

template<std::size_t StrLen>

bool IsStdFunction ( const FunctionDecl * FDecl, const char(&) Str[StrLen] )

static

Definition at line 10291 of file SemaChecking.cpp.

References clang::NamedDecl::getIdentifier(), clang::Decl::isInStdNamespace(), and clang::IdentifierInfo::isStr().

isValidMathElementType()

bool isValidMathElementType ( QualType T )

static

Definition at line 2184 of file SemaChecking.cpp.

Referenced by checkMathBuiltinElementType().

isValidOrderingForOp()

bool isValidOrderingForOp ( int64_t Ordering, AtomicExpr::AtomicOp Op )

static

Definition at line 4628 of file SemaChecking.cpp.

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

maybeConstEvalStringLiteral()

const Expr * maybeConstEvalStringLiteral ( ASTContext & Context, const Expr * E )

static

Definition at line 7480 of file SemaChecking.cpp.

References clang::Expr::EvaluateAsRValue().

Referenced by checkFormatStringExpr().

PointerAuthAuthAndResign()

ExprResult PointerAuthAuthAndResign ( Sema & S, CallExpr * Call )

static

Definition at line 1848 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().

PointerAuthAuthLoadRelativeAndSign()

ExprResult PointerAuthAuthLoadRelativeAndSign ( Sema & S, CallExpr * Call )

static

Definition at line 1864 of file SemaChecking.cpp.

References clang::Call, clang::cast(), clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ExprError(), clang::Stmt::getBeginLoc(), clang::DeclRefExpr::getDecl(), clang::NamedDecl::getDeclName(), clang::Stmt::getSourceRange(), and clang::Expr::isIntegerConstantExpr().

PointerAuthBlendDiscriminator()

ExprResult PointerAuthBlendDiscriminator ( Sema & S, CallExpr * Call )

static

Definition at line 1805 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthValue(), clang::Sema::Context, clang::ExprError(), and clang::ASTContext::getUIntPtrType().

PointerAuthSignGenericData()

ExprResult PointerAuthSignGenericData ( Sema & S, CallExpr * Call )

static

Definition at line 1818 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthValue(), clang::Sema::Context, clang::ExprError(), and clang::ASTContext::getUIntPtrType().

PointerAuthSignOrAuth()

ExprResult PointerAuthSignOrAuth ( Sema & S, CallExpr * Call, PointerAuthOpKind OpKind, bool RequireConstant )

static

Definition at line 1831 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().

PointerAuthStringDiscriminator()

ExprResult PointerAuthStringDiscriminator ( Sema & S, CallExpr * Call )

static

Definition at line 1890 of file SemaChecking.cpp.

References clang::Call, checkPointerAuthEnabled(), clang::SemaBase::Diag(), clang::ExprError(), clang::Expr::getExprLoc(), and clang::Stmt::getSourceRange().

PointerAuthStrip()

ExprResult PointerAuthStrip ( Sema & S, CallExpr * Call )

static

Definition at line 1792 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), checkPointerAuthEnabled(), checkPointerAuthKey(), checkPointerAuthValue(), and clang::ExprError().

PrettyPrintInRange()

std::string PrettyPrintInRange ( const llvm::APSInt & Value, IntRange Range )

static

Definition at line 12859 of file SemaChecking.cpp.

References toString().

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

ProcessFormatStringLiteral()

bool ProcessFormatStringLiteral ( const Expr * FormatExpr, StringRef & FormatStrRef, size_t & StrLen, ASTContext & Context )

static

Definition at line 1133 of file SemaChecking.cpp.

referToTheSameDecl()

bool referToTheSameDecl ( const Expr * E1, const Expr * E2 )

static

Check if two expressions refer to the same declaration.

Definition at line 11099 of file SemaChecking.cpp.

requiresParensToAddCast()

bool requiresParensToAddCast ( const Expr * E )

static

Definition at line 9060 of file SemaChecking.cpp.

References clang::Stmt::getStmtClass(), and clang::Expr::IgnoreImpCasts().

ShouldDiagnoseEmptyStmtBody()

bool ShouldDiagnoseEmptyStmtBody ( const SourceManager & SourceMgr, SourceLocation StmtLoc, const NullStmt * Body )

static

Definition at line 15984 of file SemaChecking.cpp.

References clang::NullStmt::getSemiLoc(), and clang::NullStmt::hasLeadingEmptyMacro().

Referenced by clang::Sema::DiagnoseEmptyLoopBody(), and clang::Sema::DiagnoseEmptyStmtBody().

shouldNotPrintDirectly()

std::pair< QualType, StringRef > shouldNotPrintDirectly ( const ASTContext & Context, QualType IntendedTy, const Expr * E )

static

Definition at line 9097 of file SemaChecking.cpp.

References clang::Type::getAs(), clang::QualType::isNull(), and shouldNotPrintDirectly().

Referenced by shouldNotPrintDirectly().

sumOffsets()

void sumOffsets ( llvm::APSInt & Offset, llvm::APSInt Addend, BinaryOperatorKind BinOpKind, bool AddendIsRight )

static

Definition at line 6961 of file SemaChecking.cpp.

References sumOffsets().

Referenced by checkFormatStringExpr(), and sumOffsets().

TryGetExprRange() [1/2]

std::optional< IntRange > TryGetExprRange ( ASTContext & C, const Expr * E, bool InConstantContext, bool Approximate )

static

Definition at line 11975 of file SemaChecking.cpp.

References clang::C, GetExprType(), and TryGetExprRange().

TryGetExprRange() [2/2]

std::optional< IntRange > TryGetExprRange ( ASTContext & C, const Expr * E, unsigned MaxWidth, bool InConstantContext, bool Approximate )

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.

Parameters

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.

Returns

A range of values that the expression might take, or std::nullopt if a reliable estimation cannot be determined.

Definition at line 11660 of file SemaChecking.cpp.

References clang::C, clang::Expr::EvaluateAsRValue(), GetExprType(), clang::Expr::getSourceBitField(), clang::Expr::getType(), GetValueRange(), clang::Expr::IgnoreParens(), clang::Type::isUnsignedIntegerType(), clang::Type::isVoidType(), log2, TryGetExprRange(), and clang::Expr::EvalResult::Val.

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