This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/18662] [4.0 Regression] ACATS ICE c97114a and c97117a verify_stmts failed / Statement marked for throw, but doesn't
- From: "laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 28 Nov 2004 18:38:05 -0000
- Subject: [Bug tree-optimization/18662] [4.0 Regression] ACATS ICE c97114a and c97117a verify_stmts failed / Statement marked for throw, but doesn't
- References: <20041124215641.18662.laurent@guerby.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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