29#include "llvm/IR/Intrinsics.h"
30#include "llvm/IR/Metadata.h"
31#include "llvm/Support/SaveAndRestore.h"
32#include "llvm/Transforms/Utils/SanitizerStats.h"
52 return layout.getNonVirtualAlignment();
84 CharUnits expectedVBaseAlign = baseLayout.getNonVirtualAlignment();
97 return std::min(actualBaseAlign, expectedTargetAlign);
100 CharUnits expectedBaseAlign = baseLayout.getNonVirtualAlignment();
120 if (actualBaseAlign >= expectedBaseAlign) {
121 return expectedTargetAlign;
127 return std::min(actualBaseAlign, expectedTargetAlign);
131 assert(
CurFuncDecl &&
"loading 'this' without a func declaration?");
135 if (CXXThisAlignment.isZero()) {
139 CXXThisAlignment =
CGM.getClassPointerAlignment(MD->getParent());
143 LoadCXXThis(), MD->getFunctionObjectParameterType(), CXXThisAlignment,
151 const Expr *E,
Address base, llvm::Value *memberPtr,
155 llvm::Value *ptr =
CGM.getCXXABI().EmitMemberDataPointerAddress(
156 *
this, E, base, memberPtr, memberPtrType, IsInBounds);
160 CGM.getNaturalTypeAlignment(memberType, BaseInfo, TBAAInfo);
161 memberAlign =
CGM.getDynamicOffsetAlignment(
178 assert(!
Base->isVirtual() &&
"Should not see virtual bases here!");
183 const auto *BaseDecl =
Base->getType()->castAsCXXRecordDecl();
197 assert(PathBegin != PathEnd &&
"Base path should not be empty!");
207 return llvm::ConstantInt::get(
PtrDiffTy, Offset.getQuantity());
219 bool BaseIsVirtual) {
234 if (!Offset.isZero()) {
236 V =
Builder.CreateConstInBoundsByteGEP(
V, Offset);
244 llvm::Value *virtualOffset,
248 assert(!nonVirtualOffset.
isZero() || virtualOffset !=
nullptr);
251 llvm::Value *baseOffset;
252 if (!nonVirtualOffset.
isZero()) {
253 llvm::Type *OffsetType =
259 llvm::ConstantInt::get(OffsetType, nonVirtualOffset.
getQuantity());
261 baseOffset = CGF.
Builder.CreateAdd(virtualOffset, baseOffset);
264 baseOffset = virtualOffset;
275 assert(nearestVBase &&
"virtual offset without vbase?");
277 derivedClass, nearestVBase);
291 assert(PathBegin != PathEnd &&
"Base path should not be empty!");
300 if ((*Start)->isVirtual()) {
301 VBase = (*Start)->getType()->castAsCXXRecordDecl();
308 CharUnits NonVirtualOffset =
CGM.computeNonVirtualBaseClassOffset(
309 VBase ? VBase : Derived, Start, PathEnd);
314 if (VBase && Derived->
hasAttr<FinalAttr>()) {
317 NonVirtualOffset += vBaseOffset;
323 llvm::Type *PtrTy = llvm::PointerType::get(
327 CharUnits DerivedAlign =
CGM.getClassPointerAlignment(Derived);
331 if (NonVirtualOffset.
isZero() && !VBase) {
334 SkippedChecks.
set(SanitizerKind::Null, !NullCheckValue);
336 DerivedAlign, SkippedChecks);
338 return Value.withElementType(BaseValueTy);
341 llvm::BasicBlock *origBB =
nullptr;
342 llvm::BasicBlock *endBB =
nullptr;
346 if (NullCheckValue) {
347 origBB =
Builder.GetInsertBlock();
352 Builder.CreateCondBr(isNull, endBB, notNullBB);
358 SkippedChecks.
set(SanitizerKind::Null,
true);
360 Value.emitRawPointer(*
this), DerivedTy, DerivedAlign,
365 llvm::Value *VirtualOffset =
nullptr;
368 CGM.getCXXABI().GetVirtualBaseClassOffset(*
this,
Value, Derived, VBase);
373 VirtualOffset, Derived, VBase);
379 if (NullCheckValue) {
380 llvm::BasicBlock *notNullBB =
Builder.GetInsertBlock();
384 llvm::PHINode *PHI =
Builder.CreatePHI(PtrTy, 2,
"cast.result");
385 PHI->addIncoming(
Value.emitRawPointer(*
this), notNullBB);
386 PHI->addIncoming(llvm::Constant::getNullValue(PtrTy), origBB);
398 bool NullCheckValue) {
399 assert(PathBegin != PathEnd &&
"Base path should not be empty!");
402 llvm::Type *DerivedValueTy =
ConvertType(DerivedTy);
404 llvm::Value *NonVirtualOffset =
405 CGM.GetNonVirtualBaseClassOffset(Derived, PathBegin, PathEnd);
407 if (!NonVirtualOffset) {
412 llvm::BasicBlock *CastNull =
nullptr;
413 llvm::BasicBlock *CastNotNull =
nullptr;
414 llvm::BasicBlock *CastEnd =
nullptr;
416 if (NullCheckValue) {
430 CGM.getClassPointerAlignment(Derived),
"sub.ptr");
433 Addr =
Addr.withElementType(DerivedValueTy);
436 if (NullCheckValue) {
442 llvm::Value *
Value =
Addr.emitRawPointer(*
this);
444 PHI->addIncoming(
Value, CastNotNull);
445 PHI->addIncoming(llvm::Constant::getNullValue(
Value->
getType()), CastNull);
447 CGM.getClassPointerAlignment(Derived));
456 if (!
CGM.getCXXABI().NeedsVTTParameter(GD)) {
464 uint64_t SubVTTIndex;
469 }
else if (RD ==
Base) {
472 assert(!
CGM.getCXXABI().NeedsVTTParameter(
CurGD) &&
473 "doing no-op VTT offset in base dtor/ctor?");
474 assert(!ForVirtualBase &&
"Can't have same class as virtual base!");
484 assert(SubVTTIndex != 0 &&
"Sub-VTT index must be greater than zero!");
487 if (
CGM.getCXXABI().NeedsVTTParameter(
CurGD)) {
493 llvm::GlobalValue *VTT =
CGM.getVTables().GetAddrOfVTT(RD);
494 return Builder.CreateConstInBoundsGEP2_64(
495 VTT->getValueType(), VTT, 0, SubVTTIndex);
501 struct CallBaseDtor final : EHScopeStack::Cleanup {
505 : BaseClass(
Base), BaseIsVirtual(BaseIsVirtual) {}
517 DerivedClass, BaseClass,
520 false,
Addr, ThisTy);
526 struct DynamicThisUseChecker : ConstEvaluatedExprVisitor<DynamicThisUseChecker> {
527 typedef ConstEvaluatedExprVisitor<DynamicThisUseChecker> super;
531 DynamicThisUseChecker(
const ASTContext &
C) : super(
C), UsesThis(
false) {}
538 void VisitCXXThisExpr(
const CXXThisExpr *E) { UsesThis =
true; }
543 DynamicThisUseChecker Checker(
C);
545 return Checker.UsesThis;
552 "Must have base initializer!");
583 !BaseClassDecl->hasTrivialDestructor())
589 auto *CD = dyn_cast<CXXConstructorDecl>(D);
590 if (!(CD && CD->isCopyOrMoveConstructor()) &&
612 for (
const auto *I : IndirectField->
chain())
627 "Must have member initializer!");
628 assert(MemberInit->
getInit() &&
"Must have initializer!");
632 QualType FieldType = Field->getType();
660 unsigned SrcArgIndex =
669 LHS.isVolatileQualified());
684 QualType FieldType = Field->getType();
775 struct SizeAndOffset {
780 unsigned PtrSize =
CGM.getDataLayout().getPointerSizeInBits();
787 Context.toCharUnitsFromBits(Info.
getFieldOffset(i)).getQuantity();
789 size_t NumFields = 0;
790 for (
const auto *Field : ClassDecl->
fields()) {
792 auto FieldInfo = Context.getTypeInfoInChars(D->
getType());
794 assert(NumFields < SSV.size());
798 assert(NumFields == SSV.size());
799 if (SSV.size() <= 1)
return;
804 llvm::FunctionType *FTy =
805 llvm::FunctionType::get(
CGM.VoidTy, Args,
false);
806 llvm::FunctionCallee F =
CGM.CreateRuntimeFunction(
807 FTy, Prologue ?
"__asan_poison_intra_object_redzone"
808 :
"__asan_unpoison_intra_object_redzone");
815 for (
size_t i = 0; i < SSV.size(); i++) {
816 uint64_t AsanAlignment = 8;
817 uint64_t NextField = i == SSV.size() - 1 ? TypeSize : SSV[i + 1].Offset;
818 uint64_t PoisonSize = NextField - SSV[i].Offset - SSV[i].Size;
819 uint64_t EndOffset = SSV[i].Offset + SSV[i].Size;
820 if (PoisonSize < AsanAlignment || !SSV[i].Size ||
821 (NextField % AsanAlignment) != 0)
824 F, {
Builder.CreateAdd(ThisPtr,
Builder.getIntN(PtrSize, EndOffset)),
825 Builder.getIntN(PtrSize, PoisonSize)});
835 assert((
CGM.getTarget().getCXXABI().hasConstructorVariants() ||
837 "can only generate complete ctor for this ABI");
842 CGM.getTarget().getCXXABI().hasConstructorVariants()) {
849 assert(
Definition == Ctor &&
"emitting wrong constructor body");
853 bool IsTryBody = isa_and_nonnull<CXXTryStmt>(Body);
890 class CopyingValueRepresentation {
893 : CGF(CGF), OldSanOpts(CGF.SanOpts) {
897 ~CopyingValueRepresentation() {
907 class FieldMemcpyizer {
909 FieldMemcpyizer(CodeGenFunction &CGF,
const CXXRecordDecl *ClassDecl,
910 const VarDecl *SrcRec)
911 : CGF(CGF), ClassDecl(ClassDecl), SrcRec(SrcRec),
912 RecLayout(CGF.getContext().getASTRecordLayout(ClassDecl)),
914 LastFieldOffset(0), LastAddedFieldIndex(0) {}
916 bool isMemcpyableField(FieldDecl *F)
const {
929 void addMemcpyableField(FieldDecl *F) {
938 CharUnits getMemcpySize(uint64_t FirstByteOffset)
const {
940 unsigned LastFieldSize =
941 LastField->isBitField()
942 ? LastField->getBitWidthValue()
945 uint64_t MemcpySizeBits = LastFieldOffset + LastFieldSize -
959 if (FirstField->isBitField()) {
960 const CGRecordLayout &RL =
967 FirstByteOffset = FirstFieldOffset;
970 CharUnits MemcpySize = getMemcpySize(FirstByteOffset);
980 Dest.isBitField() ? Dest.getBitFieldAddress() : Dest.getAddress(),
981 Src.isBitField() ? Src.getBitFieldAddress() : Src.getAddress(),
987 FirstField =
nullptr;
991 CodeGenFunction &CGF;
992 const CXXRecordDecl *ClassDecl;
995 void emitMemcpyIR(Address DestPtr, Address SrcPtr, CharUnits Size) {
1002 void addInitialField(FieldDecl *F) {
1005 FirstFieldOffset = RecLayout.getFieldOffset(F->
getFieldIndex());
1006 LastFieldOffset = FirstFieldOffset;
1010 void addNextField(FieldDecl *F) {
1016 "Cannot aggregate fields out of order.");
1023 if (FOffset < FirstFieldOffset) {
1025 FirstFieldOffset = FOffset;
1026 }
else if (FOffset >= LastFieldOffset) {
1028 LastFieldOffset = FOffset;
1032 const VarDecl *SrcRec;
1033 const ASTRecordLayout &RecLayout;
1034 FieldDecl *FirstField;
1035 FieldDecl *LastField;
1036 uint64_t FirstFieldOffset, LastFieldOffset;
1037 unsigned LastAddedFieldIndex;
1040 class ConstructorMemcpyizer :
public FieldMemcpyizer {
1044 static const VarDecl *getTrivialCopySource(CodeGenFunction &CGF,
1045 const CXXConstructorDecl *CD,
1046 FunctionArgList &Args) {
1054 bool isMemberInitMemcpyable(CXXCtorInitializer *MemberInit)
const {
1055 if (!MemcpyableCtor)
1058 assert(Field &&
"No field for member init.");
1059 QualType FieldType =
Field->getType();
1060 CXXConstructExpr *CE = dyn_cast<CXXConstructExpr>(MemberInit->
getInit());
1069 if (!isMemcpyableField(Field))
1077 ConstructorMemcpyizer(CodeGenFunction &CGF,
const CXXConstructorDecl *CD,
1078 FunctionArgList &Args)
1079 : FieldMemcpyizer(CGF, CD->getParent(), getTrivialCopySource(CGF, CD, Args)),
1080 ConstructorDecl(CD),
1081 MemcpyableCtor(CD->isDefaulted() &&
1082 CD->isCopyOrMoveConstructor() &&
1083 CGF.getLangOpts().getGC() == LangOptions::NonGC),
1086 void addMemberInitializer(CXXCtorInitializer *MemberInit) {
1087 if (isMemberInitMemcpyable(MemberInit)) {
1088 AggregatedInits.push_back(MemberInit);
1089 addMemcpyableField(MemberInit->
getMember());
1091 emitAggregatedInits();
1093 ConstructorDecl, Args);
1097 void emitAggregatedInits() {
1098 if (AggregatedInits.size() <= 1) {
1101 if (!AggregatedInits.empty()) {
1102 CopyingValueRepresentation CVR(CGF);
1104 AggregatedInits[0], ConstructorDecl, Args);
1105 AggregatedInits.clear();
1111 pushEHDestructors();
1114 AggregatedInits.clear();
1117 void pushEHDestructors() {
1122 for (
unsigned i = 0; i < AggregatedInits.size(); ++i) {
1123 CXXCtorInitializer *MemberInit = AggregatedInits[i];
1128 LValue FieldLHS = LHS;
1130 CGF.
pushEHDestroy(dtorKind, FieldLHS.getAddress(), FieldType);
1135 emitAggregatedInits();
1139 const CXXConstructorDecl *ConstructorDecl;
1140 bool MemcpyableCtor;
1141 FunctionArgList &Args;
1142 SmallVector<CXXCtorInitializer*, 16> AggregatedInits;
1145 class AssignmentMemcpyizer :
public FieldMemcpyizer {
1149 FieldDecl *getMemcpyableField(Stmt *S) {
1150 if (!AssignmentsMemcpyable)
1152 if (BinaryOperator *BO = dyn_cast<BinaryOperator>(S)) {
1154 if (BO->getOpcode() != BO_Assign)
1156 MemberExpr *ME = dyn_cast<MemberExpr>(BO->getLHS());
1160 if (!Field || !isMemcpyableField(Field))
1162 Stmt *RHS = BO->getRHS();
1163 if (ImplicitCastExpr *EC = dyn_cast<ImplicitCastExpr>(RHS))
1164 RHS = EC->getSubExpr();
1167 if (MemberExpr *ME2 = dyn_cast<MemberExpr>(RHS)) {
1168 if (ME2->getMemberDecl() == Field)
1172 }
else if (CXXMemberCallExpr *MCE = dyn_cast<CXXMemberCallExpr>(S)) {
1173 CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(MCE->getCalleeDecl());
1176 MemberExpr *IOA = dyn_cast<MemberExpr>(MCE->getImplicitObjectArgument());
1180 if (!Field || !isMemcpyableField(Field))
1182 MemberExpr *Arg0 = dyn_cast<MemberExpr>(MCE->getArg(0));
1183 if (!Arg0 || Field != dyn_cast<FieldDecl>(Arg0->
getMemberDecl()))
1186 }
else if (CallExpr *CE = dyn_cast<CallExpr>(S)) {
1187 FunctionDecl *FD = dyn_cast<FunctionDecl>(CE->getCalleeDecl());
1188 if (!FD || FD->
getBuiltinID() != Builtin::BI__builtin_memcpy)
1190 Expr *DstPtr = CE->
getArg(0);
1191 if (ImplicitCastExpr *DC = dyn_cast<ImplicitCastExpr>(DstPtr))
1192 DstPtr = DC->getSubExpr();
1193 UnaryOperator *DUO = dyn_cast<UnaryOperator>(DstPtr);
1194 if (!DUO || DUO->
getOpcode() != UO_AddrOf)
1196 MemberExpr *ME = dyn_cast<MemberExpr>(DUO->
getSubExpr());
1200 if (!Field || !isMemcpyableField(Field))
1202 Expr *SrcPtr = CE->
getArg(1);
1203 if (ImplicitCastExpr *SC = dyn_cast<ImplicitCastExpr>(SrcPtr))
1204 SrcPtr = SC->getSubExpr();
1205 UnaryOperator *SUO = dyn_cast<UnaryOperator>(SrcPtr);
1206 if (!SUO || SUO->
getOpcode() != UO_AddrOf)
1208 MemberExpr *ME2 = dyn_cast<MemberExpr>(SUO->
getSubExpr());
1209 if (!ME2 || Field != dyn_cast<FieldDecl>(ME2->
getMemberDecl()))
1217 bool AssignmentsMemcpyable;
1218 SmallVector<Stmt*, 16> AggregatedStmts;
1221 AssignmentMemcpyizer(CodeGenFunction &CGF,
const CXXMethodDecl *AD,
1222 FunctionArgList &Args)
1223 : FieldMemcpyizer(CGF, AD->getParent(), Args[Args.size() - 1]),
1224 AssignmentsMemcpyable(CGF.getLangOpts().getGC() == LangOptions::NonGC) {
1225 assert(Args.size() == 2);
1228 void emitAssignment(Stmt *S) {
1229 FieldDecl *F = getMemcpyableField(S);
1231 addMemcpyableField(F);
1232 AggregatedStmts.push_back(S);
1234 emitAggregatedStmts();
1239 void emitAggregatedStmts() {
1240 if (AggregatedStmts.size() <= 1) {
1241 if (!AggregatedStmts.empty()) {
1242 CopyingValueRepresentation CVR(CGF);
1250 AggregatedStmts.clear();
1254 emitAggregatedStmts();
1281 bool ConstructVBases = CtorType !=
Ctor_Base &&
1288 llvm::BasicBlock *BaseCtorContinueBB =
nullptr;
1289 if (ConstructVBases &&
1290 !
CGM.getTarget().getCXXABI().hasConstructorVariants()) {
1291 BaseCtorContinueBB =
1292 CGM.getCXXABI().EmitCtorCompleteObjectHandler(*
this, ClassDecl);
1293 assert(BaseCtorContinueBB);
1297 auto AllInits = CD->
inits();
1300 auto VirtualBaseEnd = std::find_if(
1302 return !(Init->isBaseInitializer() && Init->isBaseVirtual());
1305 auto NonVirtualBaseEnd = std::find_if(VirtualBaseEnd, AllInits.end(),
1307 return !Init->isBaseInitializer();
1311 auto VirtualBaseInits = llvm::make_range(AllInits.begin(), VirtualBaseEnd);
1312 auto NonVirtualBaseInits =
1313 llvm::make_range(VirtualBaseEnd, NonVirtualBaseEnd);
1314 auto MemberInits = llvm::make_range(NonVirtualBaseEnd, AllInits.end());
1317 if (ConstructVBases) {
1320 if (
CGM.getCodeGenOpts().StrictVTablePointers &&
1321 CGM.getCodeGenOpts().OptimizationLevel > 0 &&
1328 if (BaseCtorContinueBB) {
1330 Builder.CreateBr(BaseCtorContinueBB);
1338 if (
CGM.getCodeGenOpts().StrictVTablePointers &&
1339 CGM.getCodeGenOpts().OptimizationLevel > 0 &&
1349 ConstructorMemcpyizer CM(*
this, CD, Args);
1351 assert(!
Member->isBaseInitializer());
1352 assert(
Member->isAnyMemberInitializer() &&
1353 "Delegating initializer on non-delegating constructor");
1354 CM.addMemberInitializer(
Member);
1376 for (
const auto *Field : BaseClassDecl->
fields())
1381 for (
const auto &I : BaseClassDecl->
bases()) {
1387 MostDerivedClassDecl))
1391 if (BaseClassDecl == MostDerivedClassDecl) {
1393 for (
const auto &I : BaseClassDecl->
vbases()) {
1394 const auto *
VirtualBase = I.getType()->castAsCXXRecordDecl();
1396 MostDerivedClassDecl))
1408 QualType FieldBaseElementType = Context.getBaseElementType(Field->getType());
1411 if (!FieldClassDecl)
1415 if (FieldClassDecl->isUnion() && FieldClassDecl->isAnonymousStructOrUnion())
1438 for (
const auto *Field : ClassDecl->
fields())
1456 llvm::CallInst *TrapCall =
EmitTrapCall(llvm::Intrinsic::trap);
1457 TrapCall->setDoesNotReturn();
1458 TrapCall->setDoesNotThrow();
1460 Builder.ClearInsertionPoint();
1487 bool isTryBody = isa_and_nonnull<CXXTryStmt>(Body);
1502 llvm_unreachable(
"not expecting a unified dtor");
1503 case Dtor_Comdat: llvm_unreachable(
"not expecting a COMDAT");
1504 case Dtor_Deleting: llvm_unreachable(
"already handled deleting case");
1507 assert((Body ||
getTarget().getCXXABI().isMicrosoft()) &&
1508 "can't emit a dtor without a body for non-Microsoft ABIs");
1533 if (
CGM.getCodeGenOpts().StrictVTablePointers &&
1534 CGM.getCodeGenOpts().OptimizationLevel > 0)
1544 assert(Dtor->
isImplicit() &&
"bodyless dtor not implicit");
1550 CurFn->addFnAttr(llvm::Attribute::AlwaysInline);
1567 "Body of an implicit assignment operator should be compound stmt.");
1574 AssignmentMemcpyizer AM(*
this, AssignOp, Args);
1575 for (
auto *I : RootCS->
body())
1576 AM.emitAssignment(I);
1590 struct CallDtorDelete final : EHScopeStack::Cleanup {
1597 LoadThisForDtorDelete(CGF, Dtor),
1608 llvm::Value *ShouldDeleteCondition,
1609 bool ReturnAfterDelete) {
1611 const CXXRecordDecl *ClassDecl = Dtor->
getParent();
1614 "unexpected value for ReturnAfterDelete");
1620 bool CallGlobDelete =
1630 llvm::Value *Check3rdBit = CGF.
Builder.CreateAnd(
1631 ShouldDeleteCondition, llvm::ConstantInt::get(CondTy, 4));
1633 CGF.
Builder.CreateCondBr(ShouldCallDtor, DontCallDtor, CallDtor);
1639 CGF.
Builder.CreateBr(DontCallDtor);
1645 llvm::Value *Check1stBit = CGF.
Builder.CreateAnd(
1646 ShouldDeleteCondition, llvm::ConstantInt::get(CondTy, 1));
1648 CGF.
Builder.CreateCondBr(ShouldCallDelete, continueBB, callDeleteBB);
1651 auto EmitDeleteAndGoToEnd = [&](
const FunctionDecl *DeleteOp) {
1654 if (ReturnAfterDelete)
1657 CGF.
Builder.CreateBr(continueBB);
1666 llvm::Value *CheckTheBitForGlobDeleteCall = CGF.
Builder.CreateAnd(
1667 ShouldDeleteCondition, llvm::ConstantInt::get(CondTy, 4));
1668 llvm::Value *ShouldCallGlobDelete =
1670 llvm::BasicBlock *GlobDelete =
1672 llvm::BasicBlock *ClassDelete =
1674 CGF.
Builder.CreateCondBr(ShouldCallGlobDelete, ClassDelete, GlobDelete);
1677 EmitDeleteAndGoToEnd(GlobOD);
1680 EmitDeleteAndGoToEnd(OD);
1684 struct CallDtorDeleteConditional final : EHScopeStack::Cleanup {
1685 llvm::Value *ShouldDeleteCondition;
1688 CallDtorDeleteConditional(llvm::Value *ShouldDeleteCondition)
1689 : ShouldDeleteCondition(ShouldDeleteCondition) {
1690 assert(ShouldDeleteCondition !=
nullptr);
1693 void Emit(CodeGenFunction &CGF, Flags flags)
override {
1694 EmitConditionalDtorDeleteCall(CGF, ShouldDeleteCondition,
1699 class DestroyField final :
public EHScopeStack::Cleanup {
1700 const FieldDecl *field;
1702 bool useEHCleanupForArray;
1706 bool useEHCleanupForArray)
1707 : field(field), destroyer(destroyer),
1708 useEHCleanupForArray(useEHCleanupForArray) {}
1710 void Emit(CodeGenFunction &CGF, Flags flags)
override {
1717 assert(LV.isSimple());
1719 CGF.
emitDestroy(LV.getAddress(), field->getType(), destroyer,
1720 flags.isForNormalCleanup() && useEHCleanupForArray);
1724 class DeclAsInlineDebugLocation {
1726 llvm::MDNode *InlinedAt;
1727 std::optional<ApplyDebugLocation> Location;
1730 DeclAsInlineDebugLocation(CodeGenFunction &CGF,
const NamedDecl &
Decl)
1731 : DI(CGF.getDebugInfo()) {
1736 Location.emplace(CGF,
Decl.getLocation());
1739 ~DeclAsInlineDebugLocation() {
1747 static void EmitSanitizerDtorCallback(
1749 std::optional<CharUnits::QuantityType> PoisonSize = {}) {
1753 SmallVector<llvm::Value *, 2> Args = {Ptr};
1754 SmallVector<llvm::Type *, 2> ArgTypes = {CGF.
VoidPtrTy};
1756 if (PoisonSize.has_value()) {
1757 Args.emplace_back(llvm::ConstantInt::get(CGF.
SizeTy, *PoisonSize));
1758 ArgTypes.emplace_back(CGF.
SizeTy);
1761 llvm::FunctionType *FnType =
1762 llvm::FunctionType::get(CGF.
VoidTy, ArgTypes,
false);
1769 EmitSanitizerDtorFieldsCallback(
CodeGenFunction &CGF, llvm::Value *Ptr,
1771 EmitSanitizerDtorCallback(CGF,
"__sanitizer_dtor_callback_fields", Ptr,
1776 struct SanitizeDtorTrivialBase final : EHScopeStack::Cleanup {
1777 const CXXRecordDecl *BaseClass;
1779 SanitizeDtorTrivialBase(
const CXXRecordDecl *Base,
bool BaseIsVirtual)
1780 : BaseClass(
Base), BaseIsVirtual(BaseIsVirtual) {}
1782 void Emit(CodeGenFunction &CGF, Flags flags)
override {
1783 const CXXRecordDecl *DerivedClass =
1789 const ASTRecordLayout &BaseLayout =
1791 CharUnits BaseSize = BaseLayout.
getSize();
1798 DeclAsInlineDebugLocation InlineHere(CGF, *BaseClass);
1799 EmitSanitizerDtorFieldsCallback(CGF,
Addr.emitRawPointer(CGF),
1803 CGF.
CurFn->addFnAttr(
"disable-tail-calls",
"true");
1807 class SanitizeDtorFieldRange final :
public EHScopeStack::Cleanup {
1808 const CXXDestructorDecl *Dtor;
1809 unsigned StartIndex;
1813 SanitizeDtorFieldRange(
const CXXDestructorDecl *Dtor,
unsigned StartIndex,
1815 : Dtor(Dtor), StartIndex(StartIndex), EndIndex(EndIndex) {}
1820 void Emit(CodeGenFunction &CGF, Flags flags)
override {
1821 const ASTContext &Context = CGF.
getContext();
1822 const ASTRecordLayout &Layout =
1829 llvm::ConstantInt *OffsetSizePtr =
1832 llvm::Value *OffsetPtr =
1835 CharUnits PoisonEnd;
1842 CharUnits PoisonSize = PoisonEnd - PoisonStart;
1847 DeclAsInlineDebugLocation InlineHere(
1848 CGF, **std::next(Dtor->getParent()->field_begin(), StartIndex));
1849 EmitSanitizerDtorFieldsCallback(CGF, OffsetPtr, PoisonSize.
getQuantity());
1852 CGF.
CurFn->addFnAttr(
"disable-tail-calls",
"true");
1856 class SanitizeDtorVTable final :
public EHScopeStack::Cleanup {
1857 const CXXDestructorDecl *Dtor;
1860 SanitizeDtorVTable(
const CXXDestructorDecl *Dtor) : Dtor(Dtor) {}
1863 void Emit(CodeGenFunction &CGF, Flags flags)
override {
1864 assert(Dtor->getParent()->isDynamicClass());
1871 EmitSanitizerDtorCallback(CGF,
"__sanitizer_dtor_callback_vptr",
1876 class SanitizeDtorCleanupBuilder {
1877 ASTContext &Context;
1878 EHScopeStack &EHStack;
1879 const CXXDestructorDecl *DD;
1880 std::optional<unsigned> StartIndex;
1883 SanitizeDtorCleanupBuilder(ASTContext &Context, EHScopeStack &EHStack,
1884 const CXXDestructorDecl *DD)
1885 : Context(Context), EHStack(EHStack), DD(DD), StartIndex(std::nullopt) {}
1886 void PushCleanupForField(
const FieldDecl *Field) {
1889 unsigned FieldIndex =
Field->getFieldIndex();
1892 StartIndex = FieldIndex;
1893 }
else if (StartIndex) {
1895 *StartIndex, FieldIndex);
1896 StartIndex = std::nullopt;
1916 "Should not emit dtor epilogue for non-exported trivial dtor!");
1922 "operator delete missing - EnterDtorCleanups");
1923 if (CXXStructorImplicitParamValue) {
1927 EmitConditionalDtorDeleteCall(*
this, CXXStructorImplicitParamValue,
1930 EHStack.pushCleanup<CallDtorDeleteConditional>(
1936 LoadThisForDtorDelete(*
this, DD),
1937 getContext().getCanonicalTagType(ClassDecl));
1956 if (
CGM.getCodeGenOpts().SanitizeMemoryUseAfterDtor &&
1963 for (
const auto &
Base : ClassDecl->
vbases()) {
1964 auto *BaseClassDecl =
Base.getType()->castAsCXXRecordDecl();
1965 if (BaseClassDecl->hasTrivialDestructor()) {
1969 if (
CGM.getCodeGenOpts().SanitizeMemoryUseAfterDtor &&
1970 SanOpts.has(SanitizerKind::Memory) && !BaseClassDecl->isEmpty())
1986 if (
CGM.getCodeGenOpts().SanitizeMemoryUseAfterDtor &&
1992 for (
const auto &
Base : ClassDecl->
bases()) {
1994 if (
Base.isVirtual())
2000 if (
CGM.getCodeGenOpts().SanitizeMemoryUseAfterDtor &&
2013 bool SanitizeFields =
CGM.getCodeGenOpts().SanitizeMemoryUseAfterDtor &&
2014 SanOpts.has(SanitizerKind::Memory);
2018 for (
const auto *Field : ClassDecl->
fields()) {
2020 SanitizeBuilder.PushCleanupForField(Field);
2028 const RecordType *RT =
type->getAsUnionType();
2029 if (RT && RT->getOriginalDecl()->isAnonymousStructOrUnion())
2033 EHStack.pushCleanup<DestroyField>(
2038 SanitizeBuilder.End();
2052 bool zeroInitialize) {
2054 llvm::Value *numElements =
2058 NewPointerIsChecked, zeroInitialize);
2071 llvm::Value *numElements,
2074 bool NewPointerIsChecked,
2075 bool zeroInitialize) {
2081 llvm::BranchInst *zeroCheckBranch =
nullptr;
2084 llvm::ConstantInt *constantCount
2085 = dyn_cast<llvm::ConstantInt>(numElements);
2086 if (constantCount) {
2088 if (constantCount->isZero())
return;
2093 llvm::Value *iszero =
Builder.CreateIsNull(numElements,
"isempty");
2094 zeroCheckBranch =
Builder.CreateCondBr(iszero, loopBB, loopBB);
2101 llvm::Value *arrayEnd =
Builder.CreateInBoundsGEP(
2102 elementType, arrayBegin, numElements,
"arrayctor.end");
2105 llvm::BasicBlock *entryBB =
Builder.GetInsertBlock();
2108 llvm::PHINode *cur =
Builder.CreatePHI(arrayBegin->getType(), 2,
2110 cur->addIncoming(arrayBegin, entryBB);
2113 if (
CGM.shouldEmitConvergenceTokens())
2162 llvm::Value *next =
Builder.CreateInBoundsGEP(
2163 elementType, cur, llvm::ConstantInt::get(
SizeTy, 1),
"arrayctor.next");
2164 cur->addIncoming(next,
Builder.GetInsertBlock());
2167 llvm::Value *done =
Builder.CreateICmpEQ(next, arrayEnd,
"arrayctor.done");
2169 Builder.CreateCondBr(done, contBB, loopBB);
2172 if (zeroCheckBranch) zeroCheckBranch->setSuccessor(0, contBB);
2174 if (
CGM.shouldEmitConvergenceTokens())
2191 bool ForVirtualBase,
2199 llvm::Value *ThisPtr =
2202 if (SlotAS != ThisAS) {
2204 llvm::Type *NewType =
2217 assert(E->
getNumArgs() == 1 &&
"unexpected argcount for trivial ctor");
2268 bool NewPointerIsChecked, llvm::CallBase **CallOrInvoke) {
2271 if (!NewPointerIsChecked)
2277 assert(Args.size() == 1 &&
"trivial default ctor with args");
2285 assert(Args.size() == 2 &&
"unexpected argcount for trivial ctor");
2288 Args[1].getRValue(*this).getScalarVal(), SrcTy);
2296 bool PassPrototypeArgs =
true;
2309 CGM.getCXXABI().addImplicitConstructorArgs(*
this, D,
Type, ForVirtualBase,
2330 if (
CGM.getCodeGenOpts().OptimizationLevel > 0 &&
2332 CGM.getCXXABI().canSpeculativelyEmitVTable(ClassDecl) &&
2333 CGM.getCodeGenOpts().StrictVTablePointers)
2346 if (InheritedFromVBase &&
2347 CGM.getTarget().getCXXABI().hasConstructorVariants()) {
2352 Args.push_back(ThisArg);
2353 }
else if (!CXXInheritedCtorInitExprArgs.empty()) {
2355 assert(CXXInheritedCtorInitExprArgs.size() >= D->
getNumParams() &&
2356 "wrong number of parameters for inherited constructor call");
2357 Args = CXXInheritedCtorInitExprArgs;
2361 Args.push_back(ThisArg);
2363 assert(OuterCtor->getNumParams() == D->
getNumParams());
2364 assert(!OuterCtor->isVariadic() &&
"should have been inlined");
2366 for (
const auto *Param : OuterCtor->parameters()) {
2368 OuterCtor->getParamDecl(Param->getFunctionScopeIndex())->getType(),
2373 if (Param->hasAttr<PassObjectSizeAttr>()) {
2374 auto *POSParam = SizeArguments[Param];
2375 assert(POSParam &&
"missing pass_object_size value for forwarding");
2395 CXXInheritedCtorInitExprArgs = Args;
2402 CGM.getCXXABI().addImplicitConstructorArgs(*
this, Ctor, CtorType,
2406 assert(Args.size() >= Params.size() &&
"too few arguments for call");
2407 for (
unsigned I = 0, N = Args.size(); I != N; ++I) {
2409 const RValue &RV = Args[I].getRValue(*
this);
2410 assert(!RV.
isComplex() &&
"complex indirect params not supported");
2424 CGM.getCXXABI().EmitInstanceFunctionProlog(*
this);
2425 CXXThisValue = CXXABIThisValue;
2432 llvm::Value *VTableGlobal =
2440 if (!NonVirtualOffset.
isZero())
2445 llvm::Value *VPtrValue =
2448 Builder.CreateICmpEQ(VPtrValue, VTableGlobal,
"cmp.vtables");
2449 Builder.CreateAssumption(Cmp);
2454 if (
CGM.getCXXABI().doStructorsInitializeVPtrs(ClassDecl))
2473 llvm::Type *t =
CGM.getTypes().ConvertType(QT);
2475 llvm::Value *SrcVal =
Builder.CreateBitCast(Val, t);
2495 FunctionArgList::const_iterator I = Args.begin(), E = Args.end();
2496 assert(I != E &&
"no parameters to constructor");
2501 This, (*I)->getType()->getPointeeType())),
2507 if (
CGM.getCXXABI().NeedsVTTParameter(
CurGD)) {
2508 assert(I != E &&
"cannot skip vtt parameter, already done with args");
2509 assert((*I)->getType()->isPointerType() &&
2510 "skipping parameter not of vtt type");
2515 for (; I != E; ++I) {
2522 true,
This, DelegateArgs,
2528 struct CallDelegatingCtorDtor final : EHScopeStack::Cleanup {
2540 QualType ThisTy = Dtor->getFunctionObjectParameterType();
2542 true,
Addr, ThisTy);
2579 bool ForVirtualBase,
2582 CGM.getCXXABI().EmitDestructorCall(*
this, DD,
Type, ForVirtualBase,
2587 struct CallLocalDtor final : EHScopeStack::Cleanup {
2610 if (!ClassDecl)
return;
2614 assert(D && D->
isUsed() &&
"destructor not marked as used!");
2620 llvm::Value *VTableAddressPoint =
2621 CGM.getCXXABI().getVTableAddressPointInStructor(
2624 if (!VTableAddressPoint)
2628 llvm::Value *VirtualOffset =
nullptr;
2631 if (
CGM.getCXXABI().isVirtualOffsetNeededForVTableField(*
this, Vptr)) {
2635 VirtualOffset =
CGM.getCXXABI().GetVirtualBaseClassOffset(
2645 if (!NonVirtualOffset.
isZero() || VirtualOffset)
2647 *
this, VTableField, NonVirtualOffset, VirtualOffset, Vptr.
VTableClass,
2652 unsigned GlobalsAS =
CGM.getDataLayout().getDefaultGlobalsAddressSpace();
2653 llvm::Type *PtrTy = llvm::PointerType::get(
CGM.getLLVMContext(), GlobalsAS);
2658 if (
auto AuthenticationInfo =
CGM.getVTablePointerAuthInfo(
2660 VTableAddressPoint =
2663 llvm::StoreInst *Store =
Builder.CreateStore(VTableAddressPoint, VTableField);
2665 CGM.DecorateInstructionWithTBAA(Store, TBAAInfo);
2666 if (
CGM.getCodeGenOpts().OptimizationLevel > 0 &&
2667 CGM.getCodeGenOpts().StrictVTablePointers)
2668 CGM.DecorateInstructionWithInvariantGroup(Store, Vptr.
VTableClass);
2678 false, VTableClass, VBases,
2686 bool BaseIsNonVirtualPrimaryBase,
2692 if (!BaseIsNonVirtualPrimaryBase) {
2694 VPtr Vptr = {
Base, NearestVBase, OffsetFromNearestVBase, VTableClass};
2695 Vptrs.push_back(Vptr);
2701 for (
const auto &I : RD->
bases()) {
2702 auto *BaseDecl = I.getType()->castAsCXXRecordDecl();
2704 if (!BaseDecl->isDynamicClass())
2709 bool BaseDeclIsNonVirtualPrimaryBase;
2711 if (I.isVirtual()) {
2713 if (!VBases.insert(BaseDecl).second)
2721 BaseDeclIsNonVirtualPrimaryBase =
false;
2726 BaseOffsetFromNearestVBase =
2728 BaseDeclIsNonVirtualPrimaryBase = Layout.
getPrimaryBase() == BaseDecl;
2733 I.isVirtual() ? BaseDecl : NearestVBase, BaseOffsetFromNearestVBase,
2734 BaseDeclIsNonVirtualPrimaryBase, VTableClass, VBases, Vptrs);
2744 if (
CGM.getCXXABI().doStructorsInitializeVPtrs(RD))
2749 CGM.getCXXABI().initializeHiddenVirtualInheritanceMembers(*
this, RD);
2753 llvm::Type *VTableTy,
2756 Address VTablePtrSrc =
This.withElementType(VTableTy);
2757 llvm::Instruction *VTable =
Builder.CreateLoad(VTablePtrSrc,
"vtable");
2759 CGM.DecorateInstructionWithTBAA(VTable, TBAAInfo);
2761 if (
auto AuthenticationInfo =
2762 CGM.getVTablePointerAuthInfo(
this, RD,
This.emitRawPointer(*
this))) {
2783 if (
CGM.getCodeGenOpts().OptimizationLevel > 0 &&
2784 CGM.getCodeGenOpts().StrictVTablePointers)
2785 CGM.DecorateInstructionWithInvariantGroup(VTable, RD);
2826 llvm::Value *VTable,
2828 if (
SanOpts.has(SanitizerKind::CFIVCall))
2830 else if (
CGM.getCodeGenOpts().WholeProgramVTables &&
2833 !
CGM.AlwaysHasLTOVisibilityPublic(RD)) {
2835 llvm::Metadata *MD =
CGM.CreateMetadataIdentifierForType(Ty);
2836 llvm::Value *TypeId =
2837 llvm::MetadataAsValue::get(
CGM.getLLVMContext(), MD);
2843 llvm::Intrinsic::ID IID =
CGM.HasHiddenLTOVisibility(RD)
2844 ? llvm::Intrinsic::type_test
2845 : llvm::Intrinsic::public_type_test;
2846 llvm::Value *TypeTest =
2847 Builder.CreateCall(
CGM.getIntrinsic(IID), {VTable, TypeId});
2848 Builder.CreateCall(
CGM.getIntrinsic(llvm::Intrinsic::assume), TypeTest);
2854static std::pair<SanitizerKind::SanitizerOrdinal, llvm::SanitizerStatKind>
2858 return std::make_pair(SanitizerKind::SO_CFIVCall, llvm::SanStat_CFI_VCall);
2860 return std::make_pair(SanitizerKind::SO_CFINVCall,
2861 llvm::SanStat_CFI_NVCall);
2863 return std::make_pair(SanitizerKind::SO_CFIDerivedCast,
2864 llvm::SanStat_CFI_DerivedCast);
2866 return std::make_pair(SanitizerKind::SO_CFIUnrelatedCast,
2867 llvm::SanStat_CFI_UnrelatedCast);
2871 llvm_unreachable(
"unexpected sanitizer kind");
2873 llvm_unreachable(
"Unknown CFITypeCheckKind enum");
2877 llvm::Value *VTable,
2880 if (!
SanOpts.has(SanitizerKind::CFICastStrict))
2885 SanitizerHandler::CFICheckFail);
2897 const auto *ClassDecl =
T->getAsCXXRecordDecl();
2904 if (!
SanOpts.has(SanitizerKind::CFICastStrict))
2909 SanitizerHandler::CFICheckFail);
2911 llvm::BasicBlock *ContBlock =
nullptr;
2914 llvm::Value *DerivedNotNull =
2920 Builder.CreateCondBr(DerivedNotNull, CheckBlock, ContBlock);
2925 llvm::Value *VTable;
2926 std::tie(VTable, ClassDecl) =
2927 CGM.getCXXABI().LoadVTablePtr(*
this, Derived, ClassDecl);
2938 llvm::Value *VTable,
2943 if (!
CGM.getCodeGenOpts().SanitizeCfiCrossDso &&
2944 !
CGM.HasHiddenLTOVisibility(RD))
2950 if (
getContext().getNoSanitizeList().containsType(
2957 llvm::Metadata *MD =
CGM.CreateMetadataIdentifierForType(
T);
2958 llvm::Value *TypeId = llvm::MetadataAsValue::get(
getLLVMContext(), MD);
2960 llvm::Value *TypeTest =
Builder.CreateCall(
2961 CGM.getIntrinsic(llvm::Intrinsic::type_test), {VTable, TypeId});
2963 llvm::Constant *StaticData[] = {
2964 llvm::ConstantInt::get(
Int8Ty, TCK),
2969 auto CrossDsoTypeId =
CGM.CreateCrossDsoCfiTypeId(MD);
2970 if (
CGM.getCodeGenOpts().SanitizeCfiCrossDso && CrossDsoTypeId) {
2975 if (
CGM.getCodeGenOpts().SanitizeTrap.has(M)) {
2976 bool NoMerge = !
CGM.getCodeGenOpts().SanitizeMergeHandlers.has(M);
2977 EmitTrapCheck(TypeTest, SanitizerHandler::CFICheckFail, NoMerge);
2981 llvm::Value *AllVtables = llvm::MetadataAsValue::get(
2982 CGM.getLLVMContext(),
2983 llvm::MDString::get(
CGM.getLLVMContext(),
"all-vtables"));
2984 llvm::Value *ValidVtable =
Builder.CreateCall(
2985 CGM.getIntrinsic(llvm::Intrinsic::type_test), {VTable, AllVtables});
2986 EmitCheck(std::make_pair(TypeTest, M), SanitizerHandler::CFICheckFail,
2987 StaticData, {VTable, ValidVtable});
2991 if (!
CGM.getCodeGenOpts().WholeProgramVTables ||
2992 !
CGM.HasHiddenLTOVisibility(RD))
2995 if (
CGM.getCodeGenOpts().VirtualFunctionElimination)
2998 if (!
SanOpts.has(SanitizerKind::CFIVCall) ||
2999 !
CGM.getCodeGenOpts().SanitizeTrap.has(SanitizerKind::CFIVCall))
3008 const CXXRecordDecl *RD, llvm::Value *VTable, llvm::Type *VTableTy,
3009 uint64_t VTableByteOffset) {
3010 auto CheckOrdinal = SanitizerKind::SO_CFIVCall;
3011 auto CheckHandler = SanitizerHandler::CFICheckFail;
3017 llvm::Metadata *MD =
CGM.CreateMetadataIdentifierForType(
T);
3018 llvm::Value *TypeId = llvm::MetadataAsValue::get(
CGM.getLLVMContext(), MD);
3020 auto CheckedLoadIntrinsic =
CGM.getVTables().useRelativeLayout()
3021 ? llvm::Intrinsic::type_checked_load_relative
3022 : llvm::Intrinsic::type_checked_load;
3023 llvm::Value *CheckedLoad =
Builder.CreateCall(
3024 CGM.getIntrinsic(CheckedLoadIntrinsic),
3025 {VTable, llvm::ConstantInt::get(Int32Ty, VTableByteOffset), TypeId});
3027 llvm::Value *CheckResult =
Builder.CreateExtractValue(CheckedLoad, 1);
3030 if (
SanOpts.has(SanitizerKind::CFIVCall) &&
3031 !
getContext().getNoSanitizeList().containsType(SanitizerKind::CFIVCall,
3033 EmitCheck(std::make_pair(CheckResult, CheckOrdinal), CheckHandler, {}, {});
3036 return Builder.CreateBitCast(
Builder.CreateExtractValue(CheckedLoad, 0),
3045 calleeFnInfo = &
CGM.getTypes().arrangeCXXMethodDeclaration(callOperator);
3050 CGM.getTypes().GetFunctionType(*calleeFnInfo));
3057 if (!resultType->isVoidType() &&
3070 RValue RV =
EmitCall(*calleeFnInfo, callee, returnSlot, callArgs);
3073 if (!resultType->isVoidType() && returnSlot.
isNull()) {
3074 if (
getLangOpts().ObjCAutoRefCount && resultType->isObjCRetainableType()) {
3077 EmitReturnOfRValue(RV, resultType);
3092 CGM.ErrorUnsupported(
CurCodeDecl,
"lambda conversion to variadic function");
3109 "generic lambda interconversion to block not implemented");
3118 CGM.ErrorUnsupported(MD,
"lambda conversion to variadic function");
3149 void *InsertPos =
nullptr;
3152 assert(CorrespondingCallOpSpecialization);
3157 if (hasInAllocaArg(MD)) {
3159 llvm::Function *ImplFn =
nullptr;
3173 CGM.ErrorUnsupported(MD,
"lambda conversion to variadic function");
3181 llvm::Value *ThisArg =
CurFn->getArg(0);
3189 llvm::Function **ImplFn) {
3191 CGM.getTypes().arrangeCXXMethodDeclaration(CallOp);
3192 llvm::Function *CallOpFn =
3199 ArgTypes.push_back(I->type);
3200 *ImplFnInfo = &
CGM.getTypes().arrangeLLVMFunctionInfo(
3209 StringRef CallOpName = CallOpFn->getName();
3210 std::string ImplName;
3211 if (
size_t Pos = CallOpName.find_first_of(
"<lambda"))
3212 ImplName = (
"?__impl@" + CallOpName.drop_front(Pos)).str();
3214 ImplName = (
"__impl" + CallOpName).str();
3216 llvm::Function *Fn = CallOpFn->getParent()->getFunction(ImplName);
3218 Fn = llvm::Function::Create(
CGM.getTypes().GetFunctionType(**ImplFnInfo),
3219 llvm::GlobalValue::InternalLinkage, ImplName,
3221 CGM.SetInternalFunctionAttributes(CallOp, Fn, **ImplFnInfo);
3225 CodeGenFunction(
CGM).GenerateCode(GD, Fn, **ImplFnInfo);
3226 CGM.SetLLVMFunctionAttributesForDefinition(D, Fn);
static Address ApplyNonVirtualAndVirtualOffset(CodeGenFunction &CGF, Address addr, CharUnits nonVirtualOffset, llvm::Value *virtualOffset, const CXXRecordDecl *derivedClass, const CXXRecordDecl *nearestVBase)
static bool canEmitDelegateCallArgs(CodeGenFunction &CGF, const CXXConstructorDecl *Ctor, CXXCtorType Type, CallArgList &Args)
static bool CanSkipVTablePointerInitialization(CodeGenFunction &CGF, const CXXDestructorDecl *Dtor)
CanSkipVTablePointerInitialization - Check whether we need to initialize any vtable pointers before c...
static const CXXRecordDecl * LeastDerivedClassWithSameLayout(const CXXRecordDecl *RD)
static void EmitBaseInitializer(CodeGenFunction &CGF, const CXXRecordDecl *ClassDecl, CXXCtorInitializer *BaseInit)
static bool isMemcpyEquivalentSpecialMember(const CXXMethodDecl *D)
static std::pair< SanitizerKind::SanitizerOrdinal, llvm::SanitizerStatKind > SanitizerInfoFromCFICheckKind(CodeGenFunction::CFITypeCheckKind TCK)
Converts the CFITypeCheckKind into SanitizerKind::SanitizerOrdinal and llvm::SanitizerStatKind.
static bool BaseInitializerUsesThis(ASTContext &C, const Expr *Init)
static bool FieldHasTrivialDestructorBody(ASTContext &Context, const FieldDecl *Field)
static bool HasTrivialDestructorBody(ASTContext &Context, const CXXRecordDecl *BaseClassDecl, const CXXRecordDecl *MostDerivedClassDecl)
static void EmitMemberInitializer(CodeGenFunction &CGF, const CXXRecordDecl *ClassDecl, CXXCtorInitializer *MemberInit, const CXXConstructorDecl *Constructor, FunctionArgList &Args)
static void EmitLValueForAnyFieldInitialization(CodeGenFunction &CGF, CXXCtorInitializer *MemberInit, LValue &LHS)
static bool isInitializerOfDynamicClass(const CXXCtorInitializer *baseInit)
Defines the C++ template declaration subclasses.
a trap message and trap category.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
const ConstantArrayType * getAsConstantArrayType(QualType T) const
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
const LangOptions & getLangOpts() const
QualType getBaseElementType(const ArrayType *VAT) const
Return the innermost element type of an array type.
const NoSanitizeList & getNoSanitizeList() const
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
int64_t toBits(CharUnits CharSize) const
Convert a size in characters to a size in bits.
const TargetInfo & getTargetInfo() const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
CanQualType getCanonicalTagType(const TagDecl *TD) const
unsigned getTargetAddressSpace(LangAS AS) const
uint64_t getCharWidth() const
Return the size of the character type, in bits.
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
CharUnits getAlignment() const
getAlignment - Get the record alignment in characters.
CharUnits getSize() const
getSize - Get the record size in characters.
unsigned getFieldCount() const
getFieldCount - Get the number of fields in the layout.
uint64_t getFieldOffset(unsigned FieldNo) const
getFieldOffset - Get the offset of the given field index, in bits.
CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const
getBaseClassOffset - Get the offset, in chars, for the given base class.
CharUnits getVBaseClassOffset(const CXXRecordDecl *VBase) const
getVBaseClassOffset - Get the offset, in chars, for the given base class.
const CXXRecordDecl * getPrimaryBase() const
getPrimaryBase - Get the primary base for this record.
CharUnits getNonVirtualSize() const
getNonVirtualSize - Get the non-virtual size (in chars) of an object, which is the size of the object...
Represents an array type, per C99 6.7.5.2 - Array Declarators.
const CXXRecordDecl * getBase() const
getBase - Returns the base class declaration.
CharUnits getBaseOffset() const
getBaseOffset - Returns the base class offset.
Represents a block literal declaration, which is like an unnamed FunctionDecl.
capture_const_iterator capture_begin() const
ArrayRef< ParmVarDecl * > parameters() const
Represents a base class of a C++ class.
QualType getType() const
Retrieves the type of the base class.
Represents a call to a C++ constructor.
Expr * getArg(unsigned Arg)
Return the specified argument.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
bool isListInitialization() const
Whether this constructor call was written as list-initialization.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
init_iterator init_begin()
Retrieve an iterator to the first initializer.
bool isDefaultConstructor() const
Whether this constructor is a default constructor (C++ [class.ctor]p5), which can be used to default-...
bool isDelegatingConstructor() const
Determine whether this constructor is a delegating constructor.
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
InheritedConstructor getInheritedConstructor() const
Get the constructor that this inheriting constructor is based on.
Represents a C++ base or member initializer.
FieldDecl * getMember() const
If this is a member initializer, returns the declaration of the non-static data member being initiali...
Expr * getInit() const
Get the initializer.
SourceLocation getSourceLocation() const
Determine the source location of the initializer.
bool isAnyMemberInitializer() const
bool isBaseInitializer() const
Determine whether this initializer is initializing a base class.
bool isIndirectMemberInitializer() const
const Type * getBaseClass() const
If this is a base class initializer, returns the type of the base class.
FieldDecl * getAnyMember() const
IndirectFieldDecl * getIndirectMember() const
bool isBaseVirtual() const
Returns whether the base is virtual or not.
Represents a C++ destructor within a class.
const FunctionDecl * getOperatorDelete() const
const FunctionDecl * getOperatorGlobalDelete() const
Expr * getOperatorDeleteThisArg() const
Represents a call to an inherited base class constructor from an inheriting constructor.
SourceLocation getLocation() const LLVM_READONLY
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
QualType getThisType() const
Return the type of the this pointer.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
QualType getFunctionObjectParameterType() const
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
Represents a C++ struct/union/class.
bool isEffectivelyFinal() const
Determine whether it's impossible for a class to be derived from this class.
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
bool hasTrivialDestructor() const
Determine whether this class has a trivial destructor (C++ [class.dtor]p3)
method_range methods() const
bool isPolymorphic() const
Whether this class is polymorphic (C++ [class.virtual]), which means that the class contains or inher...
unsigned getNumBases() const
Retrieves the number of base classes of this class.
base_class_iterator bases_begin()
base_class_range vbases()
bool isAbstract() const
Determine whether this class has a pure virtual function.
bool isDynamicClass() const
bool hasDefinition() const
bool isEmpty() const
Determine whether this is an empty class in the sense of (C++11 [meta.unary.prop]).
CXXDestructorDecl * getDestructor() const
Returns the destructor decl for this class.
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
unsigned getNumVBases() const
Retrieves the number of virtual base classes of this class.
const CXXBaseSpecifier *const * path_const_iterator
CharUnits - This is an opaque type for sizes expressed in character units.
CharUnits alignmentAtOffset(CharUnits offset) const
Given that this is a non-zero alignment value, what is the alignment at the given offset?
bool isPositive() const
isPositive - Test whether the quantity is greater than zero.
bool isZero() const
isZero - Test whether the quantity equals zero.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
CharUnits alignmentOfArrayElement(CharUnits elementSize) const
Given that this is the alignment of the first element of an array, return the minimum alignment of an...
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
@ Indirect
Indirect - Pass the argument indirectly via a hidden pointer with the specified alignment (0 indicate...
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
CharUnits getAlignment() const
llvm::Type * getElementType() const
Return the type of the values stored in this address.
Address withElementType(llvm::Type *ElemTy) const
Return address with different element type, but same pointer and alignment.
bool isSanitizerChecked() const
Address getAddress() const
Qualifiers getQualifiers() const
static AggValueSlot forLValue(const LValue &LV, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
static AggValueSlot forAddr(Address addr, Qualifiers quals, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
forAddr - Make a slot for an aggregate value.
Overlap_t mayOverlap() const
A scoped helper to set the current source atom group for CGDebugInfo::addInstToCurrentSourceAtom.
A scoped helper to set the current debug location to the specified location or preferred location of ...
A scoped helper to set the current debug location to an inlined location.
llvm::Value * CreateIsNull(Address Addr, const Twine &Name="")
Address CreateGEP(CodeGenFunction &CGF, Address Addr, llvm::Value *Index, const llvm::Twine &Name="")
llvm::LoadInst * CreateLoad(Address Addr, const llvm::Twine &Name="")
llvm::CallInst * CreateMemCpy(Address Dest, Address Src, llvm::Value *Size, bool IsVolatile=false)
Address CreateInBoundsGEP(Address Addr, ArrayRef< llvm::Value * > IdxList, llvm::Type *ElementType, CharUnits Align, const Twine &Name="")
virtual size_t getSrcArgforCopyCtor(const CXXConstructorDecl *, FunctionArgList &Args) const =0
All available information about a concrete callee.
static CGCallee forDirect(llvm::Constant *functionPtr, const CGCalleeInfo &abstractInfo=CGCalleeInfo())
llvm::MDNode * getInlinedAt() const
void setInlinedAt(llvm::MDNode *InlinedAt)
Update the current inline scope.
CGFunctionInfo - Class to encapsulate the information about a function definition.
bool usesInAlloca() const
Return true if this function uses inalloca arguments.
FunctionType::ExtInfo getExtInfo() const
ABIArgInfo & getReturnInfo()
const_arg_iterator arg_begin() const
CanQualType getReturnType() const
const_arg_iterator arg_end() const
RequiredArgs getRequiredArgs() const
const CGBitFieldInfo & getBitFieldInfo(const FieldDecl *FD) const
Return the BitFieldInfo that corresponds to the field FD.
CallArgList - Type for representing both the value and type of arguments in a call.
void add(RValue rvalue, QualType type)
A scope within which we are constructing the fields of an object which might use a CXXDefaultInitExpr...
static ParamValue forIndirect(Address addr)
static ParamValue forDirect(llvm::Value *value)
Enters a new scope for capturing cleanups, all of which will be executed once the scope is exited.
void ForceCleanup(std::initializer_list< llvm::Value ** > ValuesToReload={})
Force the emission of cleanups now, instead of waiting until this object is destroyed.
RAII object to set/unset CodeGenFunction::IsSanitizerScope.
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
llvm::Value * GetVTablePtr(Address This, llvm::Type *VTableTy, const CXXRecordDecl *VTableClass, VTableAuthMode AuthMode=VTableAuthMode::Authenticate)
GetVTablePtr - Return the Value of the vtable pointer member pointed to by This.
GlobalDecl CurGD
CurGD - The GlobalDecl for the current function being compiled.
void EmitDelegatingCXXConstructorCall(const CXXConstructorDecl *Ctor, const FunctionArgList &Args)
void emitDestroy(Address addr, QualType type, Destroyer *destroyer, bool useEHCleanupForArray)
emitDestroy - Immediately perform the destruction of the given object.
AggValueSlot::Overlap_t getOverlapForFieldInit(const FieldDecl *FD)
Determine whether a field initialization may overlap some other object.
void EmitDelegateCXXConstructorCall(const CXXConstructorDecl *Ctor, CXXCtorType CtorType, const FunctionArgList &Args, SourceLocation Loc)
SanitizerSet SanOpts
Sanitizers enabled for this function.
void EmitAsanPrologueOrEpilogue(bool Prologue)
void EmitInlinedInheritingCXXConstructorCall(const CXXConstructorDecl *Ctor, CXXCtorType CtorType, bool ForVirtualBase, bool Delegating, CallArgList &Args)
Emit a call to an inheriting constructor (that is, one that invokes a constructor inherited from a ba...
void EmitNullInitialization(Address DestPtr, QualType Ty)
EmitNullInitialization - Generate code to set a value of the given type to null, If the type contains...
RawAddress CreateIRTemp(QualType T, const Twine &Name="tmp")
CreateIRTemp - Create a temporary IR object of the given type, with appropriate alignment.
Address LoadCXXThisAddress()
void EmitComplexExprIntoLValue(const Expr *E, LValue dest, bool isInit)
EmitComplexExprIntoLValue - Emit the given expression of complex type and place its result into the s...
static bool hasScalarEvaluationKind(QualType T)
llvm::Type * ConvertType(QualType T)
void EmitSanitizerStatReport(llvm::SanitizerStatKind SSK)
void pushEHDestroy(QualType::DestructionKind dtorKind, Address addr, QualType type)
pushEHDestroy - Push the standard destructor for the given type as an EH-only cleanup.
void EmitVTablePtrCheckForCall(const CXXRecordDecl *RD, llvm::Value *VTable, CFITypeCheckKind TCK, SourceLocation Loc)
EmitVTablePtrCheckForCall - Virtual method MD is being called via VTable.
void EmitLambdaStaticInvokeBody(const CXXMethodDecl *MD)
void EmitLambdaDelegatingInvokeBody(const CXXMethodDecl *MD, CallArgList &CallArgs)
Address GetAddressOfBaseClass(Address Value, const CXXRecordDecl *Derived, CastExpr::path_const_iterator PathBegin, CastExpr::path_const_iterator PathEnd, bool NullCheckValue, SourceLocation Loc)
GetAddressOfBaseClass - This function will add the necessary delta to the load of 'this' and returns ...
LValue MakeNaturalAlignPointeeAddrLValue(llvm::Value *V, QualType T)
Given a value of type T* that may not be to a complete object, construct an l-value with the natural ...
void pushRegularPartialArrayCleanup(llvm::Value *arrayBegin, llvm::Value *arrayEnd, QualType elementType, CharUnits elementAlignment, Destroyer *destroyer)
pushRegularPartialArrayCleanup - Push an EH cleanup to destroy already-constructed elements of the gi...
SmallVector< llvm::ConvergenceControlInst *, 4 > ConvergenceTokenStack
Stack to track the controlled convergence tokens.
llvm::Constant * EmitCheckSourceLocation(SourceLocation Loc)
Emit a description of a source location in a format suitable for passing to a runtime sanitizer handl...
void EmitForwardingCallToLambda(const CXXMethodDecl *LambdaCallOperator, CallArgList &CallArgs, const CGFunctionInfo *CallOpFnInfo=nullptr, llvm::Constant *CallOpFn=nullptr)
llvm::Value * getAsNaturalPointerTo(Address Addr, QualType PointeeType)
void EmitDelegateCallArg(CallArgList &args, const VarDecl *param, SourceLocation loc)
EmitDelegateCallArg - We are performing a delegate call; that is, the current function is delegating ...
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
void addInstToCurrentSourceAtom(llvm::Instruction *KeyInstruction, llvm::Value *Backup)
See CGDebugInfo::addInstToCurrentSourceAtom.
AggValueSlot::Overlap_t getOverlapForBaseInit(const CXXRecordDecl *RD, const CXXRecordDecl *BaseRD, bool IsVirtual)
Determine whether a base class initialization may overlap some other object.
const LangOptions & getLangOpts() const
llvm::Value * EmitARCRetainAutoreleasedReturnValue(llvm::Value *value)
Retain the given object which is the result of a function call.
LValue MakeNaturalAlignAddrLValue(llvm::Value *V, QualType T, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
static bool IsConstructorDelegationValid(const CXXConstructorDecl *Ctor)
Checks whether the given constructor is a valid subject for the complete-to-base constructor delegati...
Address GetAddressOfDerivedClass(Address Value, const CXXRecordDecl *Derived, CastExpr::path_const_iterator PathBegin, CastExpr::path_const_iterator PathEnd, bool NullCheckValue)
void EmitVTablePtrCheck(const CXXRecordDecl *RD, llvm::Value *VTable, CFITypeCheckKind TCK, SourceLocation Loc)
EmitVTablePtrCheck - Emit a check that VTable is a valid virtual table for RD using llvm....
void EmitConstructorBody(FunctionArgList &Args)
EmitConstructorBody - Emits the body of the current constructor.
const CodeGen::CGBlockInfo * BlockInfo
void EmitAggregateCopyCtor(LValue Dest, LValue Src, AggValueSlot::Overlap_t MayOverlap)
Address makeNaturalAddressForPointer(llvm::Value *Ptr, QualType T, CharUnits Alignment=CharUnits::Zero(), bool ForPointeeType=false, LValueBaseInfo *BaseInfo=nullptr, TBAAAccessInfo *TBAAInfo=nullptr, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
Construct an address with the natural alignment of T.
static Destroyer destroyCXXObject
void EmitLambdaInAllocaImplFn(const CXXMethodDecl *CallOp, const CGFunctionInfo **ImplFnInfo, llvm::Function **ImplFn)
void EmitCXXAggrConstructorCall(const CXXConstructorDecl *D, const ArrayType *ArrayTy, Address ArrayPtr, const CXXConstructExpr *E, bool NewPointerIsChecked, bool ZeroInitialization=false)
EmitCXXAggrConstructorCall - Emit a loop to call a particular constructor for each of several members...
VPtrsVector getVTablePointers(const CXXRecordDecl *VTableClass)
void EmitVTablePtrCheckForCast(QualType T, Address Derived, bool MayBeNull, CFITypeCheckKind TCK, SourceLocation Loc)
Derived is the presumed address of an object of type T after a cast.
@ TCK_ConstructorCall
Checking the 'this' pointer for a constructor call.
@ TCK_UpcastToVirtualBase
Checking the operand of a cast to a virtual base object.
@ TCK_Upcast
Checking the operand of a cast to a base object.
void EmitCXXDestructorCall(const CXXDestructorDecl *D, CXXDtorType Type, bool ForVirtualBase, bool Delegating, Address This, QualType ThisTy)
void EmitBranchThroughCleanup(JumpDest Dest)
EmitBranchThroughCleanup - Emit a branch from the current insert block through the normal cleanup han...
const Decl * CurCodeDecl
CurCodeDecl - This is the inner-most code context, which includes blocks.
Destroyer * getDestroyer(QualType::DestructionKind destructionKind)
void PushDestructorCleanup(QualType T, Address Addr)
PushDestructorCleanup - Push a cleanup to call the complete-object destructor of an object of the giv...
JumpDest ReturnBlock
ReturnBlock - Unified return block.
llvm::Constant * EmitCheckTypeDescriptor(QualType T)
Emit a description of a type in a format suitable for passing to a runtime sanitizer handler.
@ ForceLeftToRight
! Language semantics require left-to-right evaluation.
@ Default
! No language constraints on evaluation order.
llvm::SmallPtrSet< const CXXRecordDecl *, 4 > VisitedVirtualBasesSetTy
void EmitAggregateCopy(LValue Dest, LValue Src, QualType EltTy, AggValueSlot::Overlap_t MayOverlap, bool isVolatile=false)
EmitAggregateCopy - Emit an aggregate copy.
LValue EmitLValueForField(LValue Base, const FieldDecl *Field, bool IsInBounds=true)
const TargetInfo & getTarget() const
Address EmitCXXMemberDataPointerAddress(const Expr *E, Address base, llvm::Value *memberPtr, const MemberPointerType *memberPtrType, bool IsInBounds, LValueBaseInfo *BaseInfo=nullptr, TBAAAccessInfo *TBAAInfo=nullptr)
Emit the address of a field using a member data pointer.
void maybeCreateMCDCCondBitmap()
Allocate a temp value on the stack that MCDC can use to track condition results.
Address GetAddrOfBlockDecl(const VarDecl *var)
void EnterDtorCleanups(const CXXDestructorDecl *Dtor, CXXDtorType Type)
EnterDtorCleanups - Enter the cleanups necessary to complete the given phase of destruction for a des...
llvm::Value * EmitPointerAuthSign(const CGPointerAuthInfo &Info, llvm::Value *Pointer)
void EmitCXXConstructorCall(const CXXConstructorDecl *D, CXXCtorType Type, bool ForVirtualBase, bool Delegating, AggValueSlot ThisAVS, const CXXConstructExpr *E)
void EmitCheck(ArrayRef< std::pair< llvm::Value *, SanitizerKind::SanitizerOrdinal > > Checked, SanitizerHandler Check, ArrayRef< llvm::Constant * > StaticArgs, ArrayRef< llvm::Value * > DynamicArgs, const TrapReason *TR=nullptr)
Create a basic block that will either trap or call a handler function in the UBSan runtime with the p...
llvm::Value * emitArrayLength(const ArrayType *arrayType, QualType &baseType, Address &addr)
emitArrayLength - Compute the length of an array, even if it's a VLA, and drill down to the base elem...
bool HaveInsertPoint() const
HaveInsertPoint - True if an insertion point is defined.
void EmitVTableAssumptionLoads(const CXXRecordDecl *ClassDecl, Address This)
Emit assumption load for all bases.
CGDebugInfo * getDebugInfo()
void EmitDestructorBody(FunctionArgList &Args)
EmitDestructorBody - Emits the body of the current destructor.
LValue EmitLValueForFieldInitialization(LValue Base, const FieldDecl *Field)
EmitLValueForFieldInitialization - Like EmitLValueForField, except that if the Field is a reference,...
Address GetAddressOfDirectBaseInCompleteClass(Address Value, const CXXRecordDecl *Derived, const CXXRecordDecl *Base, bool BaseIsVirtual)
GetAddressOfBaseOfCompleteClass - Convert the given pointer to a complete class to the given direct b...
RValue EmitCall(const CGFunctionInfo &CallInfo, const CGCallee &Callee, ReturnValueSlot ReturnValue, const CallArgList &Args, llvm::CallBase **CallOrInvoke, bool IsMustTail, SourceLocation Loc, bool IsVirtualFunctionPointerThunk=false)
EmitCall - Generate a call of the given function, expecting the given result type,...
const TargetCodeGenInfo & getTargetHooks() const
void EmitCtorPrologue(const CXXConstructorDecl *CD, CXXCtorType Type, FunctionArgList &Args)
EmitCtorPrologue - This routine generates necessary code to initialize base classes and non-static da...
void incrementProfileCounter(const Stmt *S, llvm::Value *StepV=nullptr)
Increment the profiler's counter for the given statement by StepV.
void EmitTypeMetadataCodeForVCall(const CXXRecordDecl *RD, llvm::Value *VTable, SourceLocation Loc)
If whole-program virtual table optimization is enabled, emit an assumption that VTable is a member of...
llvm::CallInst * EmitNounwindRuntimeCall(llvm::FunctionCallee callee, const Twine &name="")
ASTContext & getContext() const
void Destroyer(CodeGenFunction &CGF, Address addr, QualType ty)
const Decl * CurFuncDecl
CurFuncDecl - Holds the Decl for the current outermost non-closure context.
void EmitStoreThroughLValue(RValue Src, LValue Dst, bool isInit=false)
EmitStoreThroughLValue - Store the specified rvalue into the specified lvalue, where both are guarant...
llvm::Value * LoadCXXVTT()
LoadCXXVTT - Load the VTT parameter to base constructors/destructors have virtual bases.
void EmitParmDecl(const VarDecl &D, ParamValue Arg, unsigned ArgNo)
EmitParmDecl - Emit a ParmVarDecl or an ImplicitParamDecl.
void EmitInitializerForField(FieldDecl *Field, LValue LHS, Expr *Init)
void EmitLambdaInAllocaCallOpBody(const CXXMethodDecl *MD)
bool needsEHCleanup(QualType::DestructionKind kind)
Determines whether an EH cleanup is required to destroy a type with the given destruction kind.
void EmitStmt(const Stmt *S, ArrayRef< const Attr * > Attrs={})
EmitStmt - Emit the code for the statement.
CleanupKind getCleanupKind(QualType::DestructionKind kind)
llvm::Type * ConvertTypeForMem(QualType T)
void EmitSynthesizedCXXCopyCtorCall(const CXXConstructorDecl *D, Address This, Address Src, const CXXConstructExpr *E)
void EmitDeleteCall(const FunctionDecl *DeleteFD, llvm::Value *Ptr, QualType DeleteTy, llvm::Value *NumElements=nullptr, CharUnits CookieSize=CharUnits())
CodeGenTypes & getTypes() const
static TypeEvaluationKind getEvaluationKind(QualType T)
getEvaluationKind - Return the TypeEvaluationKind of QualType T.
void ExitCXXTryStmt(const CXXTryStmt &S, bool IsFnTryBlock=false)
bool IsSanitizerScope
True if CodeGen currently emits code implementing sanitizer checks.
void emitImplicitAssignmentOperatorBody(FunctionArgList &Args)
void EmitTypeCheck(TypeCheckKind TCK, SourceLocation Loc, LValue LV, QualType Type, SanitizerSet SkippedChecks=SanitizerSet(), llvm::Value *ArraySize=nullptr)
void EmitLambdaBlockInvokeBody()
void EmitCfiSlowPathCheck(SanitizerKind::SanitizerOrdinal Ordinal, llvm::Value *Cond, llvm::ConstantInt *TypeId, llvm::Value *Ptr, ArrayRef< llvm::Constant * > StaticArgs)
Emit a slow path cross-DSO CFI check which calls __cfi_slowpath if Cond if false.
void EmitInheritedCXXConstructorCall(const CXXConstructorDecl *D, bool ForVirtualBase, Address This, bool InheritedFromVBase, const CXXInheritedCtorInitExpr *E)
Emit a call to a constructor inherited from a base class, passing the current constructor's arguments...
RawAddress CreateMemTemp(QualType T, const Twine &Name="tmp", RawAddress *Alloca=nullptr)
CreateMemTemp - Create a temporary memory object of the given type, with appropriate alignmen and cas...
bool sanitizePerformTypeCheck() const
Whether any type-checking sanitizers are enabled.
void EmitAggExpr(const Expr *E, AggValueSlot AS)
EmitAggExpr - Emit the computation of the specified expression of aggregate type.
llvm::Value * GetVTTParameter(GlobalDecl GD, bool ForVirtualBase, bool Delegating)
GetVTTParameter - Return the VTT parameter that should be passed to a base constructor/destructor wit...
llvm::Value * EmitScalarExpr(const Expr *E, bool IgnoreResultAssign=false)
EmitScalarExpr - Emit the computation of the specified expression of LLVM scalar type,...
void EmitCallArgs(CallArgList &Args, PrototypeWrapper Prototype, llvm::iterator_range< CallExpr::const_arg_iterator > ArgRange, AbstractCallee AC=AbstractCallee(), unsigned ParamsToSkip=0, EvaluationOrder Order=EvaluationOrder::Default)
EmitCallArgs - Emit call arguments for a function.
llvm::CallInst * EmitTrapCall(llvm::Intrinsic::ID IntrID)
Emit a call to trap or debugtrap and attach function attribute "trap-func-name" if specified.
LValue MakeAddrLValue(Address Addr, QualType T, AlignmentSource Source=AlignmentSource::Type)
void EmitTrapCheck(llvm::Value *Checked, SanitizerHandler CheckHandlerID, bool NoMerge=false, const TrapReason *TR=nullptr)
Create a basic block that will call the trap intrinsic, and emit a conditional branch to it,...
llvm::Value * LoadCXXThis()
LoadCXXThis - Load the value of 'this'.
void EnterCXXTryStmt(const CXXTryStmt &S, bool IsFnTryBlock=false)
Address GetAddrOfLocalVar(const VarDecl *VD)
GetAddrOfLocalVar - Return the address of a local variable.
void InitializeVTablePointer(const VPtr &vptr)
Initialize the vtable pointer of the given subobject.
llvm::Value * EmitVTableTypeCheckedLoad(const CXXRecordDecl *RD, llvm::Value *VTable, llvm::Type *VTableTy, uint64_t VTableByteOffset)
Emit a type checked load from the given vtable.
Address ReturnValue
ReturnValue - The temporary alloca to hold the return value.
LValue EmitLValue(const Expr *E, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
EmitLValue - Emit code to compute a designator that specifies the location of the expression.
bool ShouldEmitVTableTypeCheckedLoad(const CXXRecordDecl *RD)
Returns whether we should perform a type checked load when loading a virtual function for virtual cal...
llvm::LLVMContext & getLLVMContext()
llvm::SmallVector< VPtr, 4 > VPtrsVector
void InitializeVTablePointers(const CXXRecordDecl *ClassDecl)
void EmitVTableAssumptionLoad(const VPtr &vptr, Address This)
Emit assumption that vptr load == global vtable.
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
void EmitExprAsInit(const Expr *init, const ValueDecl *D, LValue lvalue, bool capturedByInit)
EmitExprAsInit - Emits the code necessary to initialize a location in memory with the given initializ...
QualType BuildFunctionArgList(GlobalDecl GD, FunctionArgList &Args)
llvm::Value * EmitPointerAuthAuth(const CGPointerAuthInfo &Info, llvm::Value *Pointer)
llvm::FunctionCallee CreateRuntimeFunction(llvm::FunctionType *Ty, StringRef Name, llvm::AttributeList ExtraAttrs=llvm::AttributeList(), bool Local=false, bool AssumeConvergent=false)
Create or return a runtime function declaration with the specified type and name.
CharUnits getMinimumClassObjectSize(const CXXRecordDecl *CD)
Returns the minimum object size for an object of the given class type (or a class derived from it).
const LangOptions & getLangOpts() const
CodeGenTypes & getTypes()
const TargetInfo & getTarget() const
llvm::Constant * GetNonVirtualBaseClassOffset(const CXXRecordDecl *ClassDecl, CastExpr::path_const_iterator PathBegin, CastExpr::path_const_iterator PathEnd)
Returns the offset from a derived class to a class.
CharUnits computeNonVirtualBaseClassOffset(const CXXRecordDecl *DerivedClass, CastExpr::path_const_iterator Start, CastExpr::path_const_iterator End)
CGCXXABI & getCXXABI() const
CharUnits getVBaseAlignment(CharUnits DerivedAlign, const CXXRecordDecl *Derived, const CXXRecordDecl *VBase)
Returns the assumed alignment of a virtual base of a class.
CharUnits getClassPointerAlignment(const CXXRecordDecl *CD)
Returns the assumed alignment of an opaque pointer to the given class.
CharUnits getDynamicOffsetAlignment(CharUnits ActualAlign, const CXXRecordDecl *Class, CharUnits ExpectedTargetAlign)
Given a class pointer with an actual known alignment, and the expected alignment of an object at a dy...
ItaniumVTableContext & getItaniumVTableContext()
ASTContext & getContext() const
llvm::Type * ConvertType(QualType T)
ConvertType - Convert type T into a llvm::Type.
bool inheritingCtorHasParams(const InheritedConstructor &Inherited, CXXCtorType Type)
Determine if a C++ inheriting constructor should have parameters matching those of its inherited cons...
const CGRecordLayout & getCGRecordLayout(const RecordDecl *)
getCGRecordLayout - Return record layout info for the given record decl.
const CGFunctionInfo & arrangeCXXConstructorCall(const CallArgList &Args, const CXXConstructorDecl *D, CXXCtorType CtorKind, unsigned ExtraPrefixArgs, unsigned ExtraSuffixArgs, bool PassProtoArgs=true)
Arrange a call to a C++ method, passing the given arguments.
FunctionArgList - Type for representing both the decl and type of parameters to a function.
LValue - This represents an lvalue references.
Address getAddress() const
RValue - This trivial value class is used to represent the result of an expression that is evaluated.
static RValue get(llvm::Value *V)
Address getAggregateAddress() const
getAggregateAddr() - Return the Value* of the address of the aggregate.
llvm::Value * getScalarVal() const
getScalarVal() - Return the Value* of this scalar value.
An abstract representation of an aligned address.
ReturnValueSlot - Contains the address where the return value of a function can be stored,...
Address performAddrSpaceCast(CodeGen::CodeGenFunction &CGF, Address Addr, LangAS SrcAddr, llvm::Type *DestTy, bool IsNonNull=false) const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the canonical version of C arrays with a specified constant size.
SourceLocation getEndLoc() const LLVM_READONLY
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
bool isUsed(bool CheckUsedAttr=true) const
Whether any (re-)declaration of the entity was used, meaning that a definition is required.
This represents one expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Represents a member of a struct/union/class.
bool isBitField() const
Determines whether this field is a bitfield.
unsigned getFieldIndex() const
Returns the index of this field within its record, as appropriate for passing to ASTRecordLayout::get...
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool hasTrivialBody() const
Returns whether the function has a trivial body that does not require any specific codegen.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
bool isDestroyingOperatorDelete() const
Determine whether this is a destroying operator delete.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
bool isVariadic() const
Whether this function is variadic.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
Represents a prototype with parameter type info, e.g.
param_type_iterator param_type_begin() const
bool isVariadic() const
Whether this function prototype is variadic.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, void *&InsertPos)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
QualType getReturnType() const
GlobalDecl - represents a global declaration.
CXXCtorType getCtorType() const
const Decl * getDecl() const
Represents a field injected from an anonymous union/struct into the parent scope.
ArrayRef< NamedDecl * > chain() const
bool isRelativeLayout() const
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
CXXRecordDecl * getMostRecentCXXRecordDecl() const
Note: this can trigger extra deserialization when external AST sources are used.
QualType getPointeeType() const
std::string getQualifiedNameAsString() const
bool containsType(SanitizerMask Mask, StringRef MangledTypeName, StringRef Category=StringRef()) const
bool isAddressDiscriminated() const
A (possibly-)qualified type.
bool isTriviallyCopyableType(const ASTContext &Context) const
Return true if this is a trivially copyable type (C++0x [basic.types]p9)
PointerAuthQualifier getPointerAuth() const
LangAS getAddressSpace() const
Return the address space of this type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
bool isPODType(const ASTContext &Context) const
Determine whether this is a Plain Old Data (POD) type (C++ 3.9p10).
The collection of all-type qualifiers we support.
bool hasObjCLifetime() const
LangAS getAddressSpace() const
field_range fields() const
bool mayInsertExtraPadding(bool EmitRemark=false) const
Whether we are allowed to insert extra padding between fields.
static constexpr SanitizerMask bitPosToMask(const unsigned Pos)
Create a mask with a bit enabled at position Pos.
Scope - A scope is a transient data structure that is used while parsing the program.
Encodes a location in the source.
Stmt - This represents one statement.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
bool areArgsDestroyedLeftToRightInCallee() const
Are arguments to a call destroyed left to right in the callee?
TargetCXXABI getCXXABI() const
Get the C++ ABI currently in use.
virtual bool callGlobalDeleteInDeletingDtor(const LangOptions &) const
Controls whether global operator delete is called by the deleting destructor or at the point where de...
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
CXXRecordDecl * castAsCXXRecordDecl() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Expr * getSubExpr() const
Represents a variable declaration or definition.
@ Type
The l-value was considered opaque, so the alignment was determined from a type.
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
bool isEmptyFieldForLayout(const ASTContext &Context, const FieldDecl *FD)
isEmptyFieldForLayout - Return true iff the field is "empty", that is, either a zero-width bit-field ...
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< ArrayType > arrayType
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
CXXCtorType
C++ constructor types.
@ Ctor_Base
Base object ctor.
@ Ctor_Complete
Complete object ctor.
bool isa(CodeGen::Address addr)
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
const FunctionProtoType * T
CXXDtorType
C++ destructor types.
@ Dtor_Comdat
The COMDAT used for dtors.
@ Dtor_Unified
GCC-style unified dtor.
@ Dtor_Base
Base object dtor.
@ Dtor_Complete
Complete object dtor.
@ Dtor_Deleting
Deleting dtor.
LangAS
Defines the address space values used by the address space qualifier of QualType.
U cast(CodeGen::Address addr)
CharUnits StorageOffset
The offset of the bitfield storage from the start of the struct.
Similar to AddedStructorArgs, but only notes the number of additional arguments.
Struct with all information about dynamic [sub]class needed to set vptr.
const CXXRecordDecl * NearestVBase
const CXXRecordDecl * VTableClass
CharUnits OffsetFromNearestVBase
llvm::PointerType * VoidPtrTy
llvm::IntegerType * Int8Ty
i8, i16, i32, and i64
llvm::IntegerType * SizeTy
llvm::IntegerType * Int32Ty
llvm::IntegerType * IntPtrTy
llvm::PointerType * Int8PtrTy
llvm::IntegerType * PtrDiffTy
void set(SanitizerMask K, bool Value)
Enable or disable a certain (single) sanitizer.