[Bug tree-optimization/16225] [3.5 regression] ICE: verify_ssa failed.

["zhangjie at magima dot com dot cn" <gcc-bugzilla@gcc.gnu.org>]

------- Additional Comments From zhangjie at magima dot com dot cn  2004-08-01 16:09 -------
I add the following check in verify_flow_insensitive_alias_info (). It shows
that there are some other mark_call_clobbered () call sites, which will fail the
check. I'm going to look them closer.

Index: tree-ssa.c
===================================================================
RCS file: /cvsroot/gcc/gcc/gcc/tree-ssa.c,v
retrieving revision 2.26
diff -C3 -p -r2.26 tree-ssa.c
*** tree-ssa.c	29 Jul 2004 20:16:26 -0000	2.26
--- tree-ssa.c	1 Aug 2004 14:38:57 -0000
*************** verify_flow_insensitive_alias_info (void
*** 368,373 ****
--- 368,386 ----
  	      debug_variable (alias);
  	      goto err;
  	    }
+ 
+ 	  if (is_call_clobbered (var) && !is_call_clobbered (alias))
+ 	    {
+ 	      error ("Variable is call-clobbered, but its alias is not.");
+ 	      debug_variable (alias);
+ 	      goto err;
+ 	    }
+ 	  else if (!is_call_clobbered (var) && is_call_clobbered (alias))
+ 	    {
+ 	      error ("Variable is not call-clobbered, but its alias is.");
+ 	      debug_variable (alias);
+ 	      goto err;
+ 	    }
  	}
      }
  

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16225