PR tree-optimization/36504

	* tree-ssa-loop-prefetch.c (gather_memory_references_ref): Skip
	references without base address.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@137061 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9ab80e0..4a88491 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-06-24  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/36504
+       * tree-ssa-loop-prefetch.c (gather_memory_references_ref): Skip
+       references without base address.
+
 2008-06-23  Uros Bizjak  <ubizjak@gmail.com>
 
        PR middle-end/PR36584

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a377829..c7a7cd2 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-06-24  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/36504
+       * gcc.dg/pr36504.c: New test.
+
 2008-06-23  Uros Bizjak  <ubizjak@gmail.com>
 
        PR middle-end/PR36584

diff --git a/gcc/testsuite/gcc.dg/pr36504.c b/gcc/testsuite/gcc.dg/pr36504.c
new file mode 100644 (file)
index 0000000..0db6ebc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr36504.c
@@ -0,0 +1,25 @@
+/* PR tree-optimization/36504 */
+/* { dg-do compile } */
+/* { dg-options "-O3 -fprefetch-loop-arrays" } */
+
+struct A { struct { int a; } b[8]; };
+struct B { int c; int d; };
+struct C { struct B d; };
+
+void bar (struct C *, int);
+
+struct B
+foo (struct C *p, struct A *e, int b)
+{
+  struct B q;
+  bar (p, e->b[b].a);
+  return q;
+}
+
+void
+baz (int b, struct A *e)
+{
+  struct C p;
+  for (; b; ++b)
+    p.d = foo (&p, e, b);
+}

diff --git a/gcc/tree-ssa-loop-prefetch.c b/gcc/tree-ssa-loop-prefetch.c
index 651ccbb..14044c4 100644 (file)
--- a/gcc/tree-ssa-loop-prefetch.c
+++ b/gcc/tree-ssa-loop-prefetch.c
@@ -457,6 +457,9 @@ gather_memory_references_ref (struct loop *loop, struct mem_ref_group **refs,
   HOST_WIDE_INT step, delta;
   struct mem_ref_group *agrp;
 
+  if (get_base_address (ref) == NULL)
+    return false;
+
   if (!analyze_ref (loop, &ref, &base, &step, &delta, stmt))
     return false;