public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/31174]  New: ACATS C380004 Fails
@ 2007-03-14 16:13 anhvofrcaus at gmail dot com
  2007-03-17  7:31 ` [Bug ada/31174] [4.2 regression] ACATS C380004 fails ebotcazou at gcc dot gnu dot org
                   ` (13 more replies)
  0 siblings, 14 replies; 15+ messages in thread
From: anhvofrcaus at gmail dot com @ 2007-03-14 16:13 UTC (permalink / raw)
  To: gcc-bugs

Ada compiler under gcc-4.2-20070307 fails ACATS c380004. Below is the content
of the test log

,.,. C380004 ACATS 2.5 07-03-12 14:21:49
---- C380004 Check evaluation of discriminant expressions when the
                constraint depends on a discriminant, and the
                discriminants have defaults -
                discriminant-dependententry families and protected
                components.
   - C380004 Discriminant-dependent entry families for task types.
   * C380004 Unexpected exception raised - 2.
   * C380004 Discriminant values not correct - 3.
   * C380004 Unexpected exception.
**** C380004 FAILED ****************************.


-- 
           Summary: ACATS C380004 Fails
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anhvofrcaus at gmail dot com
 GCC build triplet: gcc-4.2-20070307
  GCC host triplet: Red Hat 10.0
GCC target triplet: X86


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
@ 2007-03-17  7:31 ` ebotcazou at gcc dot gnu dot org
  2007-03-17  7:32 ` ebotcazou at gcc dot gnu dot org
                   ` (12 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-03-17  7:31 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from ebotcazou at gcc dot gnu dot org  2007-03-17 07:30 -------
Probably uncovered by disabling VRP...


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|gcc-4.2-20070307            |
   GCC host triplet|Red Hat 10.0                |
 GCC target triplet|X86                         |
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-17 07:30:48
               date|                            |
            Summary|ACATS C380004 Fails         |[4.2 regression] ACATS
                   |                            |C380004 fails


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
  2007-03-17  7:31 ` [Bug ada/31174] [4.2 regression] ACATS C380004 fails ebotcazou at gcc dot gnu dot org
@ 2007-03-17  7:32 ` ebotcazou at gcc dot gnu dot org
  2007-03-22 13:33 ` ebotcazou at gcc dot gnu dot org
                   ` (11 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-03-17  7:32 UTC (permalink / raw)
  To: gcc-bugs



-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-17 07:30:48         |2007-03-17 07:31:52
               date|                            |


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
  2007-03-17  7:31 ` [Bug ada/31174] [4.2 regression] ACATS C380004 fails ebotcazou at gcc dot gnu dot org
  2007-03-17  7:32 ` ebotcazou at gcc dot gnu dot org
@ 2007-03-22 13:33 ` ebotcazou at gcc dot gnu dot org
  2007-05-02 21:07 ` anhvofrcaus at gmail dot com
                   ` (10 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-03-22 13:33 UTC (permalink / raw)
  To: gcc-bugs



-- 

ebotcazou at gcc dot gnu dot org changed:

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


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (2 preceding siblings ...)
  2007-03-22 13:33 ` ebotcazou at gcc dot gnu dot org
@ 2007-05-02 21:07 ` anhvofrcaus at gmail dot com
  2007-05-02 22:28 ` anhvofrcaus at gmail dot com
                   ` (9 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: anhvofrcaus at gmail dot com @ 2007-05-02 21:07 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from anhvofrcaus at gmail dot com  2007-05-02 22:06 -------
It still remains in prerelease-4.2.0-20070501. In addition, C46051a fails also.
It will be reported separately if it has not been filed.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (3 preceding siblings ...)
  2007-05-02 21:07 ` anhvofrcaus at gmail dot com
@ 2007-05-02 22:28 ` anhvofrcaus at gmail dot com
  2007-05-23 20:20 ` anhvofrcaus at gmail dot com
                   ` (8 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: anhvofrcaus at gmail dot com @ 2007-05-02 22:28 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from anhvofrcaus at gmail dot com  2007-05-02 23:28 -------
It still remains in prerelease-4.2.0-20070501. In addition, C46051a fails also.
It will be reported separately if it has not been filed.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (4 preceding siblings ...)
  2007-05-02 22:28 ` anhvofrcaus at gmail dot com
@ 2007-05-23 20:20 ` anhvofrcaus at gmail dot com
  2007-05-29 18:59 ` jdgressett at amli-denton dot com
                   ` (7 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: anhvofrcaus at gmail dot com @ 2007-05-23 20:20 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from anhvofrcaus at gmail dot com  2007-05-23 21:19 -------
Now ACATS c380004 passes in gcc-4.3-20070518.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (5 preceding siblings ...)
  2007-05-23 20:20 ` anhvofrcaus at gmail dot com
@ 2007-05-29 18:59 ` jdgressett at amli-denton dot com
  2007-08-04 16:10 ` jdgressett at amli-denton dot com
                   ` (6 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jdgressett at amli-denton dot com @ 2007-05-29 18:59 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from jdgressett at amli-denton dot com  2007-05-29 18:59 -------
(In reply to comment #4)
> Now ACATS c380004 passes in gcc-4.3-20070518.
> 

But it is still in the relesed 4.2


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (6 preceding siblings ...)
  2007-05-29 18:59 ` jdgressett at amli-denton dot com
@ 2007-08-04 16:10 ` jdgressett at amli-denton dot com
  2007-09-26 19:14 ` pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: jdgressett at amli-denton dot com @ 2007-08-04 16:10 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from jdgressett at amli-denton dot com  2007-08-04 16:10 -------
Ada compiler in gcc-4.2.1 still fails C380004. Built on Fedora 7.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (7 preceding siblings ...)
  2007-08-04 16:10 ` jdgressett at amli-denton dot com
@ 2007-09-26 19:14 ` pinskia at gcc dot gnu dot org
  2007-09-28  3:50 ` mmitchel at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-09-26 19:14 UTC (permalink / raw)
  To: gcc-bugs



-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.2


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (8 preceding siblings ...)
  2007-09-26 19:14 ` pinskia at gcc dot gnu dot org
@ 2007-09-28  3:50 ` mmitchel at gcc dot gnu dot org
  2007-10-09 19:30 ` mmitchel at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-09-28  3:50 UTC (permalink / raw)
  To: gcc-bugs



-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (9 preceding siblings ...)
  2007-09-28  3:50 ` mmitchel at gcc dot gnu dot org
@ 2007-10-09 19:30 ` mmitchel at gcc dot gnu dot org
  2008-02-01 17:03 ` jsm28 at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  13 siblings, 0 replies; 15+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2007-10-09 19:30 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #7 from mmitchel at gcc dot gnu dot org  2007-10-09 19:22 -------
Change target milestone to 4.2.3, as 4.2.2 has been released.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.2                       |4.2.3


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (10 preceding siblings ...)
  2007-10-09 19:30 ` mmitchel at gcc dot gnu dot org
@ 2008-02-01 17:03 ` jsm28 at gcc dot gnu dot org
  2008-05-19 20:26 ` [Bug ada/31174] [4.2 Regression] " jsm28 at gcc dot gnu dot org
  2008-09-20 14:06 ` ebotcazou at gcc dot gnu dot org
  13 siblings, 0 replies; 15+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-02-01 17:03 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #8 from jsm28 at gcc dot gnu dot org  2008-02-01 16:53 -------
4.2.3 is being released now, changing milestones of open bugs to 4.2.4.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.3                       |4.2.4


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 Regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (11 preceding siblings ...)
  2008-02-01 17:03 ` jsm28 at gcc dot gnu dot org
@ 2008-05-19 20:26 ` jsm28 at gcc dot gnu dot org
  2008-09-20 14:06 ` ebotcazou at gcc dot gnu dot org
  13 siblings, 0 replies; 15+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2008-05-19 20:26 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #9 from jsm28 at gcc dot gnu dot org  2008-05-19 20:23 -------
4.2.4 is being released, changing milestones to 4.2.5.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.2.4                       |4.2.5


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug ada/31174] [4.2 Regression] ACATS C380004 fails
  2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
                   ` (12 preceding siblings ...)
  2008-05-19 20:26 ` [Bug ada/31174] [4.2 Regression] " jsm28 at gcc dot gnu dot org
@ 2008-09-20 14:06 ` ebotcazou at gcc dot gnu dot org
  13 siblings, 0 replies; 15+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-09-20 14:06 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #10 from ebotcazou at gcc dot gnu dot org  2008-09-20 14:05 -------
This is a corner case anyway.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2008-09-20 14:06 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-03-14 16:13 [Bug ada/31174] New: ACATS C380004 Fails anhvofrcaus at gmail dot com
2007-03-17  7:31 ` [Bug ada/31174] [4.2 regression] ACATS C380004 fails ebotcazou at gcc dot gnu dot org
2007-03-17  7:32 ` ebotcazou at gcc dot gnu dot org
2007-03-22 13:33 ` ebotcazou at gcc dot gnu dot org
2007-05-02 21:07 ` anhvofrcaus at gmail dot com
2007-05-02 22:28 ` anhvofrcaus at gmail dot com
2007-05-23 20:20 ` anhvofrcaus at gmail dot com
2007-05-29 18:59 ` jdgressett at amli-denton dot com
2007-08-04 16:10 ` jdgressett at amli-denton dot com
2007-09-26 19:14 ` pinskia at gcc dot gnu dot org
2007-09-28  3:50 ` mmitchel at gcc dot gnu dot org
2007-10-09 19:30 ` mmitchel at gcc dot gnu dot org
2008-02-01 17:03 ` jsm28 at gcc dot gnu dot org
2008-05-19 20:26 ` [Bug ada/31174] [4.2 Regression] " jsm28 at gcc dot gnu dot org
2008-09-20 14:06 ` ebotcazou 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).