[Bug middle-end/40095] New: [4.5 Regression] Revision 147342/147343 caused extra failures

[Bug middle-end/40095] New: [4.5 Regression] Revision 147342/147343 caused extra failures

[hjl dot tools at gmail dot com]

Revision 147342/147343 caused:

FAIL: gcc.dg/Wunreachable-2.c (test for excess errors)
FAIL: gcc.dg/tree-ssa/flatten-2.c scan-assembler-not indirect[12][: \t\n]

on Linux/ia32 and Linux/x86-64.


-- 
           Summary: [4.5 Regression] Revision 147342/147343 caused extra
                    failures
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: hjl dot tools at gmail dot com


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[hubicka at gcc dot gnu dot org]

------- Comment #1 from hubicka at gcc dot gnu dot org  2009-05-10 19:51 -------
This is latent problem in -Wunreachable.
We now unroll the loop:

void bar (void)
{
  int i;

  for (i = 0; i < 2; i++)
    if (! foo (a[i]))
      return;

  baz ();       /* { dg-bogus "will never be executed" } */
  baz ();
  baz ();

and last iteration of the loop gets copied including the i<2 test and thus the
following code is rendered dead.
I guess we can either
  1) Fix testcase so it is no longer unrolled again :) (or XFAIL it)
  2) Mark duplicated statements in some way and suppress unreachable warning on
them
  3) Teach unroller to not copy the last iteration including the code after
exit condition.

Honza


-- 

hubicka at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-05-10 19:51:04
               date|                            |


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-05-10 20:39 -------
-Wunreachable is completely bogus anyway, I suggest to XFAIL the testcase.


-- 


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[hp at gcc dot gnu dot org]

------- Comment #3 from hp at gcc dot gnu dot org  2009-05-10 22:07 -------
cris-elf too...


-- 

hp at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hp at gcc dot gnu dot org


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[matz at gcc dot gnu dot org]

------- Comment #4 from matz at gcc dot gnu dot org  2009-05-13 17:51 -------
flatten-2.c is the more important one.  We leave the static function
doubleindirect1 in there, which we shouldn't.


-- 


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |missed-optimization
           Priority|P3                          |P2


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

[Bug middle-end/40095] [4.5 Regression] Revision 147342/147343 caused extra failures

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2009-06-22 00:25 -------
Both of these have been fixed for a while now.


-- 

pinskia at gcc dot gnu dot org changed:

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


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