rs6000.c (function_arg_pass_by_reference): Don't pass zero-size arrays by reference.
authorGeoffrey Keating <geoffk@apple.com>
Tue, 23 Sep 2003 21:37:32 +0000 (21:37 +0000)
committerGeoffrey Keating <geoffk@gcc.gnu.org>
Tue, 23 Sep 2003 21:37:32 +0000 (21:37 +0000)
2003-09-23  Geoffrey Keating  <geoffk@apple.com>

* config/rs6000/rs6000.c (function_arg_pass_by_reference): Don't
pass zero-size arrays by reference.
(rs6000_va_arg): Likewise.

2003-09-23  Geoffrey Keating  <geoffk@apple.com>

* gcc.dg/darwin-abi-1.c: New file.

From-SVN: r71698

gcc/ChangeLog
gcc/config/rs6000/rs6000.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/darwin-abi-1.c [new file with mode: 0644]

index 2a175b8505938e22f0dec7059af77cb3d668f064..dcb14a952286ba630f8dd2b3add813ab0b52c3fe 100644 (file)
@@ -1,3 +1,9 @@
+2003-09-23  Geoffrey Keating  <geoffk@apple.com>
+
+       * config/rs6000/rs6000.c (function_arg_pass_by_reference): Don't
+       pass zero-size arrays by reference.
+       (rs6000_va_arg): Likewise.
+
 2003-09-23  Nathanael Nerode  <neroden@gcc.gnu.org>
 
        * config.gcc: Set use_fixproto=no in each specific *-gnu*
index 0b7be5ac5e4e93d4bccb9d8a663c1a0faac9e409..c3e532e0d6e0b47ca3dd5f6a292668eda963b613 100644 (file)
@@ -3977,7 +3977,7 @@ function_arg_pass_by_reference (CUMULATIVE_ARGS *cum ATTRIBUTE_UNUSED,
 
       return 1;
     }
-  return type && int_size_in_bytes (type) <= 0;
+  return type && int_size_in_bytes (type) < 0;
 }
 \f
 /* Perform any needed actions needed for a function that is receiving a
@@ -4206,7 +4206,7 @@ rs6000_va_arg (tree valist, tree type)
   if (DEFAULT_ABI != ABI_V4)
     {
       /* Variable sized types are passed by reference.  */
-      if (int_size_in_bytes (type) <= 0)
+      if (int_size_in_bytes (type) < 0)
        {
          u = build_pointer_type (type);
 
index a06118698a1beb9d07b422cde7d015ca06a5f48c..494bedb59c0bf4773f10762d9d36bd7a1c94d53b 100644 (file)
@@ -1,3 +1,7 @@
+2003-09-23  Geoffrey Keating  <geoffk@apple.com>
+
+       * gcc.dg/darwin-abi-1.c: New file.
+
 2003-09-21  Andrew Pinski  <pinskia@physics.uc.edu>
 
        PR target/12281
diff --git a/gcc/testsuite/gcc.dg/darwin-abi-1.c b/gcc/testsuite/gcc.dg/darwin-abi-1.c
new file mode 100644 (file)
index 0000000..c7c0288
--- /dev/null
@@ -0,0 +1,12 @@
+/* { dg-do compile { target powerpc*-*-darwin* } } */
+/* { dg-options "-O" } */
+/* { dg-final { scan-assembler "li r3,12345\n\tbl " } } */
+
+/* Check that zero-size structures don't affect parameter passing.  */
+
+struct empty { };
+extern void foo (struct empty e, int a);
+void bar (void) {
+  struct empty e;
+  foo (e, 12345);
+}