[Bug ada/66205] gnatbind generates invalid code when finalization is enabled in restricted runtime

["simon at pushface dot org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #4 from simon at pushface dot org ---
Agree it’s not ARM-specific, but it _is_ Ada-restricted-runtime-specific.

I realise that this isn’t a configuration supported by AdaCore for their
customers (there’d have been no need for this PR if it was!); does it have to
be unsupported by GCC then?

I’ve managed to make what I think is a very-low-quality workround by
(a) not suppressing the standard library on the target in system.ads
(b) including a C source file in the RTS which provides dummies for the
irrelevant-in-this-context __gl_* objects which bindgen now references.

Anyway, now I have my copyright assignment in place, I’ll submit the patch. I’m
not sure what regression tests would be appropriate: I propose to apply the
patch and bootstrap/make check-ada for Darwin, that will show I haven’t broken
the normal case, and I can repeat the build for arm-eabi and build a null main
program.

If there’s no chance that this patch will ever be accepted, please let me know
before I embark on this!
>From gcc-bugs-return-488798-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jun 11 16:00:04 2015
Return-Path: <gcc-bugs-return-488798-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 49783 invoked by alias); 11 Jun 2015 16:00:04 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 49635 invoked by uid 55); 11 Jun 2015 15:59:59 -0000
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug bootstrap/66252] [6 regression] bootstrap comparison failures on sparc-linux
Date: Thu, 11 Jun 2015 16:00:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: bootstrap
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ebotcazou at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-66252-4-rTQ4Z3oBdQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-66252-4@http.gcc.gnu.org/bugzilla/>
References: <bug-66252-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-06/txt/msg01130.txt.bz2
Content-length: 1035

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf252

--- Comment #10 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Author: ebotcazou
Date: Thu Jun 11 15:59:27 2015
New Revision: 224386

URL: https://gcc.gnu.org/viewcvs?rev"4386&root=gcc&view=rev
Log:
        PR bootstrap/66252
        * config/sparc/sparc.c (hard_regno_mode_classes): Add ??? comment.
        * config/sparc/sparc.md (zero_extendsidi2_insn_sp32): Use single order.
        (*addx_extend_sp32): Fix pasto.
        (*subx_extend): Rename into...
        (*subx_extend_sp32): ...this.
        (*adddi3_extend_sp32): Add earlyclobber.
        (*subdi3_insn_sp32): Likewise.
        (*subdi3_extend_sp32): Likewise.
        (*and_not_di_sp32): Likewise.
        (*or_not_di_sp32): Likewise.
        (*xor_not_di_sp32): Likewise.
        (*negdi2_sp32): Likewise.
        (*one_cmpldi2_sp32): Likewise.

Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/config/sparc/sparc.c
    branches/gcc-4_9-branch/gcc/config/sparc/sparc.md