Message ID | 20231130101905.3094070-1-poulhies@adacore.com |
---|---|
State | Accepted |
Headers |
Return-Path: <gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org> Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:bcd1:0:b0:403:3b70:6f57 with SMTP id r17csp281606vqy; Thu, 30 Nov 2023 02:19:59 -0800 (PST) X-Google-Smtp-Source: AGHT+IHPQsHzp9oJ5trjMTvAdvLvLhv2vg7ZYBawJs6gAWhS+NpJ2tHdlfHAIZLNGz76AQiaLvA0 X-Received: by 2002:a05:622a:13d0:b0:41c:c045:2c86 with SMTP id p16-20020a05622a13d000b0041cc0452c86mr45714085qtk.31.1701339599404; Thu, 30 Nov 2023 02:19:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1701339599; cv=pass; d=google.com; s=arc-20160816; b=PqfZVptFTAa+4Gpfr3gXAdxEuJ6gG7XHk+UixQyk/I3yiOoQaEGn1s5cnGGBr7rk7F Smshw1ab4QfnVgmnOazryXPaGi5zPxSm8c6gCkrnLwFqBeZG+8Ekl5RIOKVBRCxlhxvd 14oz/K4DpYZIJo+49wLLgOe5eUAewkxGwuaw6kSQa62mTCCPIYptnUHM/gbpx+K3b0KN dAaRzj+mNTpcFRtOozG88ds0kU02vcmRWYe2yHhTwi1H77BGxu1/7t7bprwVkPyam06R zrsGFAuf9xXpafL6AD25syliFsnvD3K9+Qu0mt4xJteAIjH/UvO2A3CKO+IC8IAP28yf 3G3A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=6n1W85P/lzwl5FjWSY00buKk4rWsxtqWPmzkm87mBsM=; fh=VfpjIVwbQyKCLGOH4P8eKpbC0rx5s9zOz2f2H065zJg=; b=wAMpXWxFY6M+IGgq7dXzHV6awiUqItmHgaoFsFY4Yv5qAEDM+suwoz5JSmqesXQu0/ FfkxpwV/tqofgNACjcLj5ujzktKpt6KTLL4c0cqFeYTpJ9z8vUR8/W0vgD1djgBQfinr 1qsiX6Xm1PYLpRBpHvbvLKSaSqHcQKPVHdQ+9tH1BQ5U9xiwjCYksK7/fD1KlZV9o56Q 2yofZtSetax9JtIwplxTpkV8o+3Cw873VC3Fe+gSspuL2OyJcD6SWDm5nNbAdjC0evzn Um2hoC509HvLNGC8hKjYj9wrS32TbQFgV2wajAl/oL18DwQjW99r28Bs3tE+n0IRtNtV HmBg== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=X89T+PLD; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id gb11-20020a05622a598b00b00423e9316cf6si778503qtb.494.2023.11.30.02.19.59 for <ouuuleilei@gmail.com> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Nov 2023 02:19:59 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@adacore.com header.s=google header.b=X89T+PLD; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=adacore.com Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 1FEF538618AB for <ouuuleilei@gmail.com>; Thu, 30 Nov 2023 10:19:50 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x329.google.com (mail-wm1-x329.google.com [IPv6:2a00:1450:4864:20::329]) by sourceware.org (Postfix) with ESMTPS id 121A23857437 for <gcc-patches@gcc.gnu.org>; Thu, 30 Nov 2023 10:19:08 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 121A23857437 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 121A23857437 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::329 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701339549; cv=none; b=Pz2lHe97WW5RwKTYFZ9xk8cLo8yUqgSK/EbyiKpZyWaAD8K/XbIlPVtidbkv1TJJbrQRetFPItjHXJ0XFiyA7quJXdj0KoCyIhyN04gGEcCMhQftSKNqyeIpE4VSsGjtGSQ/kWB+pXrk/q7HpZupgyPSLgghLaLWTDRydLFDZhI= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701339549; c=relaxed/simple; bh=2L4EGODWv3/HGtRVMSg7/sR8w+x6Q79CgABoxFvxl1M=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=LIun2Zli4ptmD0pkTgDgyNsD4WeebsNfH2DwkK999RKPV/BL8EAEd8g8IK50+/JJWvxzBuBQfP7Lk/P0VrBTJ2CKbAKDnmRkKOqY+nZwVOFDINk9/6ZcSPfn2SbbX6q1IIvakLl/OFCNoNWm3hB+uhCrZKZ3yL5kZD0pM44w9hY= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wm1-x329.google.com with SMTP id 5b1f17b1804b1-40b4f60064eso6258655e9.1 for <gcc-patches@gcc.gnu.org>; Thu, 30 Nov 2023 02:19:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1701339547; x=1701944347; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=6n1W85P/lzwl5FjWSY00buKk4rWsxtqWPmzkm87mBsM=; b=X89T+PLD3iTiq1LdkFC74YS9Fslt8iBZMXyW8ZYvEVQ6Hx6p8C+BIb1hFCRL3U5sUC uydhq/kpYI/W+sfdSdsEHbDSxh03x3rgpxBLQvdnizAPz9K9D4OGBFBAOROG190MlPRD rt6/SV6FaBChRVFzNNb3+zLrdtynMdBvgJ11GDj2ubczm4OWdPiS3pphsSfKZw55Z5oD gwPpybKPxImTZMPVzWYPU8rz4Srf/wmBMfrVGWTQeOQlTyYHF9YmdLdwhEvHHgCu9gWn WwipEx3i3pjnjwMQjNLiCz8U3OjcE910BGBhkgD+nTm2TF9oQ0c0/d5lfYJfGFddpg0V whyw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701339547; x=1701944347; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=6n1W85P/lzwl5FjWSY00buKk4rWsxtqWPmzkm87mBsM=; b=nRgiKUwfZhiQsyKOfywMoovJG4xNL6umvgpbXwF5rqKyHGnlcURT5u5HGWZbCjSR2Q KhSogog/AMIqJrQI3Oid+LeaoYEHuWpAXXZ2q2F1Hdy+7s7oV5UnyTB+Yb08Ig8/GHEO VVgOzOmfcfF8dZb4V262wotxGxq3YqrgasHufz9DJB3jysI7OdKffp8ijRSZyYPxoBlY AHNo4rsx516P6xod+L0N1fOPIJVos+uMf4dPZAmX8YcQhdOfS93yxUnhMG6w4ReKkTvg Ty5ngCWx7xHW7ThuNkdHZbY4t4RWgsG2Q8XdVVvcB46zR/e2Yry0vwPpcOcZXAMIoye9 5aZg== X-Gm-Message-State: AOJu0YwPDXg9+1ig82ONzyWopUzWXnu0ZYMxiwlaO9bL1fhlvKfQElUX yboaotSD2nd8ETW8UGmj8NdRjO5nN27iepXPtK1eOg== X-Received: by 2002:a05:600c:4fd0:b0:40b:5401:f02 with SMTP id o16-20020a05600c4fd000b0040b54010f02mr3000246wmq.32.1701339546808; Thu, 30 Nov 2023 02:19:06 -0800 (PST) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id fs20-20020a05600c3f9400b0040b5517ae31sm4345536wmb.6.2023.11.30.02.19.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Nov 2023 02:19:06 -0800 (PST) From: =?utf-8?q?Marc_Poulhi=C3=A8s?= <poulhies@adacore.com> To: gcc-patches@gcc.gnu.org Cc: Steve Baird <baird@adacore.com> Subject: [COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency. Date: Thu, 30 Nov 2023 11:19:05 +0100 Message-ID: <20231130101905.3094070-1-poulhies@adacore.com> X-Mailer: git-send-email 2.42.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org> List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe> List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help> List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe> Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1783983871940499923 X-GMAIL-MSGID: 1783983871940499923 |
Series |
[COMMITTED] ada: Add comment describing Partition_Elaboration_Policy dependency.
|
|
Checks
Context | Check | Description |
---|---|---|
snail/gcc-patch-check | success | Github commit url |
Commit Message
Marc Poulhiès
Nov. 30, 2023, 10:19 a.m. UTC
From: Steve Baird <baird@adacore.com>
Add a comment in the spec for the default (as opposed to hie) version of
Ada.Real_Time.Timing_Events indicating that it is incompatible with a
a Partition_Elaboration_Policy specification specifying a policy other than
Concurrent.
gcc/ada/
* libgnarl/a-rttiev.ads: add a comment
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/libgnarl/a-rttiev.ads | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/libgnarl/a-rttiev.ads b/gcc/ada/libgnarl/a-rttiev.ads index cb272dfb759..3fa7d6097f6 100644 --- a/gcc/ada/libgnarl/a-rttiev.ads +++ b/gcc/ada/libgnarl/a-rttiev.ads @@ -61,6 +61,12 @@ package Ada.Real_Time.Timing_Events is function Time_Of_Event (Event : Timing_Event) return Time; + -- The compilation closure of this version (as opposed to the hie version) + -- of Ada.Real_TIme.Timing_Events includes a specification of a + -- Concurrent Partition_Elaboration_Policy. Thus, a bind-time error + -- will result if this unit occurs in the same partition as a conflicting + -- Partition_Elaboration_Policy specification. + private type Timing_Event is new Ada.Finalization.Limited_Controlled with record