[Bug ada/18819] New: ACATS cdd2a02 fails at runtime

[Bug ada/18819] New: ACATS cdd2a02 fails at runtime

[laurent at guerby dot net]

Happens both on x86 and x86_64, no analysis yet.

,.,. CDD2A02 ACATS 2.5 04-12-03 22:31:47
---- CDD2A02 Check that the Read, Write, Input, and Output attributes
                are inherited for untagged derived types.
   * CDD2A02 Inherited Input and Output are not inverses of each other -
                4.
**** CDD2A02 FAILED ****************************.

-- 
           Summary: ACATS cdd2a02 fails at runtime
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-07 18:54 -------
Does this happen at -O0 and -O2?

-- 


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-12-07 19:34 -------
It fails only at -O2, it pass at -O0 on x86, x86_64 and ia64.

-- 


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-17 16:45 -------
Confirmed as of today on x86.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-17 16:45:38
               date|                            |


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-17 16:46 -------
Investigating.


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


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-02-18 12:27 -------
It's SRA again, but the problem really originates in the FE's type frobbing with
VIEW_CONVERT_EXPR and the like.  I think we should consider disabling SRA for
the Ada compiler until this mess is sorted out.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
         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=18819

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-02-19 18:27 -------
I confirm the test PASS with -O2 -fno-tree-sra on x86 and x86_64-linux.

-- 


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

[Bug ada/18819] ACATS cdd2a02 fails at runtime

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-04-07 06:51 -------
Subject: Bug 18819

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	ebotcazou@gcc.gnu.org	2005-04-07 06:51:30

Modified files:
	gcc            : ChangeLog 
	gcc/doc        : invoke.texi 
	gcc/ada        : ChangeLog misc.c 

Log message:
	PR ada/18659
	PR ada/18819
	ada/
	* misc.c (tree_sra_requested): New global.
	(gnat_init_options): Detect -ftree-sra.
	(gnat_post_options): Enable Tree-SRA only if specifically requested.
	gcc/
	* doc/invoke.texi (Optimize Options): Document that
	-ftree-sra is not automatically enabled for the Ada compiler.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.144&r2=2.7592.2.145
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/doc/invoke.texi.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.583.2.9&r2=1.583.2.10
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.638.4.10&r2=1.638.4.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/misc.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.96.6.1&r2=1.96.6.2



-- 


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

[Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-04-07 06:57 -------
It only fails on mainline now.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS cdd2a02 fails at      |[4.1 Regression] ACATS
                   |runtime                     |cdd2a02 fails at runtime


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

[Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2005-06-11 23:19 -------
Still failing as of 4.1.0 Fri Jun 10 20:07:24 UTC 2005 on x86_64-linux.

-- 


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

[Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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

[Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-08-22 02:25 -------
Ada is not release-critical.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |---


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