Bug 31174

Summary: [4.2 Regression] ACATS C380004 fails
Product: gcc Reporter: Anh Vo <anhvofrcaus>
Component: adaAssignee: Not yet assigned to anyone <unassigned>
Status: RESOLVED WONTFIX    
Severity: normal CC: ebotcazou, gcc-bugs, rolf.ebert.gcc
Priority: P5 Keywords: wrong-code
Version: 4.2.0   
Target Milestone: 4.2.5   
Host: Target:
Build: Known to work: 4.3.0
Known to fail: Last reconfirmed: 2007-03-17 07:31:52

Description Anh Vo 2007-03-14 16:12:55 UTC
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 ****************************.
Comment 1 Eric Botcazou 2007-03-17 07:30:48 UTC
Probably uncovered by disabling VRP...
Comment 2 Anh Vo 2007-05-02 22:06:59 UTC
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.
Comment 3 Anh Vo 2007-05-02 23:28:18 UTC
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.
Comment 4 Anh Vo 2007-05-23 21:19:56 UTC
Now ACATS c380004 passes in gcc-4.3-20070518.
Comment 5 David Gressett 2007-05-29 18:59:14 UTC
(In reply to comment #4)
> Now ACATS c380004 passes in gcc-4.3-20070518.
> 

But it is still in the relesed 4.2
Comment 6 David Gressett 2007-08-04 16:10:07 UTC
Ada compiler in gcc-4.2.1 still fails C380004. Built on Fedora 7.
Comment 7 Mark Mitchell 2007-10-09 19:22:26 UTC
Change target milestone to 4.2.3, as 4.2.2 has been released.
Comment 8 Joseph S. Myers 2008-02-01 16:53:53 UTC
4.2.3 is being released now, changing milestones of open bugs to 4.2.4.
Comment 9 Joseph S. Myers 2008-05-19 20:23:03 UTC
4.2.4 is being released, changing milestones to 4.2.5.
Comment 10 Eric Botcazou 2008-09-20 14:05:05 UTC
This is a corner case anyway.