[Bug tree-optimization/24226] New: [4.1 Regression] ICE: Segmentation fault in operand_equal_p (complete loop unrolling)

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

/usr/lib/gcc/i586-suse-linux/4.1.0/cc1 -fpreprocessed disasm.i -quiet -dumpbase
disasm.c -march=i586 -mtune=i686 -auxbase-strip disasm.o -O2 -Wall -Wall
-pedantic -std=c99 -version -fmessage-length=0 -fno-strict-aliasing -o disasm.s
disasm.c: In function ?disasm?:
disasm.c:579: internal compiler error: Segmentation fault 
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.suse.de/feedback> for instructions.

#0  0x082c9862 in operand_equal_p (arg0=0x40437c98, arg1=0x404441a0, flags=0)
    at fold-const.c:2413
#1  0x0817ab10 in simplify_replace_tree (expr=0x40437c98, old=0x404441a0,
    new=0x4031ce28) at tree-ssa-loop-niter.c:605
#2  0x0817ac46 in simplify_replace_tree (expr=0x4050ecf0, old=0x404441a0,
    new=0x4031ce28) at tree-ssa-loop-niter.c:616
#3  0x0817ac46 in simplify_replace_tree (expr=0x4050f2c0, old=0x404441a0,
    new=0x4031ce28) at tree-ssa-loop-niter.c:616
#4  0x081803f2 in substitute_in_loop_info (loop=0x89e6548, name=0x404441a0,
    val=0x4031ce28) at tree-ssa-loop-niter.c:2053
#5  0x080e5e0e in replace_uses_by (name=0x404441a0, val=0x4031ce28)
    at tree-cfg.c:1293
#6  0x080e66e5 in tree_merge_blocks (a=0x40480820, b=0x404ce870)
    at tree-cfg.c:1341
#7  0x08524467 in merge_blocks (a=0x40480820, b=0x404ce870) at cfghooks.c:530
#8  0x081f39de in merge_seq_blocks () at cfgcleanup.c:2064
#9  0x0854a62a in cleanup_tree_cfg_1 () at tree-cfgcleanup.c:520
#10 0x0854a660 in cleanup_tree_cfg () at tree-cfgcleanup.c:541
#11 0x0854a6b6 in cleanup_tree_cfg_loop () at tree-cfgcleanup.c:564
#12 0x08198cee in tree_unroll_loops_completely (loops=0x885b9e8,
    may_increase_size=0 '\0') at tree-ssa-loop-ivcanon.c:391
#13 0x081797f9 in tree_complete_unroll () at tree-ssa-loop.c:376
#14 0x0852f0cd in execute_one_pass (pass=0x87752c0) at passes.c:827

  /* If both types don't have the same signedness, then we can't consider
     them equal.  We must check this before the STRIP_NOPS calls
     because they may change the signedness of the arguments.  */
  if (TYPE_UNSIGNED (TREE_TYPE (arg0)) != TYPE_UNSIGNED (TREE_TYPE (arg1)))
    return 0;

(gdb) call debug_tree(arg0)
 <ssa_name 0x40437c98 nothrow var <var_decl 0x403325d8 D.3500> def_stmt
<ssa_name 0x40437b94>
    version 246 in-free-list>
(gdb) call debug_tree(arg1)
 <ssa_name 0x404441a0
    type <integer_type 0x4019d2e0 unsigned int sizes-gimplified public unsigned
SI
        size <integer_cst 0x4018d408 constant invariant 32>
        unit size <integer_cst 0x4018d198 constant invariant 4>
        align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x4018d480
0> max <integer_cst 0x4018d468 4294967295>>
    var <var_decl 0x40508688 ivtmp.485> def_stmt <phi_node 0x403e7b00>
    version 1050>

we have a DEF_STMT in arg0.  Ugh.


-- 
           Summary: [4.1 Regression] ICE: Segmentation fault in
                    operand_equal_p (complete loop unrolling)
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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