public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
2005-10-22 21:51 ` [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime pinskia at gcc dot gnu dot org
@ 2005-10-22 21:51 ` pinskia at gcc dot gnu dot org
2005-10-30 23:31 ` pinskia at gcc dot gnu dot org
` (29 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-22 21:51 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |critical
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
@ 2005-10-22 21:51 ` pinskia at gcc dot gnu dot org
2005-10-22 21:51 ` pinskia at gcc dot gnu dot org
` (30 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-22 21:51 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
2005-10-22 21:51 ` [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime pinskia at gcc dot gnu dot org
2005-10-22 21:51 ` pinskia at gcc dot gnu dot org
@ 2005-10-30 23:31 ` pinskia at gcc dot gnu dot org
2005-11-22 10:25 ` [Bug ada/18819] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
` (28 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-10-30 23:31 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P2 |P5
Target Milestone|4.2.0 |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2005-10-30 23:31 ` pinskia at gcc dot gnu dot org
@ 2005-11-22 10:25 ` ebotcazou at gcc dot gnu dot org
2005-12-15 13:30 ` ebotcazou at gcc dot gnu dot org
` (27 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-11-22 10:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from ebotcazou at gcc dot gnu dot org 2005-11-22 10:25 -------
Investigating again.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|ebotcazou at gcc dot gnu dot|
|org |
AssignedTo|unassigned at gcc dot gnu |ebotcazou at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2005-07-09 23:53:12 |2005-11-22 10:25:44
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2005-11-22 10:25 ` [Bug ada/18819] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
@ 2005-12-15 13:30 ` ebotcazou at gcc dot gnu dot org
2005-12-15 13:34 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
` (26 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-12-15 13:30 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from ebotcazou at gcc dot gnu dot org 2005-12-15 13:29 -------
Subject: Bug 18819
Author: ebotcazou
Date: Thu Dec 15 13:29:14 2005
New Revision: 108576
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=108576
Log:
2005-12-15 Eric Botcazou <ebotcazou@adacore.com>
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.
Modified:
branches/gcc-4_1-branch/gcc/ChangeLog
branches/gcc-4_1-branch/gcc/ada/ChangeLog
branches/gcc-4_1-branch/gcc/ada/misc.c
branches/gcc-4_1-branch/gcc/doc/invoke.texi
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fails at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2005-12-15 13:30 ` ebotcazou at gcc dot gnu dot org
@ 2005-12-15 13:34 ` ebotcazou at gcc dot gnu dot org
2006-01-17 19:02 ` [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail " laurent at guerby dot net
` (25 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2005-12-15 13:34 UTC (permalink / raw)
To: gcc-bugs
--
ebotcazou at gcc dot gnu dot org changed:
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
Severity|critical |major
Status|ASSIGNED |NEW
Summary|[4.1/4.2 Regression] ACATS |[4.2 Regression] ACATS
|cdd2a02 fails at runtime |cdd2a02 fails at runtime
Target Milestone|4.1.0 |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2005-12-15 13:34 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
@ 2006-01-17 19:02 ` laurent at guerby dot net
2006-01-20 18:39 ` uweigand at gcc dot gnu dot org
` (24 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: laurent at guerby dot net @ 2006-01-17 19:02 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from laurent at guerby dot net 2006-01-17 19:02 -------
http://gcc.gnu.org/ml/gcc-testresults/2006-01/msg00663.html
cdda01 fails on s390-linux on 4.1 with tree-sra disabled.
,.,. CDD2A01 ACATS 2.5 06-01-16 19:32:21
---- CDD2A01 Check that the Read and Write attributes for a type
extension are created from the parent type's attribute
(which may be user-defined) and those for the extension
components; also check that the default input and output
attributes are used for a type extension, even if the
parent type's attribute is user-defined.
raised CONSTRAINT_ERROR : fdd2a00.adb:29 range check failed
FAIL: cdd2a01
,.,. CDD2A02 ACATS 2.5 06-01-16 19:32:25
---- CDD2A02 Check that the Read, Write, Input, and Output attributes
are inherited for untagged derived types.
raised CONSTRAINT_ERROR : fdd2a00.adb:29 range check failed
FAIL: cdd2a02
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.2 Regression] ACATS |[4.1/4.2 Regression] ACATS
|cdd2a02 fails at runtime |cdd2a01 cdd2a02 fail at
| |runtime
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2006-01-17 19:02 ` [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail " laurent at guerby dot net
@ 2006-01-20 18:39 ` uweigand at gcc dot gnu dot org
2006-01-21 9:32 ` laurent at guerby dot net
` (23 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: uweigand at gcc dot gnu dot org @ 2006-01-20 18:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from uweigand at gcc dot gnu dot org 2006-01-20 18:39 -------
Some additional details about the s390x failure. This is caused by a
miscompile of the fdd2a00__write__2 support routine:
lg %r4,168(%r15) # 35 *movdi_64/8 [length = 6]
lg %r3,160(%r15) # 36 *movdi_64/8 [length = 6]
cgr %r4,%r3 # 37 *cmpdi_ccs/1 [length = 4]
stg %r2,168(%r15) # 33 *movdi_64/9 [length = 6]
Note how insn 35 reads a stack slot that is uninitialized because
insn 33 has been scheduled later. This is apparently caused by
an alias set issue. The code at the .t97.final_cleanup level reads:
A.63 = system__arith_64__add_with_ovflo_check (D.1421, D.1426);
R38b = (ada__streams__Tstream_element_offsetB *) &A.63;
where the data type of A.63 is system__arith_64__int64.
This gets expanded into
(insn 32 31 33 3 (set (reg:DI 60)
(reg:DI 2 %r2)) -1 (nil)
(nil))
(insn 33 32 34 3 (set (mem/c/i:DI (plus:DI (reg/f:DI 39 virtual-stack-vars)
(const_int -8 [0xfffffffffffffff8])) [26 A.63+0 S8 A64])
(reg:DI 60)) -1 (nil)
(nil))
(insn 34 33 35 3 (parallel [
(set (reg:DI 43 [ R38b ])
(plus:DI (reg/f:DI 39 virtual-stack-vars)
(const_int -8 [0xfffffffffffffff8])))
(clobber (reg:CC 33 %cc))
]) -1 (nil)
(nil))
(insn 35 34 36 3 (set (reg:DI 48 [ D.1430 ])
(mem:DI (reg:DI 43 [ R38b ]) [27 S8 A64])) -1 (nil)
(nil))
Note alias set 26 in insn 33 vs. alias set 27 in insn 35.
Any ideas why this would be the case?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2006-01-20 18:39 ` uweigand at gcc dot gnu dot org
@ 2006-01-21 9:32 ` laurent at guerby dot net
2006-01-22 10:19 ` ebotcazou at gcc dot gnu dot org
` (22 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: laurent at guerby dot net @ 2006-01-21 9:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from laurent at guerby dot net 2006-01-21 09:32 -------
4.2 fails on amd64-linux as of Fri Jan 20 20:40:28 UTC 2006 (revision 110036)
http://gcc.gnu.org/ml/gcc-testresults/2006-01/msg01071.html
RUN cdd2a02
,.,. CDD2A02 ACATS 2.5 06-01-23 01:01:16
---- 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 ****************************.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2006-01-21 9:32 ` laurent at guerby dot net
@ 2006-01-22 10:19 ` ebotcazou at gcc dot gnu dot org
2006-01-22 11:43 ` ebotcazou at gcc dot gnu dot org
` (21 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-22 10:19 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from ebotcazou at gcc dot gnu dot org 2006-01-22 10:19 -------
> Any ideas why this would be the case?
The types are not supposed to alias each other. The lines in the .dg file are:
R8b : fdd2a00__write__A7b__2 :=
ada__streams__Tstream_element_offsetB?(
system__arith_64__add_with_ovflo_check (interfaces__integer_64
?(stream.last), interfaces__integer_64?(
ada__streams__Tstream_element_offsetB(item'length))))'reference;
[constraint_error when R8b.all >= R5b.all and then (R5b.all <
1 or else R8b.all > ada__streams__Tstream_element_offsetB(R3b)) "range
check failed"]
ada/trans.c:3053
case N_Reference:
/* Like 'Access as far as we are concerned. */
gnu_result = gnat_to_gnu (Prefix (gnat_node));
gnu_result = build_unary_op (ADDR_EXPR, NULL_TREE, gnu_result);
gnu_result_type = get_unpadded_type (Etype (gnat_node));
break;
These N_Reference nodes are an endless source of problems because they cause
gigi to take the address of objects that are not aliased. We have been working
towards eliminating them as much as possible by using renaming instead; this
case (check on the result of a function call) is probably the most delicate
one.
No real solution as of this writing, only a poor workaround: not compiling the
support files with -gnato (overflow checks).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2006-01-22 10:19 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-22 11:43 ` ebotcazou at gcc dot gnu dot org
2006-01-22 11:44 ` ebotcazou at gcc dot gnu dot org
` (20 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-22 11:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from ebotcazou at gcc dot gnu dot org 2006-01-22 11:43 -------
> No real solution as of this writing, only a poor workaround: not compiling the
> support files with -gnato (overflow checks).
Well, I may have spoken too soon. :-) We are calling Remove_Side_Effects on:
N_Type_Conversion (Node_Id=1679) (analyzed)
Rewritten: original node = N_Op_Add "Oadd" (Node_Id=39499)
Parent = N_Range (Node_Id=1681)
Sloc = 7611 fdd2a00.adb:6:38
Etype = N_Defining_Identifier "Tstream_element_offsetB" (Entity_Id=2017)
Subtype_Mark = N_Identifier "Tstream_element_offsetB" (Node_Id=39497)
Expression = N_Function_Call (Node_Id=39496)
Conversion_OK = True
It turns out that the fix is already present in the front-end, but inhibited:
-- If this is a type conversion, leave the type conversion and remove
-- the side effects in the expression. This is important in several
-- circumstances: for change of representations, and also when this
-- is a view conversion to a smaller object, where gigi can end up
-- creating its own temporary of the wrong size.
-- ??? this transformation is inhibited for elementary types that are
-- not involved in a change of representation because it causes
-- regressions that are not fully understood yet.
elsif Nkind (Exp) = N_Type_Conversion
and then (not Is_Elementary_Type (Underlying_Type (Exp_Type))
or else Nkind (Parent (Exp)) = N_Assignment_Statement)
then
Remove_Side_Effects (Expression (Exp), Name_Req, Variable_Ref);
Scope_Suppress := Svg_Suppress;
return;
However, another possible fix is to make a copy when we know we will not be
able to use a renaming. Tentative patch to be attached.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2006-01-22 11:43 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-22 11:44 ` ebotcazou at gcc dot gnu dot org
2006-01-22 16:31 ` ebotcazou at gcc dot gnu dot org
` (19 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-22 11:44 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from ebotcazou at gcc dot gnu dot org 2006-01-22 11:44 -------
Created an attachment (id=10701)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10701&action=view)
Patch for miscompilation on s390x.
--
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
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2006-01-22 11:44 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-22 16:31 ` ebotcazou at gcc dot gnu dot org
2006-01-22 22:29 ` ebotcazou at gcc dot gnu dot org
` (18 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-22 16:31 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from ebotcazou at gcc dot gnu dot org 2006-01-22 16:31 -------
Created an attachment (id=10706)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10706&action=view)
Other patch for miscompilation on s390x.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2006-01-22 16:31 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-22 22:29 ` ebotcazou at gcc dot gnu dot org
2006-01-23 15:12 ` charlet at adacore dot com
` (17 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-22 22:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from ebotcazou at gcc dot gnu dot org 2006-01-22 22:29 -------
(From update of attachment 10701)
Probably too gross.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #10701|0 |1
is obsolete| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2006-01-22 22:29 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-23 15:12 ` charlet at adacore dot com
2006-01-23 15:15 ` ebotcazou at gcc dot gnu dot org
` (16 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: charlet at adacore dot com @ 2006-01-23 15:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from charlet at adacore dot com 2006-01-23 15:12 -------
Subject: Re: [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
> No real solution as of this writing, only a poor workaround: not compiling the
> support files with -gnato (overflow checks).
That's not really an option, since these files must be compiled with
-gnato (well at least report.adb) for proper operation of some ACATS tests.
Arno
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2006-01-23 15:12 ` charlet at adacore dot com
@ 2006-01-23 15:15 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:07 ` ebotcazou at gcc dot gnu dot org
` (15 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-23 15:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #22 from ebotcazou at gcc dot gnu dot org 2006-01-23 15:15 -------
> That's not really an option, since these files must be compiled with
> -gnato (well at least report.adb) for proper operation of some ACATS tests.
Agreed. Can I install the front-end fix on the 4.1 branch then?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (15 preceding siblings ...)
2006-01-23 15:15 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-25 14:07 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:08 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
` (14 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 14:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #23 from ebotcazou at gcc dot gnu dot org 2006-01-25 14:07 -------
Subject: Bug 18819
Author: ebotcazou
Date: Wed Jan 25 14:06:59 2006
New Revision: 110213
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110213
Log:
PR ada/18819
* exp_util.adb (Remove_Side_Effects): Lift enclosing type conversion
nodes for elementary types in all cases.
Modified:
branches/gcc-4_1-branch/gcc/ada/ChangeLog
branches/gcc-4_1-branch/gcc/ada/exp_util.adb
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (16 preceding siblings ...)
2006-01-25 14:07 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-25 14:08 ` ebotcazou at gcc dot gnu dot org
2006-01-25 18:03 ` uweigand at gcc dot gnu dot org
` (13 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 14:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #24 from ebotcazou at gcc dot gnu dot org 2006-01-25 14:08 -------
Should be fixed on 4.1 branch.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|ebotcazou at gcc dot gnu dot|
|org |
Summary|[4.1/4.2 Regression] ACATS |[4.2 Regression] ACATS
|cdd2a01 cdd2a02 fail at |cdd2a01 cdd2a02 fail at
|runtime |runtime
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (17 preceding siblings ...)
2006-01-25 14:08 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
@ 2006-01-25 18:03 ` uweigand at gcc dot gnu dot org
2006-02-15 9:40 ` charlet at gcc dot gnu dot org
` (12 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: uweigand at gcc dot gnu dot org @ 2006-01-25 18:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #25 from uweigand at gcc dot gnu dot org 2006-01-25 18:03 -------
Yes, the patch fixes the problem on s390x.
Thanks!
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (18 preceding siblings ...)
2006-01-25 18:03 ` uweigand at gcc dot gnu dot org
@ 2006-02-15 9:40 ` charlet at gcc dot gnu dot org
2006-02-15 10:09 ` [Bug ada/18819] [4.2 Regression] ACATS " ebotcazou at gcc dot gnu dot org
` (11 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: charlet at gcc dot gnu dot org @ 2006-02-15 9:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #26 from charlet at gcc dot gnu dot org 2006-02-15 09:40 -------
Subject: Bug 18819
Author: charlet
Date: Wed Feb 15 09:40:13 2006
New Revision: 111069
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111069
Log:
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
Eric Botcazou <ebotcazou@adacore.com>
* exp_util.ads, exp_util.adb (Find_Prim_Op,
Is_Predefined_Primitive_Operation): When
searching for the predefined equality operator, verify that operands
have the same type.
(Is_Predefined_Dispatching_Operation): Remove the code that looks
for the last entity in the list of aliased subprograms. This code
was wrong in case of renamings.
(Set_Renamed_Subprogram): New procedure
(Remove_Side_Effects): Replace calls to Etype (Exp) with use of the
Exp_Type constant computed when entering this subprogram.
(Known_Null): New function
(OK_To_Do_Constant_Replacement): New function
(Known_Non_Null): Check scope before believing Is_Known_Non_Null flag
(Side_Effect_Free): An attribute reference 'Input is not free of
side effect, unlike other attributes that are functions. (from code
reading).
(Remove_Side_Effects): Expressions that involve packed arrays or
records
are copied at the point of reference, and therefore must be marked as
renamings of objects.
(Is_Predefined_Dispatching_Operation): Return false if the operation is
not a dispatching operation.
PR ada/18819
(Remove_Side_Effects): Lift enclosing type conversion nodes for
elementary types in all cases.
Modified:
trunk/gcc/ada/exp_util.adb
trunk/gcc/ada/exp_util.ads
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (19 preceding siblings ...)
2006-02-15 9:40 ` charlet at gcc dot gnu dot org
@ 2006-02-15 10:09 ` ebotcazou at gcc dot gnu dot org
2006-02-15 10:23 ` ebotcazou at gcc dot gnu dot org
` (10 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-02-15 10:09 UTC (permalink / raw)
To: gcc-bugs
------- Comment #27 from ebotcazou at gcc dot gnu dot org 2006-02-15 10:09 -------
Back to the original problem, purely related to SRA.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2005-11-22 10:25:44 |2006-02-15 10:09:18
date| |
Summary|[4.2 Regression] ACATS |[4.2 Regression] ACATS
|cdd2a01 cdd2a02 fail at |cdd2a02 fail at runtime
|runtime |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (20 preceding siblings ...)
2006-02-15 10:09 ` [Bug ada/18819] [4.2 Regression] ACATS " ebotcazou at gcc dot gnu dot org
@ 2006-02-15 10:23 ` ebotcazou at gcc dot gnu dot org
2006-02-15 12:57 ` kenner at vlsi1 dot ultra dot nyu dot edu
` (9 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-02-15 10:23 UTC (permalink / raw)
To: gcc-bugs
------- Comment #28 from ebotcazou at gcc dot gnu dot org 2006-02-15 10:23 -------
Richard, it's the only remaining failure in ACATS on most platforms: the bad
interaction between SRA and aggregates under certain circumstances. Do you
know what amount of work would be required to properly get rid of it?
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kenner at vlsi1 dot ultra
| |dot nyu dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (21 preceding siblings ...)
2006-02-15 10:23 ` ebotcazou at gcc dot gnu dot org
@ 2006-02-15 12:57 ` kenner at vlsi1 dot ultra dot nyu dot edu
2006-02-15 17:12 ` ebotcazou at gcc dot gnu dot org
` (8 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: kenner at vlsi1 dot ultra dot nyu dot edu @ 2006-02-15 12:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #29 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-02-15 12:57 -------
Subject: Re: [4.2 Regression] ACATS cdd2a02 fail at runtime
Richard, it's the only remaining failure in ACATS on most platforms:
the bad interaction between SRA and aggregates under certain
circumstances. Do you know what amount of work would be required to
properly get rid of it?
Is this the one with extension records that rename a discriminant? If so,
the fix involves the front end materializing fields that don't semantically
exist for the purposes of listing all fields in the record.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (22 preceding siblings ...)
2006-02-15 12:57 ` kenner at vlsi1 dot ultra dot nyu dot edu
@ 2006-02-15 17:12 ` ebotcazou at gcc dot gnu dot org
2006-02-15 17:14 ` kenner at vlsi1 dot ultra dot nyu dot edu
` (7 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-02-15 17:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #30 from ebotcazou at gcc dot gnu dot org 2006-02-15 17:12 -------
> Is this the one with extension records that rename a discriminant? If so,
> the fix involves the front end materializing fields that don't semantically
> exist for the purposes of listing all fields in the record.
Yes, that's it. Is a front-end specialist working on that or...?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (23 preceding siblings ...)
2006-02-15 17:12 ` ebotcazou at gcc dot gnu dot org
@ 2006-02-15 17:14 ` kenner at vlsi1 dot ultra dot nyu dot edu
2006-03-07 18:33 ` ebotcazou at gcc dot gnu dot org
` (6 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: kenner at vlsi1 dot ultra dot nyu dot edu @ 2006-02-15 17:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #31 from kenner at vlsi1 dot ultra dot nyu dot edu 2006-02-15 17:14 -------
Subject: Re: [4.2 Regression] ACATS cdd2a02 fail at runtime
Yes, that's it. Is a front-end specialist working on that or...?
Nope. I spoke to Ed S. about it a while ago and he wasn't too enthusiastic
about the idea. Why don't you make a small test case and let's take it
from there.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2 Regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (24 preceding siblings ...)
2006-02-15 17:14 ` kenner at vlsi1 dot ultra dot nyu dot edu
@ 2006-03-07 18:33 ` ebotcazou at gcc dot gnu dot org
2006-10-29 23:19 ` [Bug ada/18819] [4.2/4.3 regression] " ebotcazou at gcc dot gnu dot org
` (5 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-03-07 18:33 UTC (permalink / raw)
To: gcc-bugs
------- Comment #32 from ebotcazou at gcc dot gnu dot org 2006-03-07 18:33 -------
Created an attachment (id=10984)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10984&action=view)
Reduced testcase.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (25 preceding siblings ...)
2006-03-07 18:33 ` ebotcazou at gcc dot gnu dot org
@ 2006-10-29 23:19 ` ebotcazou at gcc dot gnu dot org
2007-02-20 13:12 ` christian dot joensson at gmail dot com
` (4 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-10-29 23:19 UTC (permalink / raw)
To: gcc-bugs
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|major |normal
Summary|[4.2/4.3 Regression] ACATS |[4.2/4.3 regression] ACATS
|cdd2a02 fail at runtime |cdd2a02 fail at runtime
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (26 preceding siblings ...)
2006-10-29 23:19 ` [Bug ada/18819] [4.2/4.3 regression] " ebotcazou at gcc dot gnu dot org
@ 2007-02-20 13:12 ` christian dot joensson at gmail dot com
2007-02-20 13:14 ` ebotcazou at gcc dot gnu dot org
` (3 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: christian dot joensson at gmail dot com @ 2007-02-20 13:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #33 from christian dot joensson at gmail dot com 2007-02-20 13:11 -------
(In reply to comment #32)
> Created an attachment (id=10984)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10984&action=view) [edit]
> Reduced testcase.
>
any news?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (27 preceding siblings ...)
2007-02-20 13:12 ` christian dot joensson at gmail dot com
@ 2007-02-20 13:14 ` ebotcazou at gcc dot gnu dot org
2007-02-21 22:59 ` ebotcazou at gcc dot gnu dot org
` (2 subsequent siblings)
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-02-20 13:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #34 from ebotcazou at gcc dot gnu dot org 2007-02-20 13:13 -------
> any news?
The patch has been written at AdaCore. I'll try to dig it out.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (28 preceding siblings ...)
2007-02-20 13:14 ` ebotcazou at gcc dot gnu dot org
@ 2007-02-21 22:59 ` ebotcazou at gcc dot gnu dot org
2007-02-21 23:00 ` ebotcazou at gcc dot gnu dot org
2007-02-21 23:04 ` ebotcazou at gcc dot gnu dot org
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-02-21 22:59 UTC (permalink / raw)
To: gcc-bugs
------- Comment #35 from ebotcazou at gcc dot gnu dot org 2007-02-21 22:58 -------
Subject: Bug 18819
Author: ebotcazou
Date: Wed Feb 21 22:58:44 2007
New Revision: 122208
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122208
Log:
PR ada/18819
* sem_ch3.adb (Create_Constrained_Components): for a subtype of an
untagged derived type, add hidden components to keep discriminant
layout consistent, when a given discriminant of the derived type
constraints several discriminants of the parent type.
Added:
trunk/gcc/testsuite/gnat.dg/derived_aggregate.adb
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (29 preceding siblings ...)
2007-02-21 22:59 ` ebotcazou at gcc dot gnu dot org
@ 2007-02-21 23:00 ` ebotcazou at gcc dot gnu dot org
2007-02-21 23:04 ` ebotcazou at gcc dot gnu dot org
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-02-21 23:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #36 from ebotcazou at gcc dot gnu dot org 2007-02-21 23:00 -------
Subject: Bug 18819
Author: ebotcazou
Date: Wed Feb 21 23:00:01 2007
New Revision: 122209
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122209
Log:
PR ada/18819
* sem_ch3.adb (Create_Constrained_Components): for a subtype of an
untagged derived type, add hidden components to keep discriminant
layout consistent, when a given discriminant of the derived type
constraints several discriminants of the parent type.
Added:
branches/gcc-4_2-branch/gcc/testsuite/gnat.dg/derived_aggregate.adb
Modified:
branches/gcc-4_2-branch/gcc/ada/ChangeLog
branches/gcc-4_2-branch/gcc/ada/sem_ch3.adb
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
* [Bug ada/18819] [4.2/4.3 regression] ACATS cdd2a02 fail at runtime
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
` (30 preceding siblings ...)
2007-02-21 23:00 ` ebotcazou at gcc dot gnu dot org
@ 2007-02-21 23:04 ` ebotcazou at gcc dot gnu dot org
31 siblings, 0 replies; 32+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2007-02-21 23:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #37 from ebotcazou at gcc dot gnu dot org 2007-02-21 23:04 -------
At long last.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
URL| |http://gcc.gnu.org/ml/gcc-
| |patches/2007-
| |02/msg01786.html
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819
^ permalink raw reply [flat|nested] 32+ messages in thread
end of thread, other threads:[~2007-02-21 23:04 UTC | newest]
Thread overview: 32+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-18819-7210@http.gcc.gnu.org/bugzilla/>
2005-10-22 21:51 ` [Bug ada/18819] [4.1 Regression] ACATS cdd2a02 fails at runtime pinskia at gcc dot gnu dot org
2005-10-22 21:51 ` pinskia at gcc dot gnu dot org
2005-10-30 23:31 ` pinskia at gcc dot gnu dot org
2005-11-22 10:25 ` [Bug ada/18819] [4.1/4.2 " ebotcazou at gcc dot gnu dot org
2005-12-15 13:30 ` ebotcazou at gcc dot gnu dot org
2005-12-15 13:34 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
2006-01-17 19:02 ` [Bug ada/18819] [4.1/4.2 Regression] ACATS cdd2a01 cdd2a02 fail " laurent at guerby dot net
2006-01-20 18:39 ` uweigand at gcc dot gnu dot org
2006-01-21 9:32 ` laurent at guerby dot net
2006-01-22 10:19 ` ebotcazou at gcc dot gnu dot org
2006-01-22 11:43 ` ebotcazou at gcc dot gnu dot org
2006-01-22 11:44 ` ebotcazou at gcc dot gnu dot org
2006-01-22 16:31 ` ebotcazou at gcc dot gnu dot org
2006-01-22 22:29 ` ebotcazou at gcc dot gnu dot org
2006-01-23 15:12 ` charlet at adacore dot com
2006-01-23 15:15 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:07 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:08 ` [Bug ada/18819] [4.2 " ebotcazou at gcc dot gnu dot org
2006-01-25 18:03 ` uweigand at gcc dot gnu dot org
2006-02-15 9:40 ` charlet at gcc dot gnu dot org
2006-02-15 10:09 ` [Bug ada/18819] [4.2 Regression] ACATS " ebotcazou at gcc dot gnu dot org
2006-02-15 10:23 ` ebotcazou at gcc dot gnu dot org
2006-02-15 12:57 ` kenner at vlsi1 dot ultra dot nyu dot edu
2006-02-15 17:12 ` ebotcazou at gcc dot gnu dot org
2006-02-15 17:14 ` kenner at vlsi1 dot ultra dot nyu dot edu
2006-03-07 18:33 ` ebotcazou at gcc dot gnu dot org
2006-10-29 23:19 ` [Bug ada/18819] [4.2/4.3 regression] " ebotcazou at gcc dot gnu dot org
2007-02-20 13:12 ` christian dot joensson at gmail dot com
2007-02-20 13:14 ` ebotcazou at gcc dot gnu dot org
2007-02-21 22:59 ` ebotcazou at gcc dot gnu dot org
2007-02-21 23:00 ` ebotcazou at gcc dot gnu dot org
2007-02-21 23:04 ` 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).