This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/21959] [4.1 Regression] Ada depends on signed overflow
- From: "pluto at agmk dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 10 Jun 2005 21:24:02 -0000
- Subject: [Bug ada/21959] [4.1 Regression] Ada depends on signed overflow
- References: <20050608123145.21959.pinskia@gcc.gnu.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From pluto at agmk dot net 2005-06-10 21:23 -------
with this workaround stage3 fails :/
(...)
../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg a-ncelfu.ads -o
a-ncelfu.o
a-ngcefu.adb: In function 'Ada.Numerics.Complex_Elementary_Functions.Sqrt':
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1921_90 = ada__numerics__complex_types__compose_from_cartesian (D.1920_89,
0.0);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1928_86 = ada__numerics__complex_types__compose_from_cartesian (0.0,
D.1927_85);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1931_78 = ada__numerics__complex_types__compose_from_cartesian
(r_xD.1914_73, r_xD.1914_73);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1933_76 = ada__numerics__complex_types__compose_from_cartesian
(r_xD.1914_73, D.1932_75);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1948_55 = ada__numerics__complex_types__compose_from_cartesian (r_xD.1914_2,
r_yD.1915_4);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1950_21 = ada__numerics__complex_types__Odivide__3 (xD.370_6, 4.0e+0);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1953_25 = ada__numerics__complex_types__compose_from_cartesian (D.1952_24,
D.1951_22);
a-ngcefu.adb:578: error: Statement marked for throw in middle of block.
D.1948_45 = ada__numerics__complex_types__compose_from_cartesian
(r_xD.1914_34, r_yD.1915_5);
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (experimental) (i686-pld-linux-gnu) verify_stmts failed. |
| Error detected at a-ncelfu.ads:23:1 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
(...)
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:381
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21959