re PR tree-optimization/24238 (ICE: verify_ssa failed "statement makes a memory store...

2005-10-06  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/24238
	* tree-ssa-alias.c (find_used_portions): Handle PARAM_DECL.

	* g++.dg/tree-ssa/pr24238.C: New testcase.

From-SVN: r105043

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e03453b3c424b3351ed53fb76877b682a272a93f..5ddf69b2199f3f98b4eda74ad1b3932a2eb170b4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-10-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/24238
+       * tree-ssa-alias.c (find_used_portions): Handle PARAM_DECL.
+
 2005-10-06  Daniel Jacobowitz  <dan@codesourcery.com>
 
        * acinclude.m4 (gcc_AC_CHECK_TOOL): Handle environment variables

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 71b4ecb5260f326be3c3af4a2d0ab52c2b4d8891..4d9642784bc0d0bad1638a8365562b4ab637595a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-10-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/24238
+       * g++.dg/tree-ssa/pr24238.C: New testcase.
+
 2005-10-07  Erik Edelmann  <erik.edelmann@iki.fi>
 
        PR 18568

diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr24238.C b/gcc/testsuite/g++.dg/tree-ssa/pr24238.C
new file mode 100644 (file)
index 0000000..3fdd578
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr24238.C
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+typedef struct SDL_Rect {
+    unsigned short w, h;
+}SDL_Rect;
+SDL_Rect *location();
+SDL_Rect inner_location()
+{
+    SDL_Rect r = *location();
+    r.w -= 1;
+    return r;
+}

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 30c1e9d990d5b3e96ff2719a50cfe3816187abec..8ce285f9ba580091f74020d57e05e728a9d6bf64 100644 (file)
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -2765,6 +2765,7 @@ find_used_portions (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
       break;
     case VAR_DECL:
     case PARM_DECL:
+    case RESULT_DECL:
       {
        tree var = *tp;
        if (DECL_SIZE (var)