Re: ada/5856: GNAT bug box

Re: ada/5856: GNAT bug box

[Craig Rodrigues]

The following reply was made to PR ada/5856; it has been noted by GNATS.

From: Craig Rodrigues <rodrigc@attbi.com>
To: Florian Weimer <fw@deneb.enyo.de>
Cc: Geert Bosch <bosch@gnat.com>, rodrigc@gcc.gnu.org, bosch@gcc.gnu.org,
   gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jsm28@cam.ac.uk,
   nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: ada/5856: GNAT bug box
Date: Sun, 10 Mar 2002 16:08:14 -0500

 On Sat, Mar 09, 2002 at 10:25:43AM +0100, Florian Weimer wrote:
 > Geert Bosch <bosch@gnat.com> writes:
 > 
 > > That's fine, the fix for this is in the check-in which I am checking
 > > in later tonight or tomorrow, depending on when my testruns finish
 > > and whether they are successful or not.
 > 
 > The bug box looks now like this:
 > 
 > +===========================GNAT BUG DETECTED==============================+
 > | 3.1 (20020212) (i686-pc-linux-gnu) GCC error:                            |
 > | Internal compiler error in assign_stack_temp_for_type, at                |
 > |    function.c:651                                                        |
 > | Error detected at /opt/gcc3-POSTMERGE/lib/gcc-lib/i686-pc-linux-gnu/3.2/adainclude/s-secsta.ads:66:14|
 > | Please submit bug report by email to gcc-bugs@gcc.gnu.org.               |
 > | Use a subject line meaningful to you and us to track the bug.            |
 > | Include the entire contents of this bug box in the report.               |
 > | Include the exact gcc or gnatmake command that you entered.              |
 > | Also include sources listed below in gnatchop format                     |
 > | (concatenated together with no headers between files).                   |
 > | (use plain ASCII or MIME attachment).                                    |
 > | See gnatinfo.txt for full info on procedure for submitting bugs.         |
 > +==========================================================================+
 
 
 Is this change merged on the gcc 3.1 branch?
 -- 
 Craig Rodrigues        
 http://www.gis.net/~craigr    
 rodrigc@attbi.com

Re: ada/5856: GNAT bug box

[Joseph S. Myers]

The following reply was made to PR ada/5856; it has been noted by GNATS.

From: "Joseph S. Myers" <jsm28@cam.ac.uk>
To: Joe Buck <jbuck@synopsys.com>
Cc: <gcc-gnats@gcc.gnu.org>,  <bosch@gcc.gnu.org>,  <rodrigc@gcc.gnu.org>, 
     <gcc-bugs@gcc.gnu.org>
Subject: Re: ada/5856: GNAT bug box
Date: Sat, 19 Oct 2002 01:05:40 +0100 (BST)

 On Fri, 18 Oct 2002, Joe Buck wrote:
 
 > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5856
 > 
 > I was looking for high-priority bugs that can be closed.  It seems we 
 > can close
 > this one, as I can't find any direction to the ACT bug tracking system 
 > anymore
 > in the 3.2 branch.  Can this be closed?
 
 This problem is represented by PR ada/6919 - covering patches such as this
 that haven't been forward ported from the branch to the mainline.  3.2
 branch gives a proper bug box, mainline doesn't (no ACT reference, but
 gives email address rather than URL with instructions and has other
 problems described in that PR).
 
 -- 
 Joseph S. Myers
 jsm28@cam.ac.uk
 

Re: ada/5856: GNAT bug box

[Joe Buck]

The following reply was made to PR ada/5856; it has been noted by GNATS.

From: Joe Buck <jbuck@synopsys.com>
To: gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, bosch@gcc.gnu.org,
   rodrigc@gcc.gnu.org, jsm28@cam.ac.uk, gcc-bugs@gcc.gnu.org
Cc:  
Subject: Re: ada/5856: GNAT bug box
Date: Fri, 18 Oct 2002 17:00:49 -0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5856
 
 I was looking for high-priority bugs that can be closed.  It seems we 
 can close
 this one, as I can't find any direction to the ACT bug tracking system 
 anymore
 in the 3.2 branch.  Can this be closed?
 

Re: ada/5856: GNAT bug box

[Florian Weimer]

The following reply was made to PR ada/5856; it has been noted by GNATS.

From: Florian Weimer <fw@deneb.enyo.de>
To: Geert Bosch <bosch@gnat.com>
Cc: rodrigc@gcc.gnu.org,  bosch@gcc.gnu.org,  gcc-bugs@gcc.gnu.org,
	  gcc-prs@gcc.gnu.org,  jsm28@cam.ac.uk,  nobody@gcc.gnu.org,
	  gcc-gnats@gcc.gnu.org
Subject: Re: ada/5856: GNAT bug box
Date: Sat, 09 Mar 2002 10:25:43 +0100

 Geert Bosch <bosch@gnat.com> writes:
 
 > That's fine, the fix for this is in the check-in which I am checking
 > in later tonight or tomorrow, depending on when my testruns finish
 > and whether they are successful or not.
 
 The bug box looks now like this:
 
 +===========================GNAT BUG DETECTED==============================+
 | 3.1 (20020212) (i686-pc-linux-gnu) GCC error:                            |
 | Internal compiler error in assign_stack_temp_for_type, at                |
 |    function.c:651                                                        |
 | Error detected at /opt/gcc3-POSTMERGE/lib/gcc-lib/i686-pc-linux-gnu/3.2/adainclude/s-secsta.ads:66:14|
 | Please submit bug report by email to gcc-bugs@gcc.gnu.org.               |
 | Use a subject line meaningful to you and us to track the bug.            |
 | Include the entire contents of this bug box in the report.               |
 | Include the exact gcc or gnatmake command that you entered.              |
 | Also include sources listed below in gnatchop format                     |
 | (concatenated together with no headers between files).                   |
 | (use plain ASCII or MIME attachment).                                    |
 | See gnatinfo.txt for full info on procedure for submitting bugs.         |
 +==========================================================================+
 
 The last line refers to a non-existing file.  We probably should
 augment http://gcc.gnu.org/bugs.html#detailed with Ada-specific
 instructions and solely refer to the web page.

Re: ada/5856: GNAT bug box

[Geert Bosch]

The following reply was made to PR ada/5856; it has been noted by GNATS.

From: Geert Bosch <bosch@gnat.com>
To: rodrigc@gcc.gnu.org, bosch@gcc.gnu.org, gcc-bugs@gcc.gnu.org,
	gcc-prs@gcc.gnu.org, jsm28@cam.ac.uk, nobody@gcc.gnu.org,
	gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: ada/5856: GNAT bug box
Date: Wed, 6 Mar 2002 20:53:25 -0500

 On Wednesday, March 6, 2002, at 08:25 , rodrigc@gcc.gnu.org wrote:
 > Synopsis: GNAT bug box
 >
 > Responsible-Changed-From-To: unassigned->bosch
 > Responsible-Changed-By: rodrigc
 > Responsible-Changed-When: Wed Mar  6 17:25:18 2002
 > Responsible-Changed-Why:
 >     I'm assinging this to Geert Bosch, because he is
 >     listed in MAINTAINERS as a Ada front-end maintainer.
 >
 > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-
 > trail&database=gcc&pr=5856
 
 That's fine, the fix for this is in the check-in which I am checking in 
 later tonight
 or tomorrow, depending on when my testruns finish and whether they are 
 successful or
 not. I have been out of touch for a few weeks as a result of a move and 
 related
 but unplanned construction plans.
 
    -Geert
 

Re: ada/5856: GNAT bug box

[rodrigc]

Synopsis: GNAT bug box

Responsible-Changed-From-To: unassigned->bosch
Responsible-Changed-By: rodrigc
Responsible-Changed-When: Wed Mar  6 17:25:18 2002
Responsible-Changed-Why:
    I'm assinging this to Geert Bosch, because he is
    listed in MAINTAINERS as a Ada front-end maintainer.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5856

ada/5856: GNAT bug box

[Joseph Myers]

>Number:         5856
>Category:       ada
>Synopsis:       GNAT bug box
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Mar 06 13:36:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Joseph S. Myers
>Release:        3.2 20020304 (experimental)
>Organization:
none
>Environment:
System: Linux digraph 2.2.20 #2 Sat Nov 10 16:44:22 UTC 2001 i686 unknown
Architecture: i686

	
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc-cvs/configure --prefix=/opt/gcc/mainline --disable-shared --enable-threads=posix --with-system-zlib
>Description:

The GNAT bug box (produced on ICEs) directs bug reports to a company's
internal bug tracking system rather than to the public GCC bug
tracking system.  This is clearly not OK for software included in a
public GCC release.

>How-To-Repeat:

Generate an ICE from GNAT.

>Fix:

Including a file gnat_bug.box with more appropriate contents in the
appropriate directory under libsubdir (see comperr.ads) is the minimal
fix.

Possibly it would be more appropriate for the FSF sources to contain
no trace of the instructions to send bug reports to the ACT system,
and ACT to deal with providing their instructions in their source tree
only (either through gnat_bug.box, or through maintaining differences
from FSF sources).
>Release-Note:
>Audit-Trail:
>Unformatted: