[Bug ada/21242] New: ACATS wrong array copy code c41203a c41203b c52102b c52102d c62002a

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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