From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 51605 invoked by alias); 3 Jul 2018 05:22:59 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 51588 invoked by uid 89); 3 Jul 2018 05:22:58 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=3.2 required=5.0 tests=AWL,BAYES_00,FOREIGN_BODY,SPF_PASS,T_FILL_THIS_FORM_SHORT autolearn=no version=3.3.2 spammy=Mitteilung, mitteilung, gmbh, GmbH X-HELO: dedi548.your-server.de Received: from dedi548.your-server.de (HELO dedi548.your-server.de) (85.10.215.148) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 03 Jul 2018 05:22:56 +0000 Received: from [78.46.172.2] (helo=sslproxy05.your-server.de) by dedi548.your-server.de with esmtpsa (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.85_2) (envelope-from ) id 1faDm9-0000y7-EY; Tue, 03 Jul 2018 07:22:53 +0200 Received: from [82.135.62.35] (helo=mail.embedded-brains.de) by sslproxy05.your-server.de with esmtpsa (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1faDm9-000JVG-7z; Tue, 03 Jul 2018 07:22:53 +0200 Received: from localhost (localhost.localhost [127.0.0.1]) by mail.embedded-brains.de (Postfix) with ESMTP id BC0F62A167D; Tue, 3 Jul 2018 07:23:31 +0200 (CEST) Received: from mail.embedded-brains.de ([127.0.0.1]) by localhost (zimbra.eb.localhost [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id ANtxN3IrTZdw; Tue, 3 Jul 2018 07:23:29 +0200 (CEST) Received: from localhost (localhost.localhost [127.0.0.1]) by mail.embedded-brains.de (Postfix) with ESMTP id 6B03B2A167F; Tue, 3 Jul 2018 07:23:29 +0200 (CEST) Received: from mail.embedded-brains.de ([127.0.0.1]) by localhost (zimbra.eb.localhost [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 4gX3hrwPRcIP; Tue, 3 Jul 2018 07:23:29 +0200 (CEST) Received: from [192.168.96.149] (unknown [192.168.96.149]) by mail.embedded-brains.de (Postfix) with ESMTPSA id 18E012A167D; Tue, 3 Jul 2018 07:23:28 +0200 (CEST) Subject: Re: RISC-V and Ada: undefined references to `__gnat_raise_nodefer_with_msg' To: Eric Botcazou Cc: gcc@gcc.gnu.org References: <050a9680-545a-3b8b-a55c-79864295f962@embedded-brains.de> <25512449.NdNXkIzq3Y@polaris> From: Sebastian Huber Message-ID: Date: Tue, 03 Jul 2018 05:22:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 MIME-Version: 1.0 In-Reply-To: <25512449.NdNXkIzq3Y@polaris> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable X-IsSubscribed: yes X-SW-Source: 2018-07/txt/msg00015.txt.bz2 On 02/07/18 22:03, Eric Botcazou wrote: >> I cannot find it in the GCC sources: >> >> grep -ri raise_nodefer_with_msg >> gcc/ada/gcc-interface/trans.c: (get_identifier >> ("__gnat_raise_nodefer_with_msg"), NULL_TREE, ftype, >> >> Who is supposed to provide an implementation of >> __gnat_raise_nodefer_with_msg? > No one, it's obsolete. The port is very likely not (properly) configured. In master and gcc-8-branch: grep -ri raise_nodefer_with_msg gcc/ada gcc/ada/gcc-interface/trans.c:=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (get_identifie= r=20 ("__gnat_raise_nodefer_with_msg"), NULL_TREE, ftype, In gcc-7-branch: grep -ri raise_nodefer_with_msg gcc/ada gcc/ada/a-exexpr.adb:=C2=A0=C2=A0 pragma Export (C, Propagate_Continue,=20 "__gnat_raise_nodefer_with_msg"); gcc/ada/gcc-interface/trans.c:=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (get_identifie= r=20 ("__gnat_raise_nodefer_with_msg"), NULL_TREE, ftype, gcc/ada/a-except.adb:=C2=A0=C2=A0 pragma Export (C, Raise_Current_Excep,=20 "__gnat_raise_nodefer_with_msg"); It seems the a-except.adb was replaced by=C2=A0 a-except-2005.adb in this c= ommit: commit 4af1de5b4b45c597d63e935dc3fae6d94b27d39e Author: charlet Date:=C2=A0=C2=A0 Thu Apr 27 09:48:45 2017 +0000 =C2=A0=C2=A0=C2=A0 2017-04-27=C2=A0 Claire Dross=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * a-cfd= lli.adb, a-cfdlli.ads (Formal_Model): Adapt to =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 modific= ations in functional containers. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * a-cof= uba.ads, a-cofuma.ads, a-cofuse.ads, a-cofuve.ads=20 Reformat =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to impr= ove readablity. Subprograms are separated between basic =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 operati= ons, constructors and properties. Universally quantified =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 formula= s in contracts are factorized in independant functions =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 with a = name and a comment.=C2=A0 Names of parameters are improved. =C2=A0=C2=A0=C2=A0 2017-04-27=C2=A0 Gary Dismukes=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * exp_s= park.adb, sem_elab.adb: Minor reformatting and typo fix. =C2=A0=C2=A0=C2=A0 2017-04-27=C2=A0 Hristian Kirtchev=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * sem_r= es.adb (Resolve_Type_Conversion): Do not =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 install= a predicate check here since this is already done=20 during =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 the exp= ansion phase. Verify whether the operand satisfies the =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 static = predicate (if any) of the target type. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * sem_c= h3.adb (Analyze_Object_Declaration): Do =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 not ins= tall a predicate check if the object is initialized by =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 means o= f a type conversion because the conversion is subjected =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to the = same check. =C2=A0=C2=A0=C2=A0 2017-04-27=C2=A0 Tristan Gingold=C2=A0 =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * raise= .c (__gnat_builtin_longjmp): Remove. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (__gnat= _bracktrace): =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Add a d= ummy definition for the compiler (__gnat_eh_personality, =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 __gnat_= rcheck_04, __gnat_rcheck_10) (__gnat_rcheck_19, =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 __gnat_= rcheck_20, __gnat_rcheck_21) (__gnat_rcheck_30, =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 __gnat_= rcheck_31, __gnat_rcheck_32): Likewise. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * a-exe= xpr.adb: Renamed from a-exexpr-gcc.adb =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * a-exc= ept.ads, a-except.adb: Renamed from a-except-2005.ads =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 and a-e= xcept-2005.adb. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * raise= -gcc.c: Allow build in compiler, compiled as a C++ =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 file. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (__gnat= _Unwind_ForcedUnwind): Adjust prototype. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (db): C= onstify msg_format. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (get_ca= ll_site_action_for): Don't use void arithmetic. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * syste= m.ads (Frontend_Exceptions): Set to False. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (ZCX_By= _Default): Set to True. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (GCC_ZC= _Support): Set to True. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * gcc-i= nterface/Makefile.in: No more variants for=20 a-exexpr.adb and =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 a-excep= t.ad[sb]. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * gcc-i= nterface/Make-lang.in: Add support for backend zcx=20 exceptions =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 in gnat= 1 and gnatbind. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * gnat1= , gnatbind: link with raise-gcc.o, a-exctra.o,=20 s-addima.o, =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 s-excma= c.o, s-imgint.o, s-traceb.o, s-trasym.o, s-wchstw.o =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * s-exc= mac.ads, s-excmac.adb: Copy of variants. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 * a-exc= ept.o: Adjust preequisites. =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Add han= dling of s-excmac-arm.adb and s-excmac-gcc.adb. =C2=A0=C2=A0=C2=A0 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247301= =20 138bc75d-0d04-0410-961f-82ee72b054a4 --=20 Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47 41-16 Fax : +49 89 189 47 41-09 E-Mail : sebastian.huber@embedded-brains.de PGP : Public key available on request. Diese Nachricht ist keine gesch=C3=A4ftliche Mitteilung im Sinne des EHUG.