public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "laurent at guerby dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ada/21242] New: ACATS wrong array copy code c41203a c41203b c52102b c52102d c62002a
Date: Wed, 27 Apr 2005 06:04:00 -0000 [thread overview]
Message-ID: <20050427060430.21242.laurent@guerby.net> (raw)
These started failing immediately after 4.1.0 was able to bootstrap Ada
on x86_64-linux, that is to say between
LAST_UPDATED: Sun Apr 3 16:59:59 UTC 2005
LAST_UPDATED: Fri Apr 15 18:15:00 UTC 2005
Part of array copying generated code must be wrong in some way to get those test
failing.
,.,. C41203A ACATS 2.5 05-04-27 01:33:50
---- C41203A CHECK THAT THE NAME PART OF A SLICE MAY BE OF CERTAIN FORMS
AND THAT THE APPROPRIATE SLICE IS ACCESSED (FOR STATIC
INDICES).
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - N1.
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - N2.
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - F2.
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - N3.
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - N4.
* C41203A WRONG TARGET FOR (IN) OUT PARAMETER - C41203A.N1.
**** C41203A FAILED ****************************.
,.,. C41203B ACATS 2.5 05-04-27 01:33:53
---- C41203B CHECK THAT THE NAME PART OF A SLICE MAY BE OF CERTAIN FORMS
AND THAT THE APPROPRIATE SLICE IS ACCESSED (FOR DYNAMIC
INDICES).
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - N1.
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - N2.
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - F2.
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - N3.
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - N4.
* C41203B WRONG TARGET FOR (IN) OUT PARAMETER - C41203B.N1.
**** C41203B FAILED ****************************.
,.,. C52102B ACATS 2.5 05-04-27 01:36:33
---- C52102B CHECK THAT THE ASSIGNMENT OF OVERLAPPING SOURCE AND TARGET
VARIABLES (INCLUDING ARRAYS AND SLICES IN VARIOUS
COMBINATIONS) SATISFIES THE SEMANTICS OF "COPY"
ASSIGNMENT (PART 2: DYNAMIC BOUNDS).
* C52102B WRONG VALUES - I1.
* C52102B WRONG VALUES - I2.
* C52102B WRONG VALUES - I3.
* C52102B WRONG VALUES - I4.
* C52102B WRONG VALUES - B3.
* C52102B WRONG VALUES - B4.
**** C52102B FAILED ****************************.
,.,. C52102D ACATS 2.5 05-04-27 01:36:37
---- C52102D CHECK THAT THE ASSIGNMENT OF OVERLAPPING SOURCE AND TARGET
VARIABLES (INCLUDING ARRAYS AND SLICES IN VARIOUS
COMBINATIONS) SATISFIES THE SEMANTICS OF "COPY"
ASSIGNMENT WHEN INITIAL ASSIGNMENT VALUES ARE DYNAMIC
(PART 2: DYNAMIC BOUNDS).
* C52102D WRONG VALUES - I1.
* C52102D WRONG VALUES - I2.
* C52102D WRONG VALUES - I3.
* C52102D WRONG VALUES - I4.
* C52102D WRONG VALUES - B3.
* C52102D WRONG VALUES - B4.
**** C52102D FAILED ****************************.
,.,. C62002A ACATS 2.5 05-04-27 01:37:15
---- C62002A CHECK THAT COMPONENTS OF ACCESS IN PARAMETERS MAY BE USED
IN ASSIGNMENT CONTEXTS.
* C62002A ASSIGNMENT TO COMPONENT OF ARRAY ACCESS PARAMETER FAILED.
**** C62002A FAILED ****************************.
--
Summary: ACATS wrong array copy code c41203a c41203b c52102b
c52102d c62002a
Product: gcc
Version: 4.1.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=21242
next reply other threads:[~2005-04-27 6:04 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-04-27 6:04 laurent at guerby dot net [this message]
2005-06-11 23:16 ` [Bug ada/21242] ACATS wrong array copy code c52102b c52102d laurent at guerby dot net
2005-06-19 11:14 ` [Bug ada/21242] ACATS wrong array copy code c52102b c52102d (works with -fno-tree-dce) laurent at guerby dot net
2005-06-19 11:47 ` laurent at guerby dot net
2005-06-19 12:34 ` pinskia at gcc dot gnu dot org
2005-06-19 12:41 ` [Bug ada/21242] [4.1 Regression] wrong array copy code (ACATS c52102b c52102d) pinskia at gcc dot gnu dot org
2005-06-19 13:25 ` laurent at guerby dot net
2005-06-19 13:46 ` pinskia at gcc dot gnu dot org
2005-07-12 9:27 ` laurent at guerby dot net
2005-07-12 15:10 ` pinskia at gcc dot gnu dot org
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20050427060430.21242.laurent@guerby.net \
--to=gcc-bugzilla@gcc.gnu.org \
--cc=gcc-bugs@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).