clang 19.0.0git
Enumerations | Functions
SemaCast.cpp File Reference
#include "clang/AST/ASTContext.h"
#include "clang/AST/ASTStructuralEquivalence.h"
#include "clang/AST/CXXInheritance.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/RecordLayout.h"
#include "clang/Basic/PartialDiagnostic.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/SemaInternal.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include <set>

Go to the source code of this file.

Enumerations

enum  TryCastResult { TC_NotApplicable , TC_Success , TC_Extension , TC_Failed }
 
enum  CastType {
  CT_Const , CT_Static , CT_Reinterpret , CT_Dynamic ,
  CT_CStyle , CT_Functional , CT_Addrspace
}
 

Functions

static bool isValidCast (TryCastResult TCR)
 
static void DiagnoseCastQual (Sema &Self, const ExprResult &SrcExpr, QualType DestType)
 DiagnoseCastQual - Warn whenever casts discards a qualifiers, be it either const, volatile or both.
 
static TryCastResult TryLValueToRValueCast (Sema &Self, Expr *SrcExpr, QualType DestType, bool CStyle, CastKind &Kind, CXXCastPath &BasePath, unsigned &msg)
 Tests whether a conversion according to N2844 is valid.
 
static TryCastResult TryStaticReferenceDowncast (Sema &Self, Expr *SrcExpr, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
 Tests whether a conversion according to C++ 5.2.9p5 is valid.
 
static TryCastResult TryStaticPointerDowncast (Sema &Self, QualType SrcType, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
 Tests whether a conversion according to C++ 5.2.9p8 is valid.
 
static TryCastResult TryStaticDowncast (Sema &Self, CanQualType SrcType, CanQualType DestType, bool CStyle, SourceRange OpRange, QualType OrigSrcType, QualType OrigDestType, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
 TryStaticDowncast - Common functionality of TryStaticReferenceDowncast and TryStaticPointerDowncast.
 
static TryCastResult TryStaticMemberPointerUpcast (Sema &Self, ExprResult &SrcExpr, QualType SrcType, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
 TryStaticMemberPointerUpcast - Tests whether a conversion according to C++ 5.2.9p9 is valid:
 
static TryCastResult TryStaticImplicitCast (Sema &Self, ExprResult &SrcExpr, QualType DestType, CheckedConversionKind CCK, SourceRange OpRange, unsigned &msg, CastKind &Kind, bool ListInitialization)
 TryStaticImplicitCast - Tests whether a conversion according to C++ 5.2.9p2 is valid:
 
static TryCastResult TryStaticCast (Sema &Self, ExprResult &SrcExpr, QualType DestType, CheckedConversionKind CCK, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath, bool ListInitialization)
 TryStaticCast - Check if a static cast can be performed, and do so if possible.
 
static TryCastResult TryConstCast (Sema &Self, ExprResult &SrcExpr, QualType DestType, bool CStyle, unsigned &msg)
 TryConstCast - See if a const_cast from source to destination is allowed, and perform it if it is.
 
static TryCastResult TryReinterpretCast (Sema &Self, ExprResult &SrcExpr, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind)
 
static TryCastResult TryAddressSpaceCast (Sema &Self, ExprResult &SrcExpr, QualType DestType, bool CStyle, unsigned &msg, CastKind &Kind)
 
static bool tryDiagnoseOverloadedCast (Sema &S, CastType CT, SourceRange range, Expr *src, QualType destType, bool listInitialization)
 Try to diagnose a failed overloaded cast.
 
static void diagnoseBadCast (Sema &S, unsigned msg, CastType castType, SourceRange opRange, Expr *src, QualType destType, bool listInitialization)
 Diagnose a failed cast.
 
static CastAwayConstnessKind unwrapCastAwayConstnessLevel (ASTContext &Context, QualType &T1, QualType &T2)
 Unwrap one level of types for CastsAwayConstness.
 
static CastAwayConstnessKind CastsAwayConstness (Sema &Self, QualType SrcType, QualType DestType, bool CheckCVR, bool CheckObjCLifetime, QualType *TheOffendingSrcType=nullptr, QualType *TheOffendingDestType=nullptr, Qualifiers *CastAwayQualifiers=nullptr)
 Check if the pointer conversion from SrcType to DestType casts away constness as defined in C++ [expr.const.cast].
 
static TryCastResult getCastAwayConstnessCastKind (CastAwayConstnessKind CACK, unsigned &DiagID)
 
static void DiagnoseReinterpretUpDownCast (Sema &Self, const Expr *SrcExpr, QualType DestType, SourceRange OpRange)
 Check that a reinterpret_cast<DestType>(SrcExpr) is not used as upcast or downcast between respective pointers or references.
 
static bool argTypeIsABIEquivalent (QualType SrcType, QualType DestType, ASTContext &Context)
 
static unsigned int checkCastFunctionType (Sema &Self, const ExprResult &SrcExpr, QualType DestType)
 
static bool IsAddressSpaceConversion (QualType SrcType, QualType DestType)
 
static void DiagnoseCastOfObjCSEL (Sema &Self, const ExprResult &SrcExpr, QualType DestType)
 
static void DiagnoseCallingConvCast (Sema &Self, const ExprResult &SrcExpr, QualType DstType, SourceRange OpRange)
 Diagnose casts that change the calling convention of a pointer to a function defined in the current TU.
 
static void checkIntToPointerCast (bool CStyle, const SourceRange &OpRange, const Expr *SrcExpr, QualType DestType, Sema &Self)
 
static bool fixOverloadedReinterpretCastExpr (Sema &Self, QualType DestType, ExprResult &Result)
 
static void DiagnoseBadFunctionCast (Sema &Self, const ExprResult &SrcExpr, QualType DestType)
 DiagnoseBadFunctionCast - Warn whenever a function call is cast to a non-matching type.
 

Enumeration Type Documentation

◆ CastType

enum CastType
Enumerator
CT_Const 

const_cast

CT_Static 

static_cast

CT_Reinterpret 

reinterpret_cast

CT_Dynamic 

dynamic_cast

CT_CStyle 

(Type)expr

CT_Functional 

Type(expr)

CT_Addrspace 

addrspace_cast

Definition at line 47 of file SemaCast.cpp.

◆ TryCastResult

Enumerator
TC_NotApplicable 

The cast method is not applicable.

TC_Success 

The cast method is appropriate and successful.

TC_Extension 

The cast method is appropriate and accepted as a language extension.

TC_Failed 

The cast method is appropriate, but failed.

A diagnostic has been emitted.

Definition at line 34 of file SemaCast.cpp.

Function Documentation

◆ argTypeIsABIEquivalent()

static bool argTypeIsABIEquivalent ( QualType  SrcType,
QualType  DestType,
ASTContext Context 
)
static

◆ CastsAwayConstness()

static CastAwayConstnessKind CastsAwayConstness ( Sema Self,
QualType  SrcType,
QualType  DestType,
bool  CheckCVR,
bool  CheckObjCLifetime,
QualType TheOffendingSrcType = nullptr,
QualType TheOffendingDestType = nullptr,
Qualifiers CastAwayQualifiers = nullptr 
)
static

Check if the pointer conversion from SrcType to DestType casts away constness as defined in C++ [expr.const.cast].

This is used by the cast checkers. Both arguments must denote pointer (possibly to member) types.

Parameters
CheckCVRWhether to check for const/volatile/restrict qualifiers.
CheckObjCLifetimeWhether to check Objective-C lifetime qualifiers.

Definition at line 670 of file SemaCast.cpp.

References clang::Qualifiers::compatiblyIncludesObjCLifetime(), clang::Qualifiers::fromCVRMask(), clang::Qualifiers::getCVRQualifiers(), clang::Qualifiers::hasConst(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isMemberPointerType(), clang::Type::isObjCObjectType(), clang::Type::isReferenceType(), clang::Qualifiers::removeConst(), clang::Self, and unwrapCastAwayConstnessLevel().

Referenced by DiagnoseCastQual(), and TryReinterpretCast().

◆ checkCastFunctionType()

static unsigned int checkCastFunctionType ( Sema Self,
const ExprResult SrcExpr,
QualType  DestType 
)
static

◆ checkIntToPointerCast()

static void checkIntToPointerCast ( bool  CStyle,
const SourceRange OpRange,
const Expr SrcExpr,
QualType  DestType,
Sema Self 
)
static

◆ diagnoseBadCast()

static void diagnoseBadCast ( Sema S,
unsigned  msg,
CastType  castType,
SourceRange  opRange,
Expr src,
QualType  destType,
bool  listInitialization 
)
static

◆ DiagnoseBadFunctionCast()

static void DiagnoseBadFunctionCast ( Sema Self,
const ExprResult SrcExpr,
QualType  DestType 
)
static

◆ DiagnoseCallingConvCast()

static void DiagnoseCallingConvCast ( Sema Self,
const ExprResult SrcExpr,
QualType  DstType,
SourceRange  OpRange 
)
static

◆ DiagnoseCastOfObjCSEL()

static void DiagnoseCastOfObjCSEL ( Sema Self,
const ExprResult SrcExpr,
QualType  DestType 
)
static

◆ DiagnoseCastQual()

static void DiagnoseCastQual ( Sema Self,
const ExprResult SrcExpr,
QualType  DestType 
)
static

◆ DiagnoseReinterpretUpDownCast()

static void DiagnoseReinterpretUpDownCast ( Sema Self,
const Expr SrcExpr,
QualType  DestType,
SourceRange  OpRange 
)
static

◆ fixOverloadedReinterpretCastExpr()

static bool fixOverloadedReinterpretCastExpr ( Sema Self,
QualType  DestType,
ExprResult Result 
)
static

◆ getCastAwayConstnessCastKind()

static TryCastResult getCastAwayConstnessCastKind ( CastAwayConstnessKind  CACK,
unsigned DiagID 
)
static

Definition at line 765 of file SemaCast.cpp.

References TC_Extension, and TC_Failed.

Referenced by TryReinterpretCast().

◆ IsAddressSpaceConversion()

static bool IsAddressSpaceConversion ( QualType  SrcType,
QualType  DestType 
)
static

◆ isValidCast()

static bool isValidCast ( TryCastResult  TCR)
static

Definition at line 43 of file SemaCast.cpp.

References TC_Extension, and TC_Success.

◆ TryAddressSpaceCast()

static TryCastResult TryAddressSpaceCast ( Sema Self,
ExprResult SrcExpr,
QualType  DestType,
bool  CStyle,
unsigned msg,
CastKind Kind 
)
static

◆ TryConstCast()

static TryCastResult TryConstCast ( Sema Self,
ExprResult SrcExpr,
QualType  DestType,
bool  CStyle,
unsigned msg 
)
static

◆ tryDiagnoseOverloadedCast()

static bool tryDiagnoseOverloadedCast ( Sema S,
CastType  CT,
SourceRange  range,
Expr src,
QualType  destType,
bool  listInitialization 
)
static

◆ TryLValueToRValueCast()

TryCastResult TryLValueToRValueCast ( Sema Self,
Expr SrcExpr,
QualType  DestType,
bool  CStyle,
CastKind Kind,
CXXCastPath BasePath,
unsigned msg 
)
static

◆ TryReinterpretCast()

static TryCastResult TryReinterpretCast ( Sema Self,
ExprResult SrcExpr,
QualType  DestType,
bool  CStyle,
SourceRange  OpRange,
unsigned msg,
CastKind Kind 
)
static

◆ TryStaticCast()

static TryCastResult TryStaticCast ( Sema Self,
ExprResult SrcExpr,
QualType  DestType,
CheckedConversionKind  CCK,
SourceRange  OpRange,
unsigned msg,
CastKind Kind,
CXXCastPath BasePath,
bool  ListInitialization 
)
static

◆ TryStaticDowncast()

TryCastResult TryStaticDowncast ( Sema Self,
CanQualType  SrcType,
CanQualType  DestType,
bool  CStyle,
SourceRange  OpRange,
QualType  OrigSrcType,
QualType  OrigDestType,
unsigned msg,
CastKind Kind,
CXXCastPath BasePath 
)
static

◆ TryStaticImplicitCast()

TryCastResult TryStaticImplicitCast ( Sema Self,
ExprResult SrcExpr,
QualType  DestType,
CheckedConversionKind  CCK,
SourceRange  OpRange,
unsigned msg,
CastKind Kind,
bool  ListInitialization 
)
static

◆ TryStaticMemberPointerUpcast()

TryCastResult TryStaticMemberPointerUpcast ( Sema Self,
ExprResult SrcExpr,
QualType  SrcType,
QualType  DestType,
bool  CStyle,
SourceRange  OpRange,
unsigned msg,
CastKind Kind,
CXXCastPath BasePath 
)
static

TryStaticMemberPointerUpcast - Tests whether a conversion according to C++ 5.2.9p9 is valid:

An rvalue of type "pointer to member of D of type cv1 T" can be converted to an rvalue of type "pointer to member of B of type cv2 T", where B is a base class of D [...].

Definition at line 1765 of file SemaCast.cpp.

References clang::Sema::AR_accessible, clang::Sema::AR_delayed, clang::Sema::AR_dependent, clang::Sema::AR_inaccessible, clang::ActionResult< PtrTy, Compress >::get(), clang::Type::getAs(), clang::SourceRange::getBegin(), clang::MemberPointerType::getClass(), clang::CXXMethodDecl::getParent(), clang::MemberPointerType::getPointeeType(), clang::Expr::getType(), clang::ActionResult< PtrTy, Compress >::isUsable(), clang::Self, TC_Failed, TC_NotApplicable, and TC_Success.

Referenced by TryStaticCast().

◆ TryStaticPointerDowncast()

TryCastResult TryStaticPointerDowncast ( Sema Self,
QualType  SrcType,
QualType  DestType,
bool  CStyle,
SourceRange  OpRange,
unsigned msg,
CastKind Kind,
CXXCastPath BasePath 
)
static

Tests whether a conversion according to C++ 5.2.9p8 is valid.

Definition at line 1619 of file SemaCast.cpp.

References clang::Type::getAs(), clang::PointerType::getPointeeType(), clang::Self, TC_NotApplicable, and TryStaticDowncast().

Referenced by TryStaticCast().

◆ TryStaticReferenceDowncast()

TryCastResult TryStaticReferenceDowncast ( Sema Self,
Expr SrcExpr,
QualType  DestType,
bool  CStyle,
SourceRange  OpRange,
unsigned msg,
CastKind Kind,
CXXCastPath BasePath 
)
static

◆ unwrapCastAwayConstnessLevel()

static CastAwayConstnessKind unwrapCastAwayConstnessLevel ( ASTContext Context,
QualType T1,
QualType T2 
)
static

Unwrap one level of types for CastsAwayConstness.

Like Sema::UnwrapSimilarTypes, this removes one level of indirection from both types, provided that they're both pointer-like or array-like. Unlike the Sema function, doesn't care if the unwrapped pieces are related.

This function may remove additional levels as necessary for correctness: the resulting T1 is unwrapped sufficiently that it is never an array type, so that its qualifiers can be directly compared to those of T2 (which will have the combined set of qualifiers from all indermediate levels of T2), as (effectively) required by [expr.const.cast]p7 replacing T1's qualifiers with those from T2.

Definition at line 592 of file SemaCast.cpp.

References clang::ASTContext::getAsArrayType(), clang::QualType::getCVRQualifiers(), clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isConstantArrayType(), clang::Type::isIncompleteArrayType(), clang::Type::isMemberPointerType(), clang::Type::isReferenceType(), clang::None, clang::T, clang::ASTContext::UnwrapSimilarArrayTypes(), clang::ASTContext::UnwrapSimilarTypes(), and clang::QualType::withCVRQualifiers().

Referenced by CastsAwayConstness().