[Bug tree-optimization/21994] New: [4.1 regression] ICE: verify_stmts failed

["schwab at suse dot de" <gcc-bugzilla at gcc dot gnu dot org>]

../../xgcc -B../../  -c -g -O2 -fPIC -DUSE_GAS_SYMVER      -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.1949_90 = ada__numerics__complex_types__compose_from_cartesian (D.1948_89, 
0.0); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1956_86 = ada__numerics__complex_types__compose_from_cartesian (0.0, 
D.1955_85); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1959_78 = ada__numerics__complex_types__compose_from_cartesian 
(r_xD.1942_73, r_xD.1942_73); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1961_76 = ada__numerics__complex_types__compose_from_cartesian 
(r_xD.1942_73, D.1960_75); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1976_55 = ada__numerics__complex_types__compose_from_cartesian (r_xD.1942_2, 
r_yD.1943_4); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1978_21 = ada__numerics__complex_types__Odivide__3 (xD.408_6, 4.0e+0); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1981_25 = ada__numerics__complex_types__compose_from_cartesian (D.1979_22, 
D.1980_24); 
 
a-ngcefu.adb:578: error: Statement marked for throw in middle of block. 
D.1976_45 = ada__numerics__complex_types__compose_from_cartesian 
(r_xD.1942_34, r_yD.1943_5); 
 
+===========================GNAT BUG DETECTED==============================+ 
| 4.1.0 20050610 (experimental) (ia64-suse-linux-gnu) verify_stmts failed. | 
| Error detected at a-ncelfu.ads:23:1                                      |

-- 
           Summary: [4.1 regression] ICE: verify_stmts failed
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: schwab at suse dot de
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: ia64-linux


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