SemaChecking.cpp File Reference

#include "CheckExprLifetime.h"
#include "clang/AST/APValue.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/AttrIterator.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/EvaluatedExprVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/FormatString.h"
#include "clang/AST/IgnoreExpr.h"
#include "clang/AST/NSAPI.h"
#include "clang/AST/NonTrivialTypeVisitor.h"
#include "clang/AST/OperationKinds.h"
#include "clang/AST/RecordLayout.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/AST/UnresolvedSet.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/Basic/IdentifierTable.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/OpenCLOptions.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "clang/Basic/SyncScope.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Basic/TypeTraits.h"
#include "clang/Lex/Lexer.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/Lookup.h"
#include "clang/Sema/Ownership.h"
#include "clang/Sema/Scope.h"
#include "clang/Sema/ScopeInfo.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/SemaAMDGPU.h"
#include "clang/Sema/SemaARM.h"
#include "clang/Sema/SemaBPF.h"
#include "clang/Sema/SemaHLSL.h"
#include "clang/Sema/SemaHexagon.h"
#include "clang/Sema/SemaLoongArch.h"
#include "clang/Sema/SemaMIPS.h"
#include "clang/Sema/SemaNVPTX.h"
#include "clang/Sema/SemaObjC.h"
#include "clang/Sema/SemaOpenCL.h"
#include "clang/Sema/SemaPPC.h"
#include "clang/Sema/SemaRISCV.h"
#include "clang/Sema/SemaSystemZ.h"
#include "clang/Sema/SemaWasm.h"
#include "clang/Sema/SemaX86.h"
#include "llvm/ADT/APFloat.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallBitVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/StringSet.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/Support/AtomicOrdering.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ConvertUTF.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/Format.h"
#include "llvm/Support/Locale.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/TargetParser/RISCVTargetParser.h"
#include "llvm/TargetParser/Triple.h"
#include <algorithm>
#include <cassert>
#include <cctype>
#include <cstddef>
#include <cstdint>
#include <functional>
#include <limits>
#include <optional>
#include <string>
#include <tuple>
#include <utility>
#include "clang/Basic/Builtins.inc"

Go to the source code of this file.

Macros
#define	BUILTIN(ID, TYPE, ATTRS)
#define	ATOMIC_BUILTIN(ID, TYPE, ATTRS)
#define	BUILTIN_ROW(x)

Enumerations
enum	AbsoluteValueKind { AVK_Integer , AVK_Floating , AVK_Complex }
enum class	MathCheck { NaN , Inf }

Functions
static constexpr unsigned short	combineFAPK (Sema::FormatArgumentPassingKind A, Sema::FormatArgumentPassingKind B)
static bool	checkBuiltinVerboseTrap (CallExpr *Call, Sema &S)
static bool	convertArgumentToType (Sema &S, Expr *&Value, QualType Ty)
static bool	BuiltinAnnotation (Sema &S, CallExpr *TheCall)
	Check that the first argument to __builtin_annotation is an integer and the second argument is a non-wide string literal.
static bool	BuiltinMSVCAnnotation (Sema &S, CallExpr *TheCall)
static bool	BuiltinAddressof (Sema &S, CallExpr *TheCall)
	Check that the argument to __builtin_addressof is a glvalue, and set the result type to the corresponding pointer type.
static bool	BuiltinFunctionStart (Sema &S, CallExpr *TheCall)
	Check that the argument to __builtin_function_start is a function.
static bool	BuiltinPreserveAI (Sema &S, CallExpr *TheCall)
	Check the number of arguments and set the result type to the argument type.
static bool	BuiltinAlignment (Sema &S, CallExpr *TheCall, unsigned ID)
	Check that the value argument for __builtin_is_aligned(value, alignment) and __builtin_aligned_{up,down}(value, alignment) is an integer or a pointer type (but not a function pointer) and that the alignment is a power-of-two.
static bool	BuiltinOverflow (Sema &S, CallExpr *TheCall, unsigned BuiltinID)
static ExprResult	BuiltinDumpStruct (Sema &S, CallExpr *TheCall)
static bool	BuiltinCallWithStaticChain (Sema &S, CallExpr *BuiltinCall)
static bool	ProcessFormatStringLiteral (const Expr *FormatExpr, StringRef &FormatStrRef, size_t &StrLen, ASTContext &Context)
static bool	BuiltinSEHScopeCheck (Sema &SemaRef, CallExpr *TheCall, Scope::ScopeFlags NeededScopeFlags, unsigned DiagID)
static void	builtinAllocaAddrSpace (Sema &S, CallExpr *TheCall)
static bool	checkPointerAuthEnabled (Sema &S, Expr *E)
static bool	checkPointerAuthKey (Sema &S, Expr *&Arg)
static std::pair< const ValueDecl *, CharUnits >	findConstantBaseAndOffset (Sema &S, Expr *E)
static bool	checkPointerAuthValue (Sema &S, Expr *&Arg, PointerAuthOpKind OpKind, bool RequireConstant=false)
static ExprResult	PointerAuthStrip (Sema &S, CallExpr *Call)
static ExprResult	PointerAuthBlendDiscriminator (Sema &S, CallExpr *Call)
static ExprResult	PointerAuthSignGenericData (Sema &S, CallExpr *Call)
static ExprResult	PointerAuthSignOrAuth (Sema &S, CallExpr *Call, PointerAuthOpKind OpKind, bool RequireConstant)
static ExprResult	PointerAuthAuthAndResign (Sema &S, CallExpr *Call)
static ExprResult	PointerAuthStringDiscriminator (Sema &S, CallExpr *Call)
static ExprResult	BuiltinLaunder (Sema &S, CallExpr *TheCall)
static ExprResult	BuiltinIsWithinLifetime (Sema &S, CallExpr *TheCall)
static bool	CheckBuiltinTargetNotInUnsupported (Sema &S, unsigned BuiltinID, CallExpr *TheCall, ArrayRef< llvm::Triple::ObjectFormatType > UnsupportedObjectFormatTypes)
static bool	CheckBuiltinTargetInSupported (Sema &S, CallExpr *TheCall, ArrayRef< llvm::Triple::ArchType > SupportedArchs)
static void	CheckNonNullArgument (Sema &S, const Expr *ArgExpr, SourceLocation CallSiteLoc)
static bool	checkMathBuiltinElementType (Sema &S, SourceLocation Loc, QualType ArgTy, int ArgIndex)
static bool	checkFPMathBuiltinElementType (Sema &S, SourceLocation Loc, QualType ArgTy, int ArgIndex)
static bool	BuiltinCpu (Sema &S, const TargetInfo &TI, CallExpr *TheCall, const TargetInfo *AuxTI, unsigned BuiltinID)
	BuiltinCpu{Supports|Is} - Handle __builtin_cpu_{supports|is}(char *).
static bool	BuiltinPopcountg (Sema &S, CallExpr *TheCall)
	Checks that __builtin_popcountg was called with a single argument, which is an unsigned integer.
static bool	BuiltinCountZeroBitsGeneric (Sema &S, CallExpr *TheCall)
	Checks that __builtin_{clzg,ctzg} was called with a first argument, which is an unsigned integer, and an optional second argument, which is promoted to an 'int'.
static bool	CheckNonNullExpr (Sema &S, const Expr *Expr)
	Checks if a the given expression evaluates to null.
static bool	isNonNullType (QualType type)
	Determine whether the given type has a non-null nullability annotation.
static void	CheckNonNullArguments (Sema &S, const NamedDecl *FDecl, const FunctionProtoType *Proto, ArrayRef< const Expr * > Args, SourceLocation CallSiteLoc)
static bool	isValidOrderingForOp (int64_t Ordering, AtomicExpr::AtomicOp Op)
static bool	checkBuiltinArgument (Sema &S, CallExpr *E, unsigned ArgIndex)
	checkBuiltinArgument - Given a call to a builtin function, perform normal type-checking on the given argument, updating the call in place.
static bool	checkVAStartABI (Sema &S, unsigned BuiltinID, Expr *Fn)
	Check that the user is calling the appropriate va_start builtin for the target and calling convention.
static bool	checkVAStartIsInVariadicFunction (Sema &S, Expr *Fn, ParmVarDecl **LastParam=nullptr)
static bool	IsShiftedByte (llvm::APSInt Value)
static void	sumOffsets (llvm::APSInt &Offset, llvm::APSInt Addend, BinaryOperatorKind BinOpKind, bool AddendIsRight)
static void	CheckFormatString (Sema &S, const FormatStringLiteral *FExpr, const Expr *OrigFormatExpr, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, Sema::FormatStringType Type, bool inFunctionCall, Sema::VariadicCallType CallType, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, bool IgnoreStringsWithoutSpecifiers)
static const Expr *	maybeConstEvalStringLiteral (ASTContext &Context, const Expr *E)
static StringLiteralCheckType	checkFormatStringExpr (Sema &S, const Expr *E, ArrayRef< const Expr * > Args, Sema::FormatArgumentPassingKind APK, unsigned format_idx, unsigned firstDataArg, Sema::FormatStringType Type, Sema::VariadicCallType CallType, bool InFunctionCall, llvm::SmallBitVector &CheckedVarArgs, UncoveredArgHandler &UncoveredArg, llvm::APSInt Offset, bool IgnoreStringsWithoutSpecifiers=false)
template<typename MemberKind >
static llvm::SmallPtrSet< MemberKind *, 1 >	CXXRecordMembersNamed (StringRef Name, Sema &S, QualType Ty)
static bool	requiresParensToAddCast (const Expr *E)
static std::pair< QualType, StringRef >	shouldNotPrintDirectly (const ASTContext &Context, QualType IntendedTy, const Expr *E)
static bool	isArithmeticArgumentPromotion (Sema &S, const ImplicitCastExpr *ICE)
	Return true if ICE is an implicit argument promotion of an arithmetic type.
static analyze_format_string::ArgType::MatchKind	handleFormatSignedness (analyze_format_string::ArgType::MatchKind Match, DiagnosticsEngine &Diags, SourceLocation Loc)
static unsigned	getLargerAbsoluteValueFunction (unsigned AbsFunction)
static QualType	getAbsoluteValueArgumentType (ASTContext &Context, unsigned AbsType)
static unsigned	getBestAbsFunction (ASTContext &Context, QualType ArgType, unsigned AbsFunctionKind)
static AbsoluteValueKind	getAbsoluteValueKind (QualType T)
static unsigned	changeAbsFunction (unsigned AbsKind, AbsoluteValueKind ValueKind)
static unsigned	getAbsoluteValueFunctionKind (const FunctionDecl *FDecl)
static void	emitReplacement (Sema &S, SourceLocation Loc, SourceRange Range, unsigned AbsKind, QualType ArgType)
template<std::size_t StrLen>
static bool	IsStdFunction (const FunctionDecl *FDecl, const char(&Str)[StrLen])
static bool	IsInfOrNanFunction (StringRef calleeName, MathCheck Check)
static bool	CheckMemorySizeofForComparison (Sema &S, const Expr *E, IdentifierInfo *FnName, SourceLocation FnLoc, SourceLocation RParenLoc)
	Takes the expression passed to the size_t parameter of functions such as memcmp, strncat, etc and warns if it's a comparison.
static const CXXRecordDecl *	getContainedDynamicClass (QualType T, bool &IsContained)
	Determine whether the given type is or contains a dynamic class type (e.g., whether it has a vtable).
static const UnaryExprOrTypeTraitExpr *	getAsSizeOfExpr (const Expr *E)
static const Expr *	getSizeOfExprArg (const Expr *E)
	If E is a sizeof expression, returns its argument expression, otherwise returns NULL.
static QualType	getSizeOfArgType (const Expr *E)
	If E is a sizeof expression, returns its argument type.
static bool	doesExprLikelyComputeSize (const Expr *SizeofExpr)
	Detect if SizeofExpr is likely to calculate the sizeof an object.
static bool	isArgumentExpandedFromMacro (SourceManager &SM, SourceLocation CallLoc, SourceLocation ArgLoc)
	Check if the ArgLoc originated from a macro passed to the call at CallLoc.
static void	CheckMemaccessSize (Sema &S, unsigned BId, const CallExpr *Call)
	Diagnose cases like 'memset(buf, sizeof(buf), 0)', which should have the last two arguments transposed.
static const Expr *	ignoreLiteralAdditions (const Expr *Ex, ASTContext &Ctx)
static bool	isConstantSizeArrayWithMoreThanOneElement (QualType Ty, ASTContext &Context)
static bool	referToTheSameDecl (const Expr *E1, const Expr *E2)
	Check if two expressions refer to the same declaration.
static const Expr *	getStrlenExprArg (const Expr *E)
static IntRange	GetValueRange (ASTContext &C, llvm::APSInt &value, unsigned MaxWidth)
static IntRange	GetValueRange (ASTContext &C, APValue &result, QualType Ty, unsigned MaxWidth)
static QualType	GetExprType (const Expr *E)
static std::optional< IntRange >	TryGetExprRange (ASTContext &C, const Expr *E, unsigned MaxWidth, bool InConstantContext, bool Approximate)
	Attempts to estimate an approximate range for the given integer expression.
static std::optional< IntRange >	TryGetExprRange (ASTContext &C, const Expr *E, bool InConstantContext, bool Approximate)
static bool	IsSameFloatAfterCast (const llvm::APFloat &value, const llvm::fltSemantics &Src, const llvm::fltSemantics &Tgt)
	Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics.
static bool	IsSameFloatAfterCast (const APValue &value, const llvm::fltSemantics &Src, const llvm::fltSemantics &Tgt)
	Checks whether the given value, which currently has the given source semantics, has the same value when coerced through the target semantics.
static void	AnalyzeImplicitConversions (Sema &S, Expr *OrigE, SourceLocation CC, bool IsListInit)
	AnalyzeImplicitConversions - Find and report any interesting implicit conversions in the given expression.
static bool	IsEnumConstOrFromMacro (Sema &S, Expr *E)
static bool	isKnownToHaveUnsignedValue (Expr *E)
static bool	HasEnumType (Expr *E)
static int	classifyConstantValue (Expr *Constant)
static bool	CheckTautologicalComparison (Sema &S, BinaryOperator *E, Expr *Constant, Expr *Other, const llvm::APSInt &Value, bool RhsConstant)
static void	AnalyzeImpConvsInComparison (Sema &S, BinaryOperator *E)
	Analyze the operands of the given comparison.
static void	AnalyzeComparison (Sema &S, BinaryOperator *E)
	Implements -Wsign-compare.
static bool	AnalyzeBitFieldAssignment (Sema &S, FieldDecl *Bitfield, Expr *Init, SourceLocation InitLoc)
	Analyzes an attempt to assign the given value to a bitfield.
static void	AnalyzeAssignment (Sema &S, BinaryOperator *E)
	Analyze the given simple or compound assignment for warning-worthy operations.
static void	DiagnoseImpCast (Sema &S, Expr *E, QualType SourceType, QualType T, SourceLocation CContext, unsigned diag, bool pruneControlFlow=false)
	Diagnose an implicit cast; purely a helper for CheckImplicitConversion.
static void	DiagnoseImpCast (Sema &S, Expr *E, QualType T, SourceLocation CContext, unsigned diag, bool pruneControlFlow=false)
	Diagnose an implicit cast; purely a helper for CheckImplicitConversion.
static void	DiagnoseFloatingImpCast (Sema &S, Expr *E, QualType T, SourceLocation CContext)
	Diagnose an implicit cast from a floating point value to an integer value.
static void	AnalyzeCompoundAssignment (Sema &S, BinaryOperator *E)
	Analyze the given compound assignment for the possible losing of floating-point precision.
static std::string	PrettyPrintInRange (const llvm::APSInt &Value, IntRange Range)
static bool	IsImplicitBoolFloatConversion (Sema &S, Expr *Ex, bool ToBool)
static void	CheckImplicitArgumentConversions (Sema &S, CallExpr *TheCall, SourceLocation CC)
static void	DiagnoseNullConversion (Sema &S, Expr *E, QualType T, SourceLocation CC)
static bool	isSameWidthConstantConversion (Sema &S, Expr *E, QualType T, SourceLocation CC)
static const IntegerLiteral *	getIntegerLiteral (Expr *E)
static void	DiagnoseIntInBoolContext (Sema &S, Expr *E)
static void	CheckConditionalOperator (Sema &S, AbstractConditionalOperator *E, SourceLocation CC, QualType T)
static void	CheckConditionalOperand (Sema &S, Expr *E, QualType T, SourceLocation CC, bool &ICContext)
static void	CheckBoolLikeConversion (Sema &S, Expr *E, SourceLocation CC)
	Check conversion of given expression to boolean.
static void	AnalyzeImplicitConversions (Sema &S, AnalyzeImplicitConversionsWorkItem Item, llvm::SmallVectorImpl< AnalyzeImplicitConversionsWorkItem > &WorkList)
	Data recursive variant of AnalyzeImplicitConversions.
static bool	CheckForReference (Sema &SemaRef, const Expr *E, const PartialDiagnostic &PD)
static bool	IsInAnyMacroBody (const SourceManager &SM, SourceLocation Loc)
static void	diagnoseArrayStarInParamType (Sema &S, QualType PType, SourceLocation Loc)
static std::optional< std::pair< CharUnits, CharUnits > >	getBaseAlignmentAndOffsetFromPtr (const Expr *E, ASTContext &Ctx)
	This helper function takes a pointer expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.
static std::pair< CharUnits, CharUnits >	getDerivedToBaseAlignmentAndOffset (const CastExpr *CE, QualType DerivedType, CharUnits BaseAlignment, CharUnits Offset, ASTContext &Ctx)
	Compute the alignment and offset of the base class object given the derived-to-base cast expression and the alignment and offset of the derived class object.
static std::optional< std::pair< CharUnits, CharUnits > >	getAlignmentAndOffsetFromBinAddOrSub (const Expr *PtrE, const Expr *IntE, bool IsSub, ASTContext &Ctx)
	Compute the alignment and offset of a binary additive operator.
static std::optional< std::pair< CharUnits, CharUnits > >	getBaseAlignmentAndOffsetFromLValue (const Expr *E, ASTContext &Ctx)
	This helper function takes an lvalue expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.
static CharUnits	getPresumedAlignmentOfPointer (const Expr *E, Sema &S)
static bool	checkUnsafeAssignLiteral (Sema &S, SourceLocation Loc, Expr *RHS, bool isProperty)
static bool	checkUnsafeAssignObject (Sema &S, SourceLocation Loc, Qualifiers::ObjCLifetime LT, Expr *RHS, bool isProperty)
static bool	ShouldDiagnoseEmptyStmtBody (const SourceManager &SourceMgr, SourceLocation StmtLoc, const NullStmt *Body)
static bool	isLayoutCompatible (const ASTContext &C, QualType T1, QualType T2)
	Check if two types are layout-compatible in C++11 sense.
static bool	isLayoutCompatible (const ASTContext &C, const EnumDecl *ED1, const EnumDecl *ED2)
	Check if two enumeration types are layout-compatible.
static bool	isLayoutCompatible (const ASTContext &C, const FieldDecl *Field1, const FieldDecl *Field2, bool AreUnionMembers=false)
	Check if two fields are layout-compatible.
static bool	isLayoutCompatibleStruct (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2)
	Check if two standard-layout structs are layout-compatible.
static bool	isLayoutCompatibleUnion (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2)
	Check if two standard-layout unions are layout-compatible.
static bool	isLayoutCompatible (const ASTContext &C, const RecordDecl *RD1, const RecordDecl *RD2)
static bool	FindTypeTagExpr (const Expr *TypeExpr, const ASTContext &Ctx, const ValueDecl **VD, uint64_t *MagicValue, bool isConstantEvaluated)
	Given a type tag expression find the type tag itself.
static bool	GetMatchingCType (const IdentifierInfo *ArgumentKind, const Expr *TypeExpr, const ASTContext &Ctx, const llvm::DenseMap< Sema::TypeTagMagicValue, Sema::TypeTagData > *MagicValues, bool &FoundWrongKind, Sema::TypeTagData &TypeInfo, bool isConstantEvaluated)
	Retrieve the C type corresponding to type tag TypeExpr.
static bool	IsSameCharType (QualType T1, QualType T2)
static std::optional< unsigned >	getAndVerifyMatrixDimension (Expr *Expr, StringRef Name, Sema &S)

Macro Definition Documentation

ATOMIC_BUILTIN

#define ATOMIC_BUILTIN	(		ID,
			TYPE,
			ATTRS
	)

Value:

  case Builtin::BI##ID:                                                        \
    return AtomicOpsOverloaded(TheCallResult, AtomicExpr::AO##ID);

BUILTIN

#define BUILTIN	(		ID,
			TYPE,
			ATTRS
	)

BUILTIN_ROW

#define BUILTIN_ROW

(

x

)

Value:

  { Builtin::BI##x##_1, Builtin::BI##x##_2, Builtin::BI##x##_4, \
    Builtin::BI##x##_8, Builtin::BI##x##_16 }

Enumeration Type Documentation

AbsoluteValueKind

enum AbsoluteValueKind

Enumerator
AVK_Integer
AVK_Floating
AVK_Complex

Definition at line 8224 of file SemaChecking.cpp.

MathCheck

enum class MathCheck

strong

Enumerator
NaN
Inf

Definition at line 8435 of file SemaChecking.cpp.

Function Documentation

AnalyzeAssignment()

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

static

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

Definition at line 10686 of file SemaChecking.cpp.

References AnalyzeBitFieldAssignment(), AnalyzeImplicitConversions(), clang::SemaBase::Diag(), E, clang::Stmt::getBeginLoc(), clang::Expr::getSourceBitField(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), and clang::Type::isAtomicType().

Referenced by AnalyzeImplicitConversions().

AnalyzeBitFieldAssignment()

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

static

Analyzes an attempt to assign the given value to a bitfield.

Returns true if there was something fishy about the attempt.

Definition at line 10547 of file SemaChecking.cpp.

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

Referenced by AnalyzeAssignment().

AnalyzeComparison()

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

static

Implements -Wsign-compare.

Parameters

E	the binary operator to check for warnings

Definition at line 10426 of file SemaChecking.cpp.

References AnalyzeImpConvsInComparison(), AnalyzeImplicitConversions(), bool, CheckTautologicalComparison(), clang::Sema::Context, clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::getIntegerConstantExpr(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::hasSignedIntegerRepresentation(), clang::Type::hasUnsignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::isConstantEvaluatedContext(), clang::Type::isIntegralType(), clang::Expr::isValueDependent(), clang::Other, clang::SemaBase::PDiag(), clang::T, and TryGetExprRange().

Referenced by AnalyzeImplicitConversions().

AnalyzeCompoundAssignment()

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

static

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

Definition at line 10846 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), clang::SemaBase::Diag(), DiagnoseImpCast(), E, clang::Type::getAs(), clang::Sema::getASTContext(), clang::Expr::getExprLoc(), clang::ASTContext::getFloatingTypeSemanticOrder(), clang::Expr::getType(), clang::Type::isAtomicType(), clang::BuiltinType::isFloatingPoint(), clang::SourceManager::isInSystemMacro(), and clang::Sema::SourceMgr.

Referenced by AnalyzeImplicitConversions().

AnalyzeImpConvsInComparison()

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

static

Analyze the operands of the given comparison.

Implements the fallback case from AnalyzeComparison.

Definition at line 10418 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), and E.

Referenced by AnalyzeComparison().

AnalyzeImplicitConversions() [1/2]

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

static

Data recursive variant of AnalyzeImplicitConversions.

Subexpressions that should be visited are added to WorkList.

Definition at line 11614 of file SemaChecking.cpp.

References AnalyzeAssignment(), AnalyzeComparison(), AnalyzeCompoundAssignment(), clang::Call, CheckBoolLikeConversion(), CheckConditionalOperator(), CheckImplicitArgumentConversions(), clang::Sema::CheckImplicitConversion(), clang::Stmt::children(), clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), E, clang::Stmt::getBeginLoc(), clang::BinaryOperator::getExprLoc(), clang::Expr::getExprLoc(), clang::Sema::getLangOpts(), clang::BinaryOperator::getLHS(), clang::Lexer::getLocForEndOfToken(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::Lexer::getSourceText(), clang::CharSourceRange::getTokenRange(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isAtomicType(), clang::Type::isBooleanType(), clang::BinaryOperator::isLogicalOp(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), clang::Type::isVoidType(), SM, and clang::T.

AnalyzeImplicitConversions() [2/2]

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

static

AnalyzeImplicitConversions - Find and report any interesting implicit conversions in the given expression.

There are a couple of competing diagnostics here, -Wconversion and -Wsign-compare.

Definition at line 11795 of file SemaChecking.cpp.

References AnalyzeImplicitConversions().

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

BuiltinAddressof()

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

static

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

Definition at line 264 of file SemaChecking.cpp.

References clang::Sema::CheckAddressOfOperand(), clang::Sema::checkArgCount(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::QualType::isNull(), clang::CallExpr::setArg(), and clang::Expr::setType().

BuiltinAlignment()

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

static

Check that the value argument for __builtin_is_aligned(value, alignment) and __builtin_aligned_{up,down}(value, alignment) is an integer or a pointer type (but not a function pointer) and that the alignment is a power-of-two.

Definition at line 314 of file SemaChecking.cpp.

References clang::ASTContext::BoolTy, clang::Type::canDecayToPointerType(), clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::Expr::EvaluateAsInt(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::ASTContext::getDecayedType(), clang::Expr::getExprLoc(), clang::APValue::getInt(), clang::ASTContext::getIntWidth(), clang::Expr::getType(), clang::InitializedEntity::InitializeParameter(), clang::Type::isArrayType(), clang::Type::isFunctionPointerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isPointerType(), clang::Expr::isValueDependent(), clang::Sema::PerformCopyInitialization(), clang::Expr::SE_AllowSideEffects, clang::CallExpr::setArg(), clang::Expr::setType(), toString(), and clang::Expr::EvalResult::Val.

builtinAllocaAddrSpace()

static void builtinAllocaAddrSpace ( Sema &  S, CallExpr *  TheCall  )

static

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

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

static

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

Definition at line 214 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Type::isIntegerType(), and clang::Expr::setType().

BuiltinCallWithStaticChain()

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

static

Definition at line 786 of file SemaChecking.cpp.

References clang::Call, clang::Sema::checkArgCount(), clang::Sema::Context, clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::CallExpr::getCallee(), clang::ASTContext::getFunctionType(), clang::ASTContext::getPointerType(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Expr::IgnoreImpCasts(), clang::Sema::ImpCastExprToType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isPointerType(), clang::CallExpr::setArg(), clang::CallExpr::setCallee(), clang::Expr::setObjectKind(), clang::Expr::setType(), clang::Expr::setValueKind(), and clang::Sema::UsualUnaryConversions().

BuiltinCountZeroBitsGeneric()

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

static

Checks that __builtin_{clzg,ctzg} was called with a first argument, which is an unsigned integer, and an optional second argument, which is promoted to an 'int'.

Definition at line 2064 of file SemaChecking.cpp.

References clang::Sema::checkArgCountRange(), clang::Sema::DefaultLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Stmt::getBeginLoc(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Type::isSpecificBuiltinType(), clang::Type::isUnsignedIntegerType(), clang::CallExpr::setArg(), and clang::Sema::UsualUnaryConversions().

BuiltinCpu()

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

static

BuiltinCpu{Supports|Is} - Handle __builtin_cpu_{supports|is}(char *).

This checks that the target supports the builtin and that the string argument is constant and valid.

Definition at line 1996 of file SemaChecking.cpp.

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

BuiltinDumpStruct()

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

static

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

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

static

Check that the argument to __builtin_function_start is a function.

Definition at line 279 of file SemaChecking.cpp.

References clang::Sema::checkAddressOfFunctionIsAvailable(), clang::Sema::checkArgCount(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Expr::getAsBuiltinConstantDeclRef(), clang::Sema::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getSourceRange(), clang::ActionResult< PtrTy, Compress >::isInvalid(), and clang::CallExpr::setArg().

BuiltinIsWithinLifetime()

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

static

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

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

static

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

BuiltinMSVCAnnotation()

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

static

Definition at line 240 of file SemaChecking.cpp.

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

BuiltinOverflow()

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

static

Definition at line 392 of file SemaChecking.cpp.

References clang::Sema::checkArgCount(), clang::Sema::DefaultFunctionArrayLvalueConversion(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Sema::getASTContext(), clang::Stmt::getBeginLoc(), clang::Expr::getExprLoc(), clang::Lexer::getImmediateMacroName(), clang::ASTContext::getIntWidth(), clang::Sema::getLangOpts(), clang::Type::getPointeeType(), clang::Sema::getSourceManager(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::isIntegerType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), P, and clang::CallExpr::setArg().

BuiltinPopcountg()

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

static

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

Definition at line 2040 of file SemaChecking.cpp.

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

BuiltinPreserveAI()

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

static

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

Definition at line 303 of file SemaChecking.cpp.

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

BuiltinSEHScopeCheck()

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

static

Definition at line 1452 of file SemaChecking.cpp.

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

changeAbsFunction()

static unsigned changeAbsFunction ( unsigned  AbsKind, AbsoluteValueKind  ValueKind  )

static

Definition at line 8243 of file SemaChecking.cpp.

References AVK_Complex, AVK_Floating, and AVK_Integer.

CheckBoolLikeConversion()

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

static

Check conversion of given expression to boolean.

Input argument E is a logical expression.

Definition at line 11593 of file SemaChecking.cpp.

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

Referenced by AnalyzeImplicitConversions().

checkBuiltinArgument()

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

static

checkBuiltinArgument - Given a call to a builtin function, perform normal type-checking on the given argument, updating the call in place.

This is useful when a builtin function requires custom type-checking for some of its arguments but not necessarily all of them.

Returns true on error.

Definition at line 4230 of file SemaChecking.cpp.

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

CheckBuiltinTargetInSupported()

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

static

Definition at line 1897 of file SemaChecking.cpp.

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

CheckBuiltinTargetNotInUnsupported()

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

static

Definition at line 1881 of file SemaChecking.cpp.

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

checkBuiltinVerboseTrap()

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

static

Definition at line 171 of file SemaChecking.cpp.

References clang::Call, clang::Sema::Context, clang::SemaBase::Diag(), clang::Stmt::getBeginLoc(), clang::Stmt::getSourceRange(), clang::Expr::isValueDependent(), and clang::Expr::tryEvaluateString().

CheckConditionalOperand()

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

static

Definition at line 11541 of file SemaChecking.cpp.

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

Referenced by CheckConditionalOperator().

CheckConditionalOperator()

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

static

Definition at line 11556 of file SemaChecking.cpp.

References AnalyzeImplicitConversions(), CheckConditionalOperand(), clang::Sema::CheckImplicitConversion(), DiagnoseIntInBoolContext(), clang::Sema::Diags, E, clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isBooleanType(), clang::DiagnosticsEngine::isIgnored(), and clang::T.

Referenced by AnalyzeImplicitConversions(), and CheckConditionalOperand().

CheckFormatString()

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

static

Definition at line 8038 of file SemaChecking.cpp.

References clang::Sema::Context, clang::Sema::FST_FreeBSDKPrintf, clang::Sema::FST_Kprintf, clang::Sema::FST_NSString, clang::Sema::FST_OSLog, clang::Sema::FST_OSTrace, clang::Sema::FST_Printf, clang::Sema::FST_Scanf, clang::Sema::FST_Syslog, clang::ASTContext::getAsConstantArrayType(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::ASTContext::getTargetInfo(), clang::analyze_format_string::parseFormatStringHasFormattingSpecifiers(), clang::analyze_format_string::ParsePrintfString(), clang::analyze_format_string::ParseScanfString(), clang::SemaBase::PDiag(), and clang::T.

Referenced by checkFormatStringExpr().

checkFormatStringExpr()

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

static

Definition at line 5879 of file SemaChecking.cpp.

References clang::Sema::FormatStringInfo::ArgPassingKind, clang::C, CheckFormatString(), checkFormatStringExpr(), combineFAPK(), clang::Sema::Context, D, E, clang::Expr::EvaluateAsInt(), clang::Sema::FAPK_Fixed, clang::Sema::FAPK_VAList, clang::Sema::FAPK_Variadic, clang::Sema::FormatStringInfo::FormatIdx, clang::CallExpr::getArg(), clang::Type::getAs(), clang::ASTContext::getAsArrayType(), clang::Sema::getASTContext(), clang::FunctionDecl::getBuiltinID(), clang::CallExpr::getCalleeDecl(), clang::DeclRefExpr::getDecl(), clang::Sema::getFormatStringInfo(), clang::Sema::GetFormatStringType(), clang::Decl::getFunctionType(), clang::NamedDecl::getIdentifier(), clang::APValue::getInt(), clang::StringLiteral::getLength(), clang::BinaryOperator::getLHS(), clang::UnaryOperator::getOpcode(), clang::BinaryOperator::getOpcode(), clang::Type::getPointeeType(), clang::BinaryOperator::getRHS(), clang::Stmt::getStmtClass(), clang::StringLiteral::getString(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Expr::IgnoreParenCasts(), clang::Init, clang::BinaryOperator::isAdditiveOp(), clang::QualType::isConstant(), clang::Sema::isConstantEvaluatedContext(), clang::Expr::isNullPointerConstant(), clang::Type::isObjCObjectPointerType(), clang::IdentifierInfo::isStr(), clang::Expr::isTypeDependent(), clang::Expr::isValueDependent(), maybeConstEvalStringLiteral(), clang::Expr::NPC_ValueDependentIsNotNull, clang::Result, clang::Expr::SE_NoSideEffects, clang::Decl::specific_attrs(), sumOffsets(), clang::T, and clang::Expr::EvalResult::Val.

Referenced by checkFormatStringExpr().

CheckForReference()

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

static

Definition at line 11805 of file SemaChecking.cpp.

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

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

checkFPMathBuiltinElementType()

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

static

Definition at line 1979 of file SemaChecking.cpp.

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

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

CheckImplicitArgumentConversions()

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

static

Definition at line 10911 of file SemaChecking.cpp.

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

Referenced by AnalyzeImplicitConversions().

checkMathBuiltinElementType()

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

static

Definition at line 1968 of file SemaChecking.cpp.

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

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

CheckMemaccessSize()

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

static

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

Definition at line 8836 of file SemaChecking.cpp.

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

CheckMemorySizeofForComparison()

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

static

Takes the expression passed to the size_t parameter of functions such as memcmp, strncat, etc and warns if it's a comparison.

This is to catch typos like if (memcmp(&a, &b, sizeof(a) > 0)).

Definition at line 8625 of file SemaChecking.cpp.

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

CheckNonNullArgument()

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

static

Definition at line 3078 of file SemaChecking.cpp.

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

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

CheckNonNullArguments()

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

static

Definition at line 3095 of file SemaChecking.cpp.

References CheckNonNullArgument(), E, clang::FunctionProtoType::getParamTypes(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Decl::hasAttr(), clang::Sema::isConstantEvaluatedContext(), isNonNullType(), clang::Sema::isValidPointerAttrType(), clang::NonNull, clang::FunctionDecl::parameters(), clang::ast_matchers::pointerType, clang::Decl::specific_attrs(), and clang::ast_matchers::type.

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

CheckNonNullExpr()

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

static

Checks if a the given expression evaluates to null.

Returns true if the value evaluates to null.

Definition at line 3048 of file SemaChecking.cpp.

References clang::Sema::Context, clang::Expr::EvaluateAsBooleanCondition(), clang::Type::getAsUnionType(), clang::RecordType::getDecl(), clang::Type::getNullability(), clang::Expr::getType(), clang::Decl::hasAttr(), clang::IgnoreElidableImplicitConstructorSingleStep(), clang::IgnoreExprNodes(), clang::Expr::IgnoreImplicit(), clang::IgnoreImplicitAsWrittenSingleStep(), clang::Expr::isValueDependent(), clang::NonNull, and clang::Result.

Referenced by CheckNonNullArgument().

checkPointerAuthEnabled()

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

static

Definition at line 1506 of file SemaChecking.cpp.

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

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

checkPointerAuthKey()

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

static

Definition at line 1510 of file SemaChecking.cpp.

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

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

checkPointerAuthValue()

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

static

Definition at line 1564 of file SemaChecking.cpp.

References clang::Call, clang::Sema::CheckPlaceholderExpr(), clang::Sema::Context, convertArgumentToType(), clang::SemaBase::Diag(), findConstantBaseAndOffset(), clang::ActionResult< PtrTy, Compress >::get(), clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::getUIntPtrType(), clang::QualType::getUnqualifiedType(), clang::Expr::hasPlaceholderType(), clang::Expr::IgnoreParens(), Integer, clang::Invalid, clang::Type::isIntegralOrUnscopedEnumerationType(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isNullPointerConstant(), clang::Type::isNullPtrType(), clang::Type::isPointerType(), clang::Expr::NPC_ValueDependentIsNull, Pointer, and clang::ASTContext::VoidPtrTy.

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

CheckTautologicalComparison()

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

static

Definition at line 10262 of file SemaChecking.cpp.

References clang::ASTContext::CharTy, classifyConstantValue(), clang::Sema::Context, Diag(), clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), E, clang::Type::getAs(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::Expr::getType(), HasEnumType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::Type::isBooleanType(), clang::Sema::isConstantEvaluatedContext(), IsEnumConstOrFromMacro(), clang::Type::isEnumeralType(), isKnownToHaveUnsignedValue(), clang::Type::isSpecificBuiltinType(), clang::SemaObjC::NSAPIObj, clang::Sema::ObjC(), clang::Other, clang::SemaBase::PDiag(), clang::Result, TryGetExprRange(), and clang::QualType::withoutLocalFastQualifiers().

Referenced by AnalyzeComparison().

checkUnsafeAssignLiteral()

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

static

Definition at line 13674 of file SemaChecking.cpp.

References clang::SemaObjC::CheckLiteralKind(), clang::SemaBase::Diag(), clang::Stmt::getSourceRange(), clang::Expr::IgnoreParenImpCasts(), clang::SemaObjC::LK_None, clang::SemaObjC::LK_String, Loc, and clang::Sema::ObjC().

Referenced by checkUnsafeAssignObject().

checkUnsafeAssignObject()

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

static

Definition at line 13695 of file SemaChecking.cpp.

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

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

checkVAStartABI()

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

static

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

Definition at line 4711 of file SemaChecking.cpp.

References clang::Type::castAs(), clang::CC_C, clang::CC_Win64, clang::CC_X86_64SysV, clang::Sema::Context, clang::SemaBase::Diag(), clang::Sema::getCurFunctionDecl(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), and clang::ValueDecl::getType().

checkVAStartIsInVariadicFunction()

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

static

Definition at line 4746 of file SemaChecking.cpp.

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

classifyConstantValue()

static int classifyConstantValue ( Expr *  Constant )

static

Definition at line 10248 of file SemaChecking.cpp.

Referenced by CheckTautologicalComparison().

combineFAPK()

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

staticconstexpr

Definition at line 123 of file SemaChecking.cpp.

Referenced by checkFormatStringExpr().

convertArgumentToType()

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

static

Definition at line 198 of file SemaChecking.cpp.

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

Referenced by checkPointerAuthKey(), and checkPointerAuthValue().

CXXRecordMembersNamed()

template<typename MemberKind >

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

static

Definition at line 7055 of file SemaChecking.cpp.

References clang::LookupResult::begin(), clang::Sema::Context, clang::ast_matchers::decl, E, clang::LookupResult::end(), clang::IdentifierTable::get(), clang::Type::getAs(), clang::RecordType::getDecl(), clang::CXXRecordDecl::getDefinition(), clang::ASTContext::Idents, clang::Sema::LookupMemberName, clang::Sema::LookupQualifiedName(), and clang::LookupResult::suppressDiagnostics().

diagnoseArrayStarInParamType()

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

static

Definition at line 13008 of file SemaChecking.cpp.

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

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

DiagnoseFloatingImpCast()

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

static

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

Definition at line 10731 of file SemaChecking.cpp.

References clang::SemaObjC::adornBoolConversionDiagWithTernaryFixit(), clang::Sema::Context, clang::SemaBase::Diag(), DiagnoseImpCast(), clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::EvaluateAsFloat(), clang::Expr::getExprLoc(), clang::ASTContext::getIntWidth(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::Type::hasUnsignedIntegerRepresentation(), clang::Expr::IgnoreParenImpCasts(), clang::Sema::inTemplateInstantiation(), clang::SemaObjC::isSignedCharBool(), clang::Type::isSpecificBuiltinType(), clang::Sema::ObjC(), clang::SemaBase::PDiag(), clang::Result, clang::Expr::SE_AllowSideEffects, and clang::T.

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

DiagnoseImpCast() [1/2]

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

static

Diagnose an implicit cast; purely a helper for CheckImplicitConversion.

Definition at line 10709 of file SemaChecking.cpp.

References clang::SemaBase::Diag(), clang::Sema::DiagRuntimeBehavior(), E, clang::Expr::getExprLoc(), clang::Stmt::getSourceRange(), clang::SemaBase::PDiag(), and clang::T.

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

DiagnoseImpCast() [2/2]

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

static

Diagnose an implicit cast; purely a helper for CheckImplicitConversion.

Definition at line 10724 of file SemaChecking.cpp.

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

DiagnoseIntInBoolContext()

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

static

Definition at line 11018 of file SemaChecking.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), E, clang::Expr::EvaluateAsInt(), clang::Expr::getExprLoc(), getIntegerLiteral(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isSignedIntegerType(), clang::Expr::isValueDependent(), clang::Result, and clang::Expr::SE_AllowSideEffects.

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

DiagnoseNullConversion()

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

static

Definition at line 10932 of file SemaChecking.cpp.

References clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::Sema::Diags, E, clang::SourceRange::getBegin(), clang::CharSourceRange::getBegin(), clang::Expr::getExprLoc(), clang::SourceManager::getFileID(), clang::Sema::getFixItZeroLiteralForType(), clang::SourceManager::getImmediateExpansionRange(), clang::Lexer::getImmediateMacroNameForDiagnostics(), clang::Sema::getLangOpts(), clang::Stmt::getSourceRange(), clang::SourceManager::getTopMacroCallerLoc(), clang::Expr::getType(), clang::Expr::IgnoreParenImpCasts(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::DiagnosticsEngine::isIgnored(), clang::SourceLocation::isMacroID(), clang::Type::isMemberPointerType(), clang::Type::isNullPtrType(), clang::Type::isScalarType(), Loc, clang::Sema::SourceMgr, and clang::T.

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

doesExprLikelyComputeSize()

static bool doesExprLikelyComputeSize ( const Expr *  SizeofExpr )

static

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

Definition at line 8800 of file SemaChecking.cpp.

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

Referenced by CheckMemaccessSize(), and doesExprLikelyComputeSize().

emitReplacement()

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

static

Definition at line 8340 of file SemaChecking.cpp.

References clang::ASTContext::BuiltinInfo, clang::Sema::Context, clang::FixItHint::CreateReplacement(), clang::SemaBase::Diag(), clang::LookupResult::empty(), clang::IdentifierTable::get(), getAbsoluteValueKind(), clang::FunctionDecl::getBuiltinID(), clang::Sema::getCurScope(), clang::LookupResult::getFoundDecl(), clang::Builtin::Context::getHeaderName(), clang::Sema::getLangOpts(), clang::Builtin::Context::getName(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), clang::Sema::getStdNamespace(), clang::ValueDecl::getType(), clang::ASTContext::getTypeSize(), clang::ASTContext::Idents, clang::Type::isAnyComplexType(), clang::Type::isIntegralOrEnumerationType(), clang::Type::isRealFloatingType(), clang::LookupResult::isSingleResult(), Loc, clang::Sema::LookupAnyName, clang::Sema::LookupName(), clang::Sema::LookupQualifiedName(), Range, Std, and clang::LookupResult::suppressDiagnostics().

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

findConstantBaseAndOffset()

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

static

Definition at line 1550 of file SemaChecking.cpp.

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

Referenced by checkPointerAuthValue().

FindTypeTagExpr()

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

static

Given a type tag expression find the type tag itself.

Parameters

TypeExpr	Type tag expression, as it appears in user's code.
VD	Declaration of an identifier that appears in a type tag.
MagicValue	Type tag magic value.
isConstantEvaluated	whether the evalaution should be performed in constant context.

Definition at line 14193 of file SemaChecking.cpp.

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

Referenced by GetMatchingCType().

getAbsoluteValueArgumentType()

static QualType getAbsoluteValueArgumentType ( ASTContext &  Context, unsigned  AbsType  )

static

Definition at line 8183 of file SemaChecking.cpp.

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

Referenced by getBestAbsFunction().

getAbsoluteValueFunctionKind()

static unsigned getAbsoluteValueFunctionKind ( const FunctionDecl *  FDecl )

static

Definition at line 8307 of file SemaChecking.cpp.

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

getAbsoluteValueKind()

static AbsoluteValueKind getAbsoluteValueKind ( QualType  T )

static

Definition at line 8230 of file SemaChecking.cpp.

References AVK_Complex, AVK_Floating, AVK_Integer, clang::Type::isAnyComplexType(), clang::Type::isIntegralOrEnumerationType(), clang::Type::isRealFloatingType(), and clang::T.

Referenced by emitReplacement().

getAlignmentAndOffsetFromBinAddOrSub()

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

static

Compute the alignment and offset of a binary additive operator.

Definition at line 13166 of file SemaChecking.cpp.

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

Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().

getAndVerifyMatrixDimension()

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

static

Definition at line 14772 of file SemaChecking.cpp.

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

getAsSizeOfExpr()

static const UnaryExprOrTypeTraitExpr * getAsSizeOfExpr ( const Expr *  E )

static

Definition at line 8684 of file SemaChecking.cpp.

References E.

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

getBaseAlignmentAndOffsetFromLValue()

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

static

This helper function takes an lvalue expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.

Definition at line 13198 of file SemaChecking.cpp.

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

Referenced by getBaseAlignmentAndOffsetFromLValue(), and getBaseAlignmentAndOffsetFromPtr().

getBaseAlignmentAndOffsetFromPtr()

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

static

This helper function takes a pointer expression and returns the alignment of a VarDecl and a constant offset from the VarDecl.

Definition at line 13291 of file SemaChecking.cpp.

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

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

getBestAbsFunction()

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

static

Definition at line 8205 of file SemaChecking.cpp.

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

getContainedDynamicClass()

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

static

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

Definition at line 8655 of file SemaChecking.cpp.

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

Referenced by getContainedDynamicClass().

getDerivedToBaseAlignmentAndOffset()

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

static

Compute the alignment and offset of the base class object given the derived-to-base cast expression and the alignment and offset of the derived class object.

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

static QualType GetExprType ( const Expr *  E )

static

Definition at line 9738 of file SemaChecking.cpp.

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

Referenced by TryGetExprRange().

getIntegerLiteral()

static const IntegerLiteral * getIntegerLiteral ( Expr *  E )

static

Definition at line 11006 of file SemaChecking.cpp.

References E.

Referenced by DiagnoseIntInBoolContext().

getLargerAbsoluteValueFunction()

static unsigned getLargerAbsoluteValueFunction ( unsigned  AbsFunction )

static

Definition at line 8133 of file SemaChecking.cpp.

Referenced by getBestAbsFunction().

GetMatchingCType()

static bool GetMatchingCType ( const IdentifierInfo *  ArgumentKind, const Expr *  TypeExpr, const ASTContext &  Ctx, const llvm::DenseMap< Sema::TypeTagMagicValue, Sema::TypeTagData > *  MagicValues, bool &  FoundWrongKind, Sema::TypeTagData &  TypeInfo, bool  isConstantEvaluated  )

static

Retrieve the C type corresponding to type tag TypeExpr.

Parameters

TypeExpr	Expression that specifies a type tag.
MagicValues	Registered magic values.
FoundWrongKind	Set to true if a type tag was found, but of a wrong kind.
TypeInfo	Information about the corresponding C type.
isConstantEvaluated	whether the evalaution should be performed in constant context.

Returns

true if the corresponding C type was found.

Definition at line 14274 of file SemaChecking.cpp.

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

getPresumedAlignmentOfPointer()

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

static

Definition at line 13356 of file SemaChecking.cpp.

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

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

getSizeOfArgType()

static QualType getSizeOfArgType ( const Expr *  E )

static

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

Definition at line 8701 of file SemaChecking.cpp.

References E, getAsSizeOfExpr(), and SizeOf.

getSizeOfExprArg()

static const Expr * getSizeOfExprArg ( const Expr *  E )

static

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

Definition at line 8693 of file SemaChecking.cpp.

References E, getAsSizeOfExpr(), and SizeOf.

getStrlenExprArg()

static const Expr * getStrlenExprArg ( const Expr *  E )

static

Definition at line 9209 of file SemaChecking.cpp.

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

GetValueRange() [1/2]

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

static

Definition at line 9709 of file SemaChecking.cpp.

References clang::C, clang::APValue::getComplexIntImag(), clang::APValue::getComplexIntReal(), clang::APValue::getInt(), GetValueRange(), clang::APValue::getVectorElt(), clang::APValue::getVectorLength(), clang::APValue::isAddrLabelDiff(), clang::APValue::isComplexInt(), clang::APValue::isInt(), clang::APValue::isLValue(), clang::Type::isUnsignedIntegerOrEnumerationType(), and clang::APValue::isVector().

GetValueRange() [2/2]

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

static

Definition at line 9696 of file SemaChecking.cpp.

Referenced by GetValueRange(), and TryGetExprRange().

handleFormatSignedness()

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

static

Definition at line 7453 of file SemaChecking.cpp.

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

HasEnumType()

static bool HasEnumType ( Expr *  E )

static

Definition at line 10236 of file SemaChecking.cpp.

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

Referenced by CheckTautologicalComparison().

ignoreLiteralAdditions()

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

static

Definition at line 9099 of file SemaChecking.cpp.

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

isArgumentExpandedFromMacro()

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

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

Referenced by CheckMemaccessSize().

isArithmeticArgumentPromotion()

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

static bool isConstantSizeArrayWithMoreThanOneElement ( QualType  Ty, ASTContext &  Context  )

static

Definition at line 9121 of file SemaChecking.cpp.

References clang::ASTContext::getAsConstantArrayType(), and clang::Type::isVariableArrayType().

IsEnumConstOrFromMacro()

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

static

Definition at line 10084 of file SemaChecking.cpp.

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

Referenced by CheckTautologicalComparison().

IsImplicitBoolFloatConversion()

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

static

Definition at line 10892 of file SemaChecking.cpp.

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

Referenced by CheckImplicitArgumentConversions().

IsInAnyMacroBody()

static bool IsInAnyMacroBody ( const SourceManager &  SM, SourceLocation  Loc  )

static

Definition at line 11838 of file SemaChecking.cpp.

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

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

IsInfOrNanFunction()

static bool IsInfOrNanFunction ( StringRef  calleeName, MathCheck  Check  )

static

Definition at line 8436 of file SemaChecking.cpp.

isKnownToHaveUnsignedValue()

static bool isKnownToHaveUnsignedValue ( Expr *  E )

static

Definition at line 10105 of file SemaChecking.cpp.

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

Referenced by CheckTautologicalComparison().

isLayoutCompatible() [1/4]

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

static

Check if two enumeration types are layout-compatible.

Definition at line 14008 of file SemaChecking.cpp.

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

isLayoutCompatible() [2/4]

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

References clang::C, clang::FieldDecl::getBitWidthValue(), clang::Decl::getMaxAlignment(), clang::FieldDecl::getParent(), clang::ValueDecl::getType(), clang::TypeDecl::getTypeForDecl(), clang::Decl::hasAttr(), clang::FieldDecl::isBitField(), isLayoutCompatible(), clang::Type::isStructureOrClassType(), and clang::Type::isUnionType().

isLayoutCompatible() [3/4]

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

static

Definition at line 14107 of file SemaChecking.cpp.

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

isLayoutCompatible() [4/4]

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

static

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

Definition at line 14119 of file SemaChecking.cpp.

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

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

isLayoutCompatibleStruct()

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

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

Referenced by isLayoutCompatible().

isLayoutCompatibleUnion()

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

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

Referenced by isLayoutCompatible().

isNonNullType()

static bool isNonNullType ( QualType  type )

static

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

Definition at line 3088 of file SemaChecking.cpp.

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

Referenced by CheckNonNullArguments().

IsSameCharType()

static bool IsSameCharType ( QualType  T1, QualType  T2  )

static

Definition at line 14331 of file SemaChecking.cpp.

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

IsSameFloatAfterCast() [1/2]

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

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

IsSameFloatAfterCast() [2/2]

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

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

isSameWidthConstantConversion()

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

static

Definition at line 10982 of file SemaChecking.cpp.

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

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

IsShiftedByte()

static bool IsShiftedByte ( llvm::APSInt  Value )

static

Definition at line 5527 of file SemaChecking.cpp.

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

IsStdFunction()

template<std::size_t StrLen>

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

static

Definition at line 8423 of file SemaChecking.cpp.

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

isValidOrderingForOp()

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

static

Definition at line 3607 of file SemaChecking.cpp.

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

maybeConstEvalStringLiteral()

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

static

Definition at line 6242 of file SemaChecking.cpp.

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

Referenced by checkFormatStringExpr().

PointerAuthAuthAndResign()

static ExprResult PointerAuthAuthAndResign ( Sema &  S, CallExpr *  Call  )

static

Definition at line 1747 of file SemaChecking.cpp.

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

PointerAuthBlendDiscriminator()

static ExprResult PointerAuthBlendDiscriminator ( Sema &  S, CallExpr *  Call  )

static

Definition at line 1704 of file SemaChecking.cpp.

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

PointerAuthSignGenericData()

static ExprResult PointerAuthSignGenericData ( Sema &  S, CallExpr *  Call  )

static

Definition at line 1717 of file SemaChecking.cpp.

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

PointerAuthSignOrAuth()

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

static

Definition at line 1730 of file SemaChecking.cpp.

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

PointerAuthStringDiscriminator()

static ExprResult PointerAuthStringDiscriminator ( Sema &  S, CallExpr *  Call  )

static

Definition at line 1763 of file SemaChecking.cpp.

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

PointerAuthStrip()

static ExprResult PointerAuthStrip ( Sema &  S, CallExpr *  Call  )

static

Definition at line 1691 of file SemaChecking.cpp.

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

PrettyPrintInRange()

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

static

Definition at line 10882 of file SemaChecking.cpp.

References Range, and toString().

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

ProcessFormatStringLiteral()

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

static

Definition at line 1115 of file SemaChecking.cpp.

References clang::ASTContext::getAsConstantArrayType(), and clang::T.

referToTheSameDecl()

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

static

Check if two expressions refer to the same declaration.

Definition at line 9202 of file SemaChecking.cpp.

requiresParensToAddCast()

static bool requiresParensToAddCast ( const Expr *  E )

static

Definition at line 7336 of file SemaChecking.cpp.

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

ShouldDiagnoseEmptyStmtBody()

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

static

Definition at line 13794 of file SemaChecking.cpp.

References clang::SourceManager::getPresumedLineNumber(), clang::NullStmt::getSemiLoc(), clang::SourceManager::getSpellingLineNumber(), and clang::NullStmt::hasLeadingEmptyMacro().

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

shouldNotPrintDirectly()

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

static

Definition at line 7373 of file SemaChecking.cpp.

References E, clang::Type::getAs(), clang::ASTContext::getNSIntegerType(), clang::ASTContext::getNSUIntegerType(), clang::ASTContext::IntTy, clang::QualType::isNull(), shouldNotPrintDirectly(), and clang::ASTContext::UnsignedIntTy.

Referenced by shouldNotPrintDirectly().

sumOffsets()

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

static

Definition at line 5770 of file SemaChecking.cpp.

References sumOffsets().

Referenced by checkFormatStringExpr(), and sumOffsets().

TryGetExprRange() [1/2]

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

static

Definition at line 10036 of file SemaChecking.cpp.

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

TryGetExprRange() [2/2]

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

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

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