public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree
@ 2004-09-08 19:45 steven at gcc dot gnu dot org
  2004-09-08 19:47 ` [Bug tree-optimization/17358] [3.5 Regression] " pinskia at gcc dot gnu dot org
                   ` (11 more replies)
  0 siblings, 12 replies; 13+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-09-08 19:45 UTC (permalink / raw)
  To: gcc-bugs

// Reduced from vorbis-tools 1.0.1
// 
// gcc -O vcut.i
//
// Goes into an infinite loop after thread_jumps mis-updates
// the dominator information in the cfg cleanup called from 
// execute_cleanup_cfg_post_optimize.
// Happens on many targets.

extern int clobber_k (int *);
extern int barrier (void);

int process_second_stream(void)
{
  int k;
  int i = 0, j = 0, result;

  clobber_k (&k);

  while(barrier ())
    ;

  while(!j)
    {
      while(!j)
        {
          result=barrier ();
          if (result == 0)
            break;
          else if(result==-1)
            barrier ();
          else
            {
              if(barrier ())
                j=1;
              while(1)
                {
                  result = barrier ();
                  if(result==0)
                    break;
                  k = i++;
                }
            }
        }

      if(!j && barier ())
        j=1;
    }

  return 0;
}

-- 
           Summary: infinite loop due to incorrect updating of the dominator
                    tree
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: steven at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
@ 2004-09-08 19:47 ` pinskia at gcc dot gnu dot org
  2004-09-08 19:52 ` pinskia at gcc dot gnu dot org
                   ` (10 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-08 19:47 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|infinite loop due to        |[3.5 Regression] infinite
                   |incorrect updating of the   |loop due to incorrect
                   |dominator tree              |updating of the dominator
                   |                            |tree
   Target Milestone|---                         |3.5.0


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
  2004-09-08 19:47 ` [Bug tree-optimization/17358] [3.5 Regression] " pinskia at gcc dot gnu dot org
@ 2004-09-08 19:52 ` pinskia at gcc dot gnu dot org
  2004-09-09 16:26 ` belyshev at lubercy dot com
                   ` (9 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-08 19:52 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-08 19:52 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-08 19:52:06
               date|                            |


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
  2004-09-08 19:47 ` [Bug tree-optimization/17358] [3.5 Regression] " pinskia at gcc dot gnu dot org
  2004-09-08 19:52 ` pinskia at gcc dot gnu dot org
@ 2004-09-09 16:26 ` belyshev at lubercy dot com
  2004-09-09 21:52 ` stevenb at suse dot de
                   ` (8 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: belyshev at lubercy dot com @ 2004-09-09 16:26 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From belyshev at lubercy dot com  2004-09-09 16:26 -------
Here is a shorter testcase (minimized from libgcc2.c):

int
__cmpdi2 (int a, int b)
{
  if (a < b)
    return 0;
  else if (a > b)
    return 2;
  return 1;
}

This bug seems to be fixed now (after 13:00..15:00 2004-09-09 UTC).


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


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2004-09-09 16:26 ` belyshev at lubercy dot com
@ 2004-09-09 21:52 ` stevenb at suse dot de
  2004-09-09 23:33 ` steven at gcc dot gnu dot org
                   ` (7 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: stevenb at suse dot de @ 2004-09-09 21:52 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From stevenb at suse dot de  2004-09-09 21:52 -------
Subject: Re:  [3.5 Regression] infinite loop due to incorrect updating of the dominator tree

On Thursday 09 September 2004 18:26, belyshev at lubercy dot com wrote:
> This bug seems to be fixed now (after 13:00..15:00 2004-09-09 UTC).

Did you verify this with the original test case?  The
shorter test case you provide may be fixed by some lucky
incident.  For example, "void foo() { for (;;); } also
went into an infinite loop (maybe it still does) but that
was an unrelated bug.

Gr.
Steven



-- 


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2004-09-09 21:52 ` stevenb at suse dot de
@ 2004-09-09 23:33 ` steven at gcc dot gnu dot org
  2004-09-09 23:34 ` steven at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-09-09 23:33 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From steven at gcc dot gnu dot org  2004-09-09 23:33 -------
Reopen... 

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


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2004-09-09 23:33 ` steven at gcc dot gnu dot org
@ 2004-09-09 23:34 ` steven at gcc dot gnu dot org
  2004-09-10  0:06 ` belyshev at lubercy dot com
                   ` (5 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-09-09 23:34 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From steven at gcc dot gnu dot org  2004-09-09 23:34 -------
...because this bug is *not* fixed.  At least on i686, ia64 and amd64 I still 
see it. 
 
Please don't close bugs before asking if the bug report submitter also does 
not see the bug anymore, thank you very much. 
 

-- 


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2004-09-09 23:34 ` steven at gcc dot gnu dot org
@ 2004-09-10  0:06 ` belyshev at lubercy dot com
  2004-09-10  8:12 ` steven at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: belyshev at lubercy dot com @ 2004-09-10  0:06 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From belyshev at lubercy dot com  2004-09-10 00:06 -------
Sorry for inconvenience.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2004-09-09 23:34:55         |2004-09-10 00:06:08
               date|                            |


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (6 preceding siblings ...)
  2004-09-10  0:06 ` belyshev at lubercy dot com
@ 2004-09-10  8:12 ` steven at gcc dot gnu dot org
  2004-09-12 18:47 ` pinskia at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-09-10  8:12 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From steven at gcc dot gnu dot org  2004-09-10 08:12 -------
The smaller test case is not even the same bug.  You still need my original 
test case to see the wrong dominator tree update. 

-- 


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [3.5 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (7 preceding siblings ...)
  2004-09-10  8:12 ` steven at gcc dot gnu dot org
@ 2004-09-12 18:47 ` pinskia at gcc dot gnu dot org
  2004-09-14 11:38 ` [Bug tree-optimization/17358] [4.0 " giovannibajo at libero dot it
                   ` (2 subsequent siblings)
  11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-12 18:47 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-12 18:47 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2004-09/msg01155.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [4.0 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (8 preceding siblings ...)
  2004-09-12 18:47 ` pinskia at gcc dot gnu dot org
@ 2004-09-14 11:38 ` giovannibajo at libero dot it
  2004-09-14 11:39 ` giovannibajo at libero dot it
  2004-09-14 11:41 ` steven at gcc dot gnu dot org
  11 siblings, 0 replies; 13+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-14 11:38 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at atrey dot karlin
                   |dot org                     |dot mff dot cuni dot cz
             Status|REOPENED                    |ASSIGNED


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [4.0 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (9 preceding siblings ...)
  2004-09-14 11:38 ` [Bug tree-optimization/17358] [4.0 " giovannibajo at libero dot it
@ 2004-09-14 11:39 ` giovannibajo at libero dot it
  2004-09-14 11:41 ` steven at gcc dot gnu dot org
  11 siblings, 0 replies; 13+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-14 11:39 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From giovannibajo at libero dot it  2004-09-14 11:39 -------
Zdenek, was the patch committed, after Jeff's approval? I cannot find it in gcc-
cvs. If not, would you mind adding the PR in the ChangeLog so that we see it in 
Bugzilla? Thanks

-- 


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
* [Bug tree-optimization/17358] [4.0 Regression] infinite loop due to incorrect updating of the dominator tree
  2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
                   ` (10 preceding siblings ...)
  2004-09-14 11:39 ` giovannibajo at libero dot it
@ 2004-09-14 11:41 ` steven at gcc dot gnu dot org
  11 siblings, 0 replies; 13+ messages in thread
From: steven at gcc dot gnu dot org @ 2004-09-14 11:41 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From steven at gcc dot gnu dot org  2004-09-14 11:41 -------
Fixed, see http://gcc.gnu.org/ml/gcc-cvs/2004-09/msg00642.html.

Zdenek, please add PR numbers to the ChangeLog entries.

Giovanni, look harder :-P

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


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


^ permalink raw reply	[flat|nested] 13+ messages in thread
end of thread, other threads:[~2004-09-14 11:41 UTC | newest]

Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-09-08 19:45 [Bug tree-optimization/17358] New: infinite loop due to incorrect updating of the dominator tree steven at gcc dot gnu dot org
2004-09-08 19:47 ` [Bug tree-optimization/17358] [3.5 Regression] " pinskia at gcc dot gnu dot org
2004-09-08 19:52 ` pinskia at gcc dot gnu dot org
2004-09-09 16:26 ` belyshev at lubercy dot com
2004-09-09 21:52 ` stevenb at suse dot de
2004-09-09 23:33 ` steven at gcc dot gnu dot org
2004-09-09 23:34 ` steven at gcc dot gnu dot org
2004-09-10  0:06 ` belyshev at lubercy dot com
2004-09-10  8:12 ` steven at gcc dot gnu dot org
2004-09-12 18:47 ` pinskia at gcc dot gnu dot org
2004-09-14 11:38 ` [Bug tree-optimization/17358] [4.0 " giovannibajo at libero dot it
2004-09-14 11:39 ` giovannibajo at libero dot it
2004-09-14 11:41 ` steven at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).