re PR middle-end/45461 (ICE: verify_gimple failed: INDIRECT_REF in gimple IL with...

	PR middle-end/45461
	* builtins.c (dummy_object): Return a MEM_REF instead of INDIRECT_REF.

	* gcc.dg/pr45461.c: New test.

From-SVN: r163678

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 388de77..a7d6b1c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-08-31  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/45461
+       * builtins.c (dummy_object): Return a MEM_REF instead of INDIRECT_REF.
+
 2010-08-31  Nathan Froyd  <froydnj@codesourcery.com>
 
        * config/fr30/fr30.c (fr30_move_double): Delete `dregno' and extra

diff --git a/gcc/builtins.c b/gcc/builtins.c
index ff1141f..4b540d8 100644 (file)
--- a/gcc/builtins.c
+++ b/gcc/builtins.c
@@ -4741,7 +4741,7 @@ static tree
 dummy_object (tree type)
 {
   tree t = build_int_cst (build_pointer_type (type), 0);
-  return build1 (INDIRECT_REF, type, t);
+  return build2 (MEM_REF, type, t, t);
 }
 
 /* Gimplify __builtin_va_arg, aka VA_ARG_EXPR, which is not really a

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 286eb57..9f39d48 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-08-31  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/45461
+       * gcc.dg/pr45461.c: New test.
+
 2010-08-31  Richard Guenther  <rguenther@suse.de>
 
        PR testsuite/45455

diff --git a/gcc/testsuite/gcc.dg/pr45461.c b/gcc/testsuite/gcc.dg/pr45461.c
new file mode 100644 (file)
index 0000000..7968f73
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr45461.c
@@ -0,0 +1,18 @@
+/* PR middle-end/45461 */
+/* { dg-do compile } */
+
+#include <stdarg.h>
+
+int
+foo (int i, ...)
+{
+  short e;
+  va_list ap;
+  va_start (ap, i);
+  e = va_arg (ap, short);      /* { dg-warning "is promoted" } */
+  va_end (ap);
+  return e;
+}
+
+/* { dg-message "note: \\(so you should pass" "" {target *-*-* } 12 } */
+/* { dg-message "note: if this code" "" {target *-*-* } 12 } */