[Bug ada/22024] New: ACATS ICE cxa5a07 cxa5a08 cxg2016 SEGV in get_rank tree-ssa-reassoc.c:292

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

More info on cxa5a07
(gdb) bt
#0  0x000000000095330e in get_rank (e=0x2a95fea230) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:292
#1  0x00000000009534fc in get_rank (e=0x2a95fea2a0) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:320
#2  0x0000000000953773 in reassociate_bb (bb=0x2a95fb98f0) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:429
#3  0x0000000000953850 in reassociate_bb (bb=0x2a95fb9270) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:588
#4  0x0000000000953850 in reassociate_bb (bb=0x2a95fb9000) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:588
#5  0x0000000000953850 in reassociate_bb (bb=0x2a95fb7dd0) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:588
#6  0x0000000000953850 in reassociate_bb (bb=0x2a95fb7a90) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:588
#7  0x000000000095452b in execute_reassoc () at
/home/guerby/work/gcc/version-head/gcc/tree-ssa-reassoc.c:599
#8  0x000000000063e9cf in execute_pass_list (pass=0xca57e0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:630
#9  0x000000000063ea5f in execute_pass_list (pass=0xc8f2c0) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:668
#10 0x000000000063edc5 in tree_rest_of_compilation (fndecl=0x2a95962d00) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:800
#11 0x0000000000983586 in cgraph_expand_function (node=0x2a95981ea0) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:968
#12 0x0000000000985337 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1034
#13 0x000000000041b08a in gnat_parse_file (set_yydebug=Variable "set_yydebug" is
not available.

289
290           if (TREE_CODE (SSA_NAME_VAR (e)) == PARM_DECL
291               && e == default_def (SSA_NAME_VAR (e)))
292             return find_value_rank (e)->rank;
293

(gdb) p debug_generic_stmt (current_function_decl)
cxa5a07__test_block__gef__arctan__2D.891

(gdb)  p debug_generic_stmt (e.ssa_name.var)
CHAIN.89D.1968

$12 = void
(gdb) p debug_tree (current_function_decl.decl.arguments)
 <parm_decl 0x2a959629c0 y
    type <real_type 0x2a9595c4e0 fxa5a00__Tnew_floatB readonly sizes-gimplified SF
        size <integer_cst 0x2a958aba50 constant invariant 32>
        unit size <integer_cst 0x2a958ab570 constant invariant 4>
        user align 32 symtab 0 alias set -1 precision 32 min <real_cst
0x2a9595a960 -3.4028234663852885981170418348451692544e+38> max <real_cst
0x2a9595a9c0 3.4028234663852885981170418348451692544e+38>>
    readonly SF file
/home/guerby/work/gcc/install/install-20050611T203622/lib/gcc/x86_64-unknown-linux-gnu/4.1.0/adainclude/a-ngelfu.ads
line 48 size <integer_cst 0x2a958aba50 32> unit size <integer_cst 0x2a958ab570 4>
    align 32 context <function_decl 0x2a95962d00
cxa5a07__test_block__gef__arctan__2> result <real_type 0x2a9595c4e0
fxa5a00__Tnew_floatB> initial <real_type 0x2a9595c4e0 fxa5a00__Tnew_floatB>
arg-type <real_type 0x2a9595c4e0 fxa5a00__Tnew_floatB> arg-type-as-written
<real_type 0x2a9595c4e0 fxa5a00__Tnew_floatB> chain <parm_decl 0x2a95962a90 x>>
$13 = void

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| Segmentation fault                                                       |
| Error detected at cxa5a07.adb:413:5                                      |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| Segmentation fault                                                       |
| Error detected at cxa5a08.adb:474:5                                      |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| Segmentation fault                                                       |
| Error detected at cxg2016.adb:482:5                                      |

-- 
           Summary: ACATS ICE cxa5a07 cxa5a08 cxg2016 SEGV in get_rank tree-
                    ssa-reassoc.c:292
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
                    dot org


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