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

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

[fche at redhat dot com]

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

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

[fche at redhat dot com]

------- Additional Comments From fche at redhat dot com  2004-09-17 13:20 -------
Created an attachment (id=7161)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7161&action=view)
preprocessed input

run thusly:

..../gcc/cc1plus -fpreprocessed pass27-frag.ii -quiet -dumpbase pass27-frag.cxx
-mtune=k8 -auxbase pass27-frag -ggdb3 -g -O2 -version -ffunction-sections
-fdata-sections -fmessage-length=0 -fmudflap -fno-builtin -fno-merge-constants
-o pass27-frag.s


-- 


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-18 05:06 -------
This usually means someone is not updating the dominators right.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
            Summary|cc1plus crashes on          |[4.0 Regression] cc1plus
                   |libmudflap test case,       |crashes on libmudflap test
                   |verify_dominators()         |case, verify_dominators()
   Target Milestone|---                         |4.0.0


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

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

[fche at redhat dot com]

------- Additional Comments From fche at redhat dot com  2004-09-22 20:00 -------
This still happens as of 2004-09-22.
The verification crash is occurring during "mudflap2" post-pass checking due to
pass_mudflap_2 containing TODO_verify_flow.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-22 20:00:41
               date|                            |


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

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

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-09-22 20:15 -------

I'll take a look.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

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

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-09-23 15:48 -------
Subject: Bug 17533

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	fche@gcc.gnu.org	2004-09-23 15:48:01

Modified files:
	gcc            : ChangeLog dominance.c tree-mudflap.c 

Log message:
	2004-09-23  Frank Ch. Eigler <fche@redhat.com>
	
	PR tree-optimization/17533
	* dominance.c (verify_dominators): Tolerate even more incorrect
	dominance data during error message printing.
	* tree-mudflap.c (mf_build_check_statement_for): Build basic blocks
	and edges more correctly.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.5585&r2=2.5586
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dominance.c.diff?cvsroot=gcc&r1=1.29&r2=1.30
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-mudflap.c.diff?cvsroot=gcc&r1=2.24&r2=2.25



-- 


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

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

[fche at redhat dot com]

------- Additional Comments From fche at redhat dot com  2004-09-23 15:49 -------
patch committed, seems to work

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

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

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-01-24 15:50 -------
*** Bug 25945 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wouter dot vermaelen at pi
                   |                            |dot be


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