[Bug middle-end/11514] [tree-ssa] ICE on bootstrap with ada in sem_util.adb --- walk_tree does not know about PLACEHOLDER_EXPR

["steven at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2003-07-14 02:05:57         |2003-07-18 21:14:15
               date|                            |


------- Additional Comments From steven at gcc dot gnu dot org  2003-07-18 21:14 -------
OK I have a trace for this one.  The problem seems to be that the default lang
hook.  Jason, it turns out to be a patch of yours:

2003-01-02  Jason Merrill  <jason@redhat.com>
                                                                               
                                 
        * c-simplify.c (c_genericize): Dump more info about the function.
        Use dump_function.
        * tree-dump.c (dump_function): Move from cp/optimize.c.
        * tree-dump.h: Declare it.
                                                                               
                                 
        * gimplify.c (mostly_copy_tree_r): Remove unnecessary cases.
        (unshare_expr): New fn.
        * tree-inline.c (mark_local_for_remap_r, unsave_r): New fns, adapted
        from C++ versions.
        (lhd_unsave_expr_now): Likewise.
        * tree.c (unsave_expr_now): Remove.
        (unsafe_for_reeval): Labels and BIND_EXPRs are only somewhat unsafe.

The problem is that tree-inline.c:lhd_unsave_expr_now uses
walk_tree_without_duplicates.

Jason, can you fix this, I don't understand what you tried to do here with this
change, and I can't find a message for it in the mailing list archives...




(gdb) set args -g -O2 -gnatpg -gnata -I- -I. -Iada -I../../tree-ssa/gcc/ada
../../tree-ssa/gcc/ada/sem_util.adb -o ada/sem_util.o
(gdb) run
Starting program: /home/steven/devel/ssabuild/gcc/stage1/gnat1 -g -O2 -gnatpg
-gnata -I- -I. -Iada -I../../tree-ssa/gcc/ada
../../tree-ssa/gcc/ada/sem_util.adb -o ada/sem_util.o
Breakpoint 2 at 0x40048c56
Breakpoint 3 at 0x40047c89
 sem_util.add_access_type_to_process sem_util.alignment_in_bits
sem_util.apply_compile_time_constraint_error
Breakpoint 1, fancy_abort (file=0x860d540 "../../tree-ssa/gcc/tree-inline.c",
line=1653,
    function=0x860d5f4 "walk_tree") at ../../tree-ssa/gcc/diagnostic.c:1468
1468      internal_error ("in %s, at %s:%d", function, trim_filename (file), line);
(gdb) where
#0  fancy_abort (file=0x860d540 "../../tree-ssa/gcc/tree-inline.c", line=1653,
function=0x860d5f4 "walk_tree")
    at ../../tree-ssa/gcc/diagnostic.c:1468
#1  0x08478527 in walk_tree (tp=0x40171b38, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1653
#2  0x084780f9 in walk_tree (tp=0x40258a98, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#3  0x084780f9 in walk_tree (tp=0x40171c38, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#4  0x084780f9 in walk_tree (tp=0x4033b318, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#5  0x084780f9 in walk_tree (tp=0x40340ec0, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#6  0x084782b7 in walk_tree (tp=0x40340ef8, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1592
#7  0x084780f9 in walk_tree (tp=0x40340f14, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#8  0x084780f9 in walk_tree (tp=0x40340f30, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#9  0x084782b7 in walk_tree (tp=0x40340f34, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1592
#10 0x084780f9 in walk_tree (tp=0x40340fa0, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#11 0x084782b7 in walk_tree (tp=0x40340e1c, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1592
#12 0x084780f9 in walk_tree (tp=0xbfffd8b0, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#13 0x08478565 in walk_tree_without_duplicates (tp=0xbfffd8b0, func=0x8478795
<mark_local_for_remap_r>,
    data=0xbfffd870) at ../../tree-ssa/gcc/tree-inline.c:1677
#14 0x084789ad in lhd_unsave_expr_now (expr=0x4033b9e0) at
../../tree-ssa/gcc/tree-inline.c:1895
#15 0x082b4287 in expand_expr (exp=0x403432a0, target=0x0, tmode=VOIDmode,
modifier=EXPAND_STACK_PARM)
    at ../../tree-ssa/gcc/expr.c:7054
#16 0x084d7efc in store_one_arg (arg=0xbfffdbb0, argblock=0x40149040, flags=256,
variable_size=0,
    reg_parm_stack_space=0) at ../../tree-ssa/gcc/calls.c:4341
#17 0x084d5633 in expand_call (exp=0x4033ba00, target=0x0, ignore=0) at
../../tree-ssa/gcc/calls.c:2943
#18 0x082b61b0 in expand_expr (exp=0x4033ba00, target=0x0, tmode=VOIDmode,
modifier=EXPAND_NORMAL)
    at ../../tree-ssa/gcc/expr.c:7935
#19 0x08276e5d in do_jump (exp=0x4033ba00, if_false_label=0x0,
if_true_label=0x40341e18)
    at ../../tree-ssa/gcc/dojump.c:564
#12 0x084780f9 in walk_tree (tp=0xbfffd8b0, func=0x8478795
<mark_local_for_remap_r>, data=0xbfffd870,
    htab_=0x8930410) at ../../tree-ssa/gcc/tree-inline.c:1527
#13 0x08478565 in walk_tree_without_duplicates (tp=0xbfffd8b0, func=0x8478795
<mark_local_for_remap_r>,
    data=0xbfffd870) at ../../tree-ssa/gcc/tree-inline.c:1677
#14 0x084789ad in lhd_unsave_expr_now (expr=0x4033b9e0) at
../../tree-ssa/gcc/tree-inline.c:1895
#15 0x082b4287 in expand_expr (exp=0x403432a0, target=0x0, tmode=VOIDmode,
modifier=EXPAND_STACK_PARM)
    at ../../tree-ssa/gcc/expr.c:7054
#16 0x084d7efc in store_one_arg (arg=0xbfffdbb0, argblock=0x40149040, flags=256,
variable_size=0,
    reg_parm_stack_space=0) at ../../tree-ssa/gcc/calls.c:4341
#17 0x084d5633 in expand_call (exp=0x4033ba00, target=0x0, ignore=0) at
../../tree-ssa/gcc/calls.c:2943
#18 0x082b61b0 in expand_expr (exp=0x4033ba00, target=0x0, tmode=VOIDmode,
modifier=EXPAND_NORMAL)
    at ../../tree-ssa/gcc/expr.c:7935
#19 0x08276e5d in do_jump (exp=0x4033ba00, if_false_label=0x0,
if_true_label=0x40341e18)
    at ../../tree-ssa/gcc/dojump.c:564
#20 0x082769a9 in do_jump (exp=0x4033bac0, if_false_label=0x0,
if_true_label=0x40341e18)
    at ../../tree-ssa/gcc/dojump.c:410
#21 0x08276378 in do_jump (exp=0x4033bae0, if_false_label=0x40341dec,
if_true_label=0x40341e18)
    at ../../tree-ssa/gcc/dojump.c:259
#22 0x0845aeb8 in expand_start_cond (cond=0x4033bae0, exitflag=0) at
../../tree-ssa/gcc/stmt.c:2550
#23 0x080736cf in tree_transform (gnat_node=1669) at
../../tree-ssa/gcc/ada/trans.c:2064
#24 0x0806f670 in gnat_to_code (gnat_node=1669) at
../../tree-ssa/gcc/ada/trans.c:238
#25 0x08076a07 in tree_transform (gnat_node=1656) at
../../tree-ssa/gcc/ada/trans.c:3466
#26 0x0806f670 in gnat_to_code (gnat_node=1656) at
../../tree-ssa/gcc/ada/trans.c:238
#27 0x08074c95 in tree_transform (gnat_node=1640) at
../../tree-ssa/gcc/ada/trans.c:2681
#28 0x0806f670 in gnat_to_code (gnat_node=1640) at
../../tree-ssa/gcc/ada/trans.c:238
#29 0x08078999 in process_decls (gnat_decls=-99999960, gnat_decls2=0,
gnat_end_list=0, pass1p=1, pass2p=1)
    at ../../tree-ssa/gcc/ada/trans.c:4351
#30 0x080760d7 in tree_transform (gnat_node=1487) at
../../tree-ssa/gcc/ada/trans.c:3176
#31 0x0806f670 in gnat_to_code (gnat_node=1487) at
../../tree-ssa/gcc/ada/trans.c:238
#32 0x080762a2 in tree_transform (gnat_node=1355) at
../../tree-ssa/gcc/ada/trans.c:3233
#33 0x0806f670 in gnat_to_code (gnat_node=1355) at
../../tree-ssa/gcc/ada/trans.c:238
#34 0x0806f652 in gigi (gnat_root=1355, max_gnat_node=180002, number_name=20671,
nodes_ptr=0x4045e008,
    next_node_ptr=0x40b3d008, prev_node_ptr=0x401a7008, elists_ptr=0x89d2c30,
elmts_ptr=0x892e018,
    strings_ptr=0x8b0fee8, string_chars_ptr=0x4029a008,
list_headers_ptr=0x40c01008, number_units=62,
    file_info_ptr=0xbfffea40 "0??\021", standard_integer=42,
standard_long_long_float=66,
    standard_exception_type=1033, gigi_operating_mode=0) at
../../tree-ssa/gcc/ada/trans.c:221
internal error - unimplemented function unk_lang_create_fundamental_type called.