From 35969ea5c5a117c1131edee1866e47e2a33f07bb Mon Sep 17 00:00:00 2001 From: Adrian Prantl Date: Thu, 26 Sep 2013 21:35:50 +0000 Subject: [PATCH] Debug info: Fix a crash when trying to construct a type with redundant ownership qualifiers. Fixes rdar://problem/14990656. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@191463 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGDebugInfo.cpp | 6 ++++- test/CodeGenObjC/debug-info-lifetime-crash.m | 23 ++++++++++++++++++++ 2 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 test/CodeGenObjC/debug-info-lifetime-crash.m diff --git a/lib/CodeGen/CGDebugInfo.cpp b/lib/CodeGen/CGDebugInfo.cpp index eebafe40bb..5e3d38284b 100644 --- a/lib/CodeGen/CGDebugInfo.cpp +++ b/lib/CodeGen/CGDebugInfo.cpp @@ -1891,7 +1891,11 @@ llvm::DIType CGDebugInfo::CreateEnumType(const EnumType *Ty) { static QualType UnwrapTypeForDebugInfo(QualType T, const ASTContext &C) { Qualifiers Quals; do { - Quals += T.getLocalQualifiers(); + Qualifiers InnerQuals = T.getLocalQualifiers(); + // Qualifiers::operator+() doesn't like it if you add a Qualifier + // that is already there. + Quals += Qualifiers::removeCommonQualifiers(Quals, InnerQuals); + Quals += InnerQuals; QualType LastT = T; switch (T->getTypeClass()) { default: diff --git a/test/CodeGenObjC/debug-info-lifetime-crash.m b/test/CodeGenObjC/debug-info-lifetime-crash.m new file mode 100644 index 0000000000..90382010fb --- /dev/null +++ b/test/CodeGenObjC/debug-info-lifetime-crash.m @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 -cc1 -triple arm-apple-ios -emit-llvm -g -fblocks -fobjc-runtime=ios-7.0.0 -fobjc-arc %s -o - | FileCheck %s +// rdar://problem/14990656 +@protocol NSObject +- (id)copy; +@end +@class W; +@interface View1 +@end +@implementation Controller { + void (^Block)(void); +} +- (void)View:(View1 *)View foo:(W *)W +{ + // The debug type for these two will be identical, because we do not + // actually emit the ownership qualifier. + // CHECK-DAG: metadata !"weakSelf", metadata !{{[0-9]+}}, i32 [[@LINE+1]], metadata ![[SELFTY:[0-9]+]], i32 0, i32 0, {{.*}}} ; [ DW_TAG_auto_variable ] [weakSelf] + __attribute__((objc_ownership(weak))) __typeof(self) weakSelf = self; + Block = [^{ + // CHECK-DAG: metadata !"strongSelf", metadata !{{[0-9]+}}, i32 [[@LINE+1]], metadata ![[SELFTY]], i32 0, i32 0} ; [ DW_TAG_auto_variable ] [strongSelf] + __attribute__((objc_ownership(strong))) __typeof(self) strongSelf = weakSelf; + } copy]; +} +@end -- 2.40.0