aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFariborz Jahanian <fjahanian@apple.com>2009-05-05 23:28:21 +0000
committerFariborz Jahanian <fjahanian@apple.com>2009-05-05 23:28:21 +0000
commit06b89124a9a5971a0528cc9da6817740bac43164 (patch)
tree4d654c8587e243df92a43dd9ccbad67e88f5db9f
parente1baed38437e08fee7ab372ba2579ce22da354c2 (diff)
Fixes a bug for objc2's gc in the presense of type-casts.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71041 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/AST/Expr.cpp4
-rw-r--r--test/CodeGenObjC/objc2-strong-cast-2.m21
2 files changed, 24 insertions, 1 deletions
diff --git a/lib/AST/Expr.cpp b/lib/AST/Expr.cpp
index 13d2a1be3f..77a25f6fc0 100644
--- a/lib/AST/Expr.cpp
+++ b/lib/AST/Expr.cpp
@@ -935,6 +935,8 @@ bool Expr::isOBJCGCCandidate() const {
return cast<ParenExpr>(this)->getSubExpr()->isOBJCGCCandidate();
case ImplicitCastExprClass:
return cast<ImplicitCastExpr>(this)->getSubExpr()->isOBJCGCCandidate();
+ case CStyleCastExprClass:
+ return cast<CStyleCastExpr>(this)->getSubExpr()->isOBJCGCCandidate();
case DeclRefExprClass:
case QualifiedDeclRefExprClass: {
const Decl *D = cast<DeclRefExpr>(this)->getDecl();
@@ -944,7 +946,7 @@ bool Expr::isOBJCGCCandidate() const {
}
case MemberExprClass: {
const MemberExpr *M = cast<MemberExpr>(this);
- return !M->isArrow() && M->getBase()->isOBJCGCCandidate();
+ return M->getBase()->isOBJCGCCandidate();
}
case ArraySubscriptExprClass:
return cast<ArraySubscriptExpr>(this)->getBase()->isOBJCGCCandidate();
diff --git a/test/CodeGenObjC/objc2-strong-cast-2.m b/test/CodeGenObjC/objc2-strong-cast-2.m
new file mode 100644
index 0000000000..61e9b98017
--- /dev/null
+++ b/test/CodeGenObjC/objc2-strong-cast-2.m
@@ -0,0 +1,21 @@
+// RUN: clang-cc -triple x86_64-darwin-10 -fobjc-gc -emit-llvm -o %t %s &&
+// RUN: grep objc_assign_strongCast %t | count 3 &&
+// RUN: true
+
+@interface A
+@end
+
+typedef struct s0 {
+ A *a[4];
+} T;
+
+T g0;
+
+void f0(id x) {
+ g0.a[0] = x;
+}
+
+void f1(id x) {
+ ((T*) &g0)->a[0] = x;
+}
+