[Bug tree-optimization/17533] New: cc1plus crashes on libmudflap test case, verify_dominators()

["fche at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>]

The "pass27-frag.cxx" test case in libmudflap started crashing cc1plus in the
last few days on multiple platforms.  It SEGVs:

#0  0x000000000060826f in verify_dominators (dir=CDI_DOMINATORS)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/dominance.c:836
#1  0x000000000052db39 in tree_verify_flow_info ()
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/tree-cfg.c:3701
#2  0x00000000008329cf in verify_flow_info ()
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/cfghooks.c:210
#3  0x00000000005401f5 in execute_todo (properties=12, flags=49)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/tree-optimize.c:444
#4  0x0000000000540408 in execute_pass_list (pass=0xb5d5a0)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/tree-optimize.c:512
#5  0x0000000000540615 in tree_rest_of_compilation (fndecl=0x2a97c18b60,
    nested_p=0 '\0')
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/tree-optimize.c:618
#6  0x00000000004c9bd1 in expand_body (fn=0x2a97c18b60)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/cp/semantics.c:2897
#7  0x000000000085e8ca in cgraph_expand_function (node=0x2a97c0fa90)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/cgraphunit.c:1040
#8  0x000000000085f570 in cgraph_optimize ()
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/cgraphunit.c:2706
#9  0x000000000047d665 in cp_finish_file ()
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/cp/decl2.c:3067
#10 0x0000000000516c3b in c_common_parse_file (set_yydebug=0)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/c-opts.c:1098

#0  0x000000000060826f in verify_dominators (dir=CDI_DOMINATORS)
    at /home/fche/DEVEL-gcc-mudflap/gcc/gcc/dominance.c:836
836               error ("dominator of %d should be %d, not %d",
(gdb) l
831           basic_block dom_bb;
832
833           dom_bb = recount_dominator (dir, bb);
834           if (dom_bb != get_immediate_dominator (dir, bb))
835             {
836               error ("dominator of %d should be %d, not %d",
837                bb->index, dom_bb->index, get_immediate_dominator(dir,
bb)->index);
838               err = 1;
839             }
840         }
(gdb) p dom_bb
$8 = 0x0

-- 
           Summary: cc1plus crashes on libmudflap test case,
                    verify_dominators()
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P1
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fche at redhat dot com
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: x86_64-linux, x86-linux


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