diff options
| -rw-r--r-- | clang/lib/CodeGen/CGCall.cpp | 2 | ||||
| -rw-r--r-- | clang/test/CodeGenObjC/unqual-copy-restore.m | 14 |
2 files changed, 15 insertions, 1 deletions
diff --git a/clang/lib/CodeGen/CGCall.cpp b/clang/lib/CodeGen/CGCall.cpp index 233f6c17d48..2c40854bbb6 100644 --- a/clang/lib/CodeGen/CGCall.cpp +++ b/clang/lib/CodeGen/CGCall.cpp @@ -3269,7 +3269,7 @@ void CodeGenFunction::EmitCallArg(CallArgList &args, const Expr *E, if (const ObjCIndirectCopyRestoreExpr *CRE = dyn_cast<ObjCIndirectCopyRestoreExpr>(E)) { assert(getLangOpts().ObjCAutoRefCount); - assert(getContext().hasSameType(E->getType(), type)); + assert(getContext().hasSameUnqualifiedType(E->getType(), type)); return emitWritebackArg(*this, args, CRE); } diff --git a/clang/test/CodeGenObjC/unqual-copy-restore.m b/clang/test/CodeGenObjC/unqual-copy-restore.m new file mode 100644 index 00000000000..09915f7ce6a --- /dev/null +++ b/clang/test/CodeGenObjC/unqual-copy-restore.m @@ -0,0 +1,14 @@ +// RUN: %clang_cc1 %s -fobjc-arc -S -emit-llvm -o /dev/null + +// rdar://problem/28488427 - Don't crash if the argument type and the parameter +// type in an indirect copy restore expression have different qualification. +@protocol P1 +@end + +typedef int handler(id<P1> *const p); + +int main() { + id<P1> i1 = 0; + handler *func = 0; + return func(&i1); +} |
