[Bug ipa/63852] New: acats failures On x86_64-apple-darwin14

[Bug ipa/63852] New: acats failures On x86_64-apple-darwin14

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63852

            Bug ID: 63852
           Summary: acats failures On x86_64-apple-darwin14
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dominiq at lps dot ens.fr
                CC: charlet at gcc dot gnu.org, ebotcazou at gcc dot gnu.org,
                    iains at gcc dot gnu.org, marxin at gcc dot gnu.org

On x86_64-apple-darwin14 after r216305 I see the following failures

        === acats tests ===
FAIL:    c760002
FAIL:    c761002
FAIL:    cc1224a
FAIL:    cc3007a
FAIL:    cc3007b

>From the acats.log the errors are

,.,. C761002 ACATS 2.5 14-11-13 08:49:28
---- C761002 Check that objects of a controlled type created by an
                allocator are finalized appropriately. Check that
                Unchecked_Deallocation of a controlled object causes
                finalization of that object.

raised CONSTRAINT_ERROR : erroneous memory access
FAIL:   c761002

,.,. C760002 ACATS 2.5 14-11-13 08:49:24^M
---- C760002 Check that assignment causes the Adjust operation of the
                type to be called.  Check that Adjust is called after
                copying the value of the source expression to the target
                object.  Check that Adjust is called for all controlled 
                components when the containing object is assigned. 
                Check that Adjust is called for components before the
                containing object is adjusted.  Check that Adjust is not
                called for a Limited_Controlled type by the
                implementation.

raised PROGRAM_ERROR : System.Storage_Pools.Subpools.Allocate_Any_Controlled:
allocation after finalization started^M
FAIL:   c760002

,.,. CC1224A ACATS 2.5 14-11-13 09:02:10
---- CC1224A FOR ARRAY TYPES WITH A NONLIMITED COMPONENT TYPE (OF A
                FORMAL AND NONFORMAL GENERIC TYPE), CHECK THAT THE
                FOLLOWING OPERATIONS ARE IMPLICITY DECLARED AND ARE,
                THEREFORE, AVAILABLE WITHIN THE GENERIC -- UNIT:
                ASSIGNMENT, THE OPERATION ASSOCIATED WITH AGGREGATE
                NOTATION, MEMBERSHIP TESTS, THE OPERATION ASSOCIATED
                WITH INDEXED COMPONENTS, QUALIFICATION, EXPLICIT
                CONVERSION, 'SIZE, 'ADDRESS, 'FIRST, 'FIRST (N), 'LAST, 
                'LAST (N), 'RANGE, 'RANGE (N), 'LENGTH, 'LENGTH (N).

raised CONSTRAINT_ERROR : erroneous memory access
FAIL:   cc1224a

,.,. CC3007A ACATS 2.5 14-11-13 09:02:29
---- CC3007A NAMES IN GENERICS ARE STATICALLY BOUND.
   * CC3007A WRONG EXCEPTION RAISED 2.
**** CC3007A FAILED ****************************.
FAIL:   cc3007a

,.,. CC3007B ACATS 2.5 14-11-13 09:02:31
---- CC3007B CHECK THAT THE NAMES IN A GENERIC INSTANTIATION ARE
                STAICALLY IDENTIFIED (I.E., BOUND) AT THE TEXTUAL POINT 
                OF THE INSTANTIATION, AND ARE BOUND BEFORE BEING
                SUBSTITUTED FOR THE CORRESPONDING GENERIC FORMAL
                PARAMETERS IN THE SPECIFICATION AND BODY TEMPLATES.  SEE
                AI-00365/05-BI-WJ..
   - CC3007B ENTERING FIRST BLOCK.
   * CC3007B PROBLEM WITH ARRAY TYPES - 1.
   * CC3007B PROBLEM WITH ARRAY ELEMENTS - 1.

raised CONSTRAINT_ERROR : erroneous memory access
FAIL:   cc3007b

[Bug ipa/63852] [5.0 regression] acats failures on x86_64-apple-darwin14

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63852

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug ipa/63852] [5 regression] acats failures on x86_64-apple-darwin14

[danglin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63852

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu.org

--- Comment #2 from John David Anglin <danglin at gcc dot gnu.org> ---
Also seen on hppa2.0w-hp-hpux11.11.

[Bug ipa/63852] [5 regression] acats failures on x86_64-apple-darwin14

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63852

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug ipa/63852] [5 regression] acats failures on x86_64-apple-darwin14

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63852

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
This PR is fixed by the patch in pr63851 comment 11.