[PATCH] Fix ICE at -O during ivopts

[Eric Botcazou]

> This is OK for mainline.

Thanks a lot for the review!

> However, could you also add the "package p" testcase from the post above to 
> the new gnat testsuite?

Sure.  And I'll probably be the first one to do so.  A small step for... :-)

> Please could you also reconfirm that mainline ICEs on this testcase (i.e. it
> fails) before your patch, and passes with it.

eric@linux:~/build/gcc/native32> gcc/xgcc -Bgcc -S -O p.adb -Igcc/ada/rts
p.adb:21:04: warning: "The_Data_Storage" is never assigned a value
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060620 (experimental) (i586-suse-linux-gnu) GCC error:           |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:776                                                        |
| Error detected at p.adb:30:1                                             |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |

eric@linux:~/build/gcc-patches/native32> gcc/xgcc -Bgcc -S -O p.adb 
-Igcc/ada/rts
p.adb:21:04: warning: "The_Data_Storage" is never assigned a value
eric@linux:~/build/gcc-patches/native32>      

-- 
Eric Botcazou