[Bug tree-optimization/18662] [4.0 Regression] ACATS ICE c97114a and c97117a verify_stmts failed / Statement marked for throw, but doesn't

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-11-28 18:38 
-------
c97117a fails the same way:

/home/guerby/work/gcc/build/build-20041128T003315/gcc/xgcc -c
-B/home/guerby/work/gcc/build/build-20041128T003315/gcc/ -gnatws -O2
-I/home/guerby/work/gcc/build/build-20041128T003315/gcc/testsuite/ada/acats/support
c97117a.adb
c97117a.adb: In function 'C97117A.T':
c97117a.adb:45: error: Statement marked for throw, but doesn't.
#   VUSE <S0D.851_317>;
D.936_123 = S0D.851.ARRAYD.849[1]{lb: 1 sz: 8}.sD.747;

+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041127 (experimental) (i686-pc-linux-gnu) verify_stmts failed.   |
| Error detected at c97117a.adb:72:5                                       |


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0 Regression] ACATS ICE  |[4.0 Regression] ACATS ICE
                   |c97114a verify_stmts failed |c97114a and c97117a
                   |/ Statement marked for      |verify_stmts failed /
                   |throw, but doesn't          |Statement marked for throw,
                   |                            |but doesn't


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