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

re PR tree-optimization/24238 (ICE: verify_ssa failed "statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS")

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

gcc/ChangeLog

+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

gcc/testsuite/ChangeLog

+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

gcc/testsuite/g++.dg/tree-ssa/pr24238.C

+/* { 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;
+}

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)