[Bug c++/23948] New: internal compiler error: verify_stmts failed

[Bug c++/23948] New: internal compiler error: verify_stmts failed

[harold at alum dot mit dot edu]

When compiling the attached file, the compilation gives the error shown.
How do I attach the file?  I don't see a button to do so.

-- 
           Summary: internal compiler error: verify_stmts failed
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: harold at alum dot mit dot edu
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[harold at alum dot mit dot edu]

------- Additional Comments From harold at alum dot mit dot edu  2005-09-18 13:16 -------
Created an attachment (id=9764)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9764&action=view)
preprocessed output with -save-temps


-- 


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[harold at alum dot mit dot edu]

------- Additional Comments From harold at alum dot mit dot edu  2005-09-18 15:30 -------
Works in 4.0 cvs.

-- 


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-18 16:33 -------
How did you compile the file?
Also what is the date on 4.1.0?

I tried -O[0-3] with "4.1.0 20050916" and I could not reproduce this.

-- 


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[harold at alum dot mit dot edu]

------- Additional Comments From harold at alum dot mit dot edu  2005-09-18 18:02 -------
OK, please bear with me.  I'm not as talented as you at this, but I'm trying.
I think we're both using the 9/16/05 build, since the top entry in the
"ChangeLog" file is 9/16/05.

The compile command that generates the error is:

 g++-4.1 -DHAVE_CONFIG_H -I. -I. -I..  -I ./win -I../lib -I../api -I../db
-I../RSAEuro/source -I../client -I../tools -I../sched  -pthread -include
../config.h -O3 -D__NO_CTYPE -I../lib -I../api -I../db -I../RSAEuro/source
-I../client -I../tools -I../sched  -pthread -include ../config.h -DACML -O3
-ffast-math -funroll-all-loops -fpeel-loops -ftracer -funswitch-loops
-ftree-vectorize -march=k8  -g  -pthread -MT boinc_client-cs_scheduler.o -MD -MP
-MF ".deps/boinc_client-cs_scheduler.Tpo" -c -o boinc_client-cs_scheduler.o
cs_scheduler.C cs_scheduler.C: In member function 'int
CLIENT_STATE::make_scheduler_request(PROJECT*)':
cs_scheduler.C:200: error: statement marked for throw in middle of block
#   bufD.54331_943(ab) = V_MAY_DEF <bufD.54331_939>;
#   SFT.1187D.68458_944(ab) = V_MAY_DEF <SFT.1187D.68458_940>;
#   SFT.1188D.68459_945(ab) = V_MAY_DEF <SFT.1188D.68459_941>;
#   SFT.1189D.68460_946(ab) = V_MAY_DEF <SFT.1189D.68460_942>;
prrsD.54346_136 = potentially_runnable_resource_share (thisD.54329_135);

cs_scheduler.C:200: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.


>From this command, do you need me to post any other files?  I can't really tell,
to be honest, since I'm not too sure what all those -M flags do.


-- 


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-18 18:06 -------
(In reply to comment #4)
> From this command, do you need me to post any other files?  I can't really tell,
> to be honest, since I'm not too sure what all those -M flags do.

No I can reproduce it now.

-- 


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

[Bug c++/23948] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-18 18:10 -------
Note only -O3 -ffast-math is required to reproduce this bug.

Reducing.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-18 18:16 -------
-O2 -finline-functions -ffast-math is enough to reproduce this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org, hubicka at gcc dot gnu
                   |                            |dot org
          Component|c++                         |tree-optimization
            Summary|internal compiler error:    |[4.1 Regression] internal
                   |verify_stmts failed         |compiler error: verify_stmts
                   |                            |failed
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-18 18:54 -------
Reduced testcase:
struct MIOFILE {
  ~MIOFILE();
};
double potentially_runnable_resource_share();
void f1(double);
int make_scheduler_request(double a)
{
  MIOFILE mf;
  double prrs = potentially_runnable_resource_share();
  f1(a/prrs);
  f1(1/prrs);
}

---

-O1 -ffast-math is enough to reproduce this reduced testcase.
This is caused by the recip pass.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bonzini at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|x86_64-linux-gnu            |
   GCC host triplet|x86_64-linux-gnu            |
 GCC target triplet|x86_64-linux-gnu            |
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-18 18:54:12
               date|                            |


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[janis187 at us dot ibm dot com]

------- Additional Comments From janis187 at us dot ibm dot com  2005-09-20 21:28 -------
The ICE begins with these patches (the second adds a missing file for the first)
from bonzini:

  http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg00791.html
  http://gcc.gnu.org/ml/gcc-cvs/2005-05/msg00792.html

-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |bonzini at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-09-18 18:54:12         |2005-09-21 08:12:59
               date|                            |


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-21 14:18 -------
We insert the reciprocal computation correctly after the call to 
  double prrs = potentially_runnable_resource_share();
but as this call may trap and is the last instruction in the basic block,
inserting there is obviously bogous.

We'd need to insert a new BB or need a way to insert on the EXIT_EDGE.  And
make sure critical edges are split.

-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[paolo dot bonzini at lu dot unisi dot ch]

------- Additional Comments From paolo dot bonzini at lu dot unisi dot ch  2005-09-21 14:33 -------
Subject: Re:  [4.1 Regression] internal compiler
 error: verify_stmts failed

rguenth at gcc dot gnu dot org wrote:

>------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-21 14:18 -------
>We insert the reciprocal computation correctly after the call to 
>  double prrs = potentially_runnable_resource_share();
>but as this call may trap and is the last instruction in the basic block,
>inserting there is obviously bogous.
>
>We'd need to insert a new BB or need a way to insert on the EXIT_EDGE.  And
>make sure critical edges are split.
>  
>
No, I think we have to rethink the place where we insert the division.  
It needs to be closer to the divide (just before), not right after the 
definition.  When we have flag_trapping_math, this is quite hard to do 
(there may be even multiple places to insert the divide!).

I also did not understand why you had to fiddle with postdominators :-) 
to fix PR23309.  I have a prototype patch but it will probably be a 
while before I can sit, look if it really works, and test it properly.

Paolo


-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-21 14:44 -------
Fixing like the following, but inserting onto the right edge(s) -
single_succ_edge actually doesn't work here.

diff -c -3 -p -r2.5 tree-ssa-math-opts.c
*** tree-ssa-math-opts.c        9 Aug 2005 03:28:32 -0000       2.5
--- tree-ssa-math-opts.c        21 Sep 2005 14:43:08 -0000
*************** execute_cse_reciprocals_1 (block_stmt_it
*** 111,117 ****
    if (where == PR_BEFORE_BSI)
      bsi_insert_before (bsi, new_stmt, BSI_SAME_STMT);
    else if (where == PR_AFTER_BSI)
!     bsi_insert_after (bsi, new_stmt, BSI_NEW_STMT);
    else if (where == PR_ON_ENTRY_EDGE)
      bsi_insert_on_edge (single_succ_edge (ENTRY_BLOCK_PTR), new_stmt);
    else
--- 111,122 ----
    if (where == PR_BEFORE_BSI)
      bsi_insert_before (bsi, new_stmt, BSI_SAME_STMT);
    else if (where == PR_AFTER_BSI)
!     {
!       if (stmt_ends_bb_p (bsi_stmt (*bsi)))
!       bsi_insert_on_edge (single_succ_edge (bsi->bb), new_stmt);
!       else
!       bsi_insert_after (bsi, new_stmt, BSI_NEW_STMT);
!     }
    else if (where == PR_ON_ENTRY_EDGE)
      bsi_insert_on_edge (single_succ_edge (ENTRY_BLOCK_PTR), new_stmt);
    else


-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

------- Additional Comments From bonzini at gcc dot gnu dot org  2005-09-22 07:00 -------
I don't know the tree-cfg bits very well, but the patch seems wrong; you are not
committing the edge insertion.

-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

------- Additional Comments From bonzini at gcc dot gnu dot org  2005-09-22 07:09 -------
I have a patch but it only works in the -fno-trapping-math case.  Given that
trapping math is much more complex, that the code quality improves for
-ftrapping-math, and that we are late in the development of 4.1, I'll probably
punt and disable the optimization for -ftrapping-math.

-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

------- Additional Comments From bonzini at gcc dot gnu dot org  2005-09-23 09:58 -------
I've rewritten execute_cse_reciprocals, I think the only useful solution is to
implement the optimal scheme for inserting reciprocals, and fix this bug in the
process.

My algorithm builds a "mock" dominator tree including only the basic blocks with
the divides and their common dominators, and then inserts divides whenever it is
necessary to satisfy these conditions:

1) if -ftrapping-math, the basic block must have one divide

2) in addition, at least two divides must either be in the basic block, or
postdominate it.

I still have to run some coverage tests, then I'll post the patch.  If anybody
wants to help, I'd be thankful.

-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

------- Additional Comments From bonzini at gcc dot gnu dot org  2005-09-25 12:48 -------
Posted the patch for the algorithm I had sketched in the previous comments.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |09/msg01555.html


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

------- Comment #25 from pinskia at gcc dot gnu dot org  2006-01-23 01:26 -------
*** Bug 25909 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dawid dot ciezarkiewicz at
                   |                            |gmail dot com


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gnu dot org]

------- Comment #24 from bonzini at gnu dot org  2006-01-11 14:31 -------
patch committed


-- 

bonzini at gnu dot org changed:

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


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[bonzini at gcc dot gnu dot org]

------- Comment #23 from bonzini at gnu dot org  2006-01-11 14:29 -------
Subject: Bug 23948

Author: bonzini
Date: Wed Jan 11 14:29:29 2006
New Revision: 109586

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109586
Log:
gcc:
2006-01-11  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/23109
        PR tree-optimization/23948
        PR tree-optimization/24123

        * Makefile.in (tree-ssa-math-opts.o): Adjust dependencies.
        * tree-cfg.c (single_noncomplex_succ): New.
        * tree-flow.h (single_noncomplex_succ): Declare it.
        * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
        * tree-ssa-math-opts.c (enum place_reciprocal): Remove.
        (struct occurrence, occ_head, occ_pool, is_divide_by, compute_merit,
        insert_bb, register_division_in, insert_reciprocals,
        replace_reciprocal, free_bb): New.
        (execute_cse_reciprocals_1): Rewritten.
        (execute_cse_reciprocals): Adjust calls to execute_cse_reciprocals_1.
        Do not commit any edge insertion.  Always compute dominators and
        create the allocation pool.
        * target-def.h (TARGET_MIN_DIVISIONS_FOR_RECIP_MUL): New.
        * target.h (struct gcc_target): Add min_divistions_for_recip_mul.
        * targhooks.c (default_min_divistions_for_recip_mul): New.
        * targhooks.h (default_min_divistions_for_recip_mul): New prototype.
        * passes.c (init_optimization_passes): Run recip after tree loop
        optimizations.
        * doc/tm.texi (Misc): Document TARGET_MIN_DIVISIONS_FOR_RECIP_MUL.

gcc/testsuite:
2006-01-11  Paolo Bonzini  <bonzini@gnu.org>

        PR tree-optimization/23109
        PR tree-optimization/23948
        PR tree-optimization/24123

        * gcc.dg/tree-ssa/recip-3.c, gcc.dg/tree-ssa/recip-4.c,
        gcc.dg/tree-ssa/recip-5.c, gcc.dg/tree-ssa/recip-6.c,
        gcc.dg/tree-ssa/recip-7.c, gcc.dg/tree-ssa/pr23109.c,
        g++.dg/tree-ssa/pr23948.C: New testcases.
        * gcc.dg/tree-ssa/recip-2.c, gcc.dg/tree-ssa/pr23234.c: Provide
        three divisions in order to do the optimization.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/tree-ssa/pr23948.C
      - copied unchanged from r109578,
trunk/gcc/testsuite/g++.dg/tree-ssa/pr23948.C
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr23109.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr23109.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-3.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/recip-3.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-4.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/recip-4.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-5.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/recip-5.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-6.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/recip-6.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-7.c
      - copied unchanged from r109578,
trunk/gcc/testsuite/gcc.dg/tree-ssa/recip-7.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/Makefile.in
    branches/gcc-4_1-branch/gcc/doc/tm.texi
    branches/gcc-4_1-branch/gcc/passes.c
    branches/gcc-4_1-branch/gcc/target-def.h
    branches/gcc-4_1-branch/gcc/target.h
    branches/gcc-4_1-branch/gcc/targhooks.c
    branches/gcc-4_1-branch/gcc/targhooks.h
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr23234.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/recip-2.c
    branches/gcc-4_1-branch/gcc/tree-cfg.c
    branches/gcc-4_1-branch/gcc/tree-flow.h
    branches/gcc-4_1-branch/gcc/tree-ssa-math-opts.c


-- 


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[mmitchel at gcc dot gnu dot org]

------- Comment #20 from mmitchel at gcc dot gnu dot org  2005-10-31 05:48 -------
This is a showstopper.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P1


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |ASSIGNED


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[steven at gcc dot gnu dot org]

------- Comment #19 from steven at gcc dot gnu dot org  2005-10-15 17:27 -------
aaaaargh


-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|DUPLICATE                   |


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

[Bug tree-optimization/23948] [4.1 Regression] internal compiler error: verify_stmts failed

[steven at gcc dot gnu dot org]

------- Comment #18 from steven at gcc dot gnu dot org  2005-10-15 17:26 -------
...to fix a mouse click on the wrong radio button :-)

*** This bug has been marked as a duplicate of 24232 ***


-- 

steven at gcc dot gnu dot org changed:

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


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