From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [205.232.38.15]) by sourceware.org (Postfix) with ESMTP id D9EA43857C4A for ; Sat, 15 Aug 2020 17:26:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org D9EA43857C4A Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=oliva@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id A6B96563F9; Sat, 15 Aug 2020 13:26:44 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 0QCdTgOANF6O; Sat, 15 Aug 2020 13:26:44 -0400 (EDT) Received: from free.home (tron.gnat.com [IPv6:2620:20:4000:0:46a8:42ff:fe0e:e294]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPS id 56BE8563F7; Sat, 15 Aug 2020 13:26:44 -0400 (EDT) Received: from livre.home (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 07FHQXP0165571 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 15 Aug 2020 14:26:34 -0300 From: Alexandre Oliva To: Iain Sandoe Cc: Nathan Sidwell , Eric Botcazou , gcc-patches@gcc.gnu.org, joseph@codesourcery.com Subject: Re: [PATCH] introduce attribute exalias Organization: Free thinker, does not speak for AdaCore References: <13ed4563-33bb-f9b5-4b63-0cf0eebf6034@acm.org> <3BCD58FE-BB29-49EA-BBEF-1FF4ADCAB7CA@sandoe.co.uk> Errors-To: aoliva@lxoliva.fsfla.org Date: Sat, 15 Aug 2020 14:26:33 -0300 In-Reply-To: <3BCD58FE-BB29-49EA-BBEF-1FF4ADCAB7CA@sandoe.co.uk> (Iain Sandoe's message of "Sat, 15 Aug 2020 10:22:30 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 15 Aug 2020 17:26:45 -0000 On Aug 15, 2020, Iain Sandoe wrote: > what about annotating the import pragma in some way such that the platform > mangling is applied by the compiler? Oh, one more thing about this. Requiring all names to be given in canonical form might alleviate some of the problems I raised, since it would eliminate typedefs and using declarations and directives from consideration. We'd still have other unsurmountable problems to deal with, but more importantly, you wouldn't be able to use u64 any more, you'd have to resolve it to the type that u64 is mapped to, at which point you'd be bringing back the very variation across targets that this feature was designed to overcome. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer