Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2194438/?format=api
{ "id": 2194438, "url": "http://patchwork.ozlabs.org/api/patches/2194438/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/1930778.LH7GnMWURc@fomalhaut/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/projects/17/?format=api", "name": "GNU Compiler Collection", "link_name": "gcc", "list_id": "gcc-patches.gcc.gnu.org", "list_email": "gcc-patches@gcc.gnu.org", "web_url": null, "scm_url": null, "webscm_url": null, "list_archive_url": "", "list_archive_url_format": "", "commit_url_format": "" }, "msgid": "<1930778.LH7GnMWURc@fomalhaut>", "list_archive_url": null, "date": "2026-02-09T00:09:58", "name": "[Ada] Fix bogus \"potentially unsynchronized barrier\" warning with controlled objects", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "a3e2a2734f0b962d6a6f10be1845336f17924de3", "submitter": { "id": 78832, "url": "http://patchwork.ozlabs.org/api/people/78832/?format=api", "name": "Eric Botcazou", "email": "botcazou@adacore.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/1930778.LH7GnMWURc@fomalhaut/mbox/", "series": [ { "id": 491451, "url": "http://patchwork.ozlabs.org/api/series/491451/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=491451", "date": "2026-02-09T00:09:58", "name": "[Ada] Fix bogus \"potentially unsynchronized barrier\" warning with controlled objects", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/491451/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2194438/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2194438/checks/", "tags": {}, "related": [], "headers": { "Return-Path": "<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>", "X-Original-To": [ "incoming@patchwork.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Delivered-To": [ "patchwork-incoming@legolas.ozlabs.org", "gcc-patches@gcc.gnu.org" ], "Authentication-Results": [ "legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256\n header.s=google header.b=gjk0sCmj;\n\tdkim-atps=neutral", "legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)", "sourceware.org;\n\tdkim=pass (2048-bit key,\n secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256\n header.s=google header.b=gjk0sCmj", "sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=adacore.com", "sourceware.org; spf=pass smtp.mailfrom=adacore.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.221.46" ], "Received": [ "from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4f8Q8V2Rhfz1xvc\n\tfor <incoming@patchwork.ozlabs.org>; Mon, 09 Feb 2026 11:11:06 +1100 (AEDT)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 141DA452C42C\n\tfor <incoming@patchwork.ozlabs.org>; Mon, 9 Feb 2026 00:11:04 +0000 (GMT)", "from mail-wr1-f46.google.com (mail-wr1-f46.google.com\n [209.85.221.46])\n by sourceware.org (Postfix) with ESMTPS id 95BF3452C42C\n for <gcc-patches@gcc.gnu.org>; Mon, 9 Feb 2026 00:10:02 +0000 (GMT)", "by mail-wr1-f46.google.com with SMTP id\n ffacd0b85a97d-436356740e6so1366586f8f.2\n for <gcc-patches@gcc.gnu.org>; Sun, 08 Feb 2026 16:10:02 -0800 (PST)", "from fomalhaut.localnet ([2a01:e0a:8d5:d990:e654:e8ff:fe8f:2ce6])\n by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-483207286bcsm197052995e9.12.2026.02.08.16.09.59\n for <gcc-patches@gcc.gnu.org>\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Sun, 08 Feb 2026 16:09:59 -0800 (PST)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 141DA452C42C", "OpenDKIM Filter v2.11.0 sourceware.org 95BF3452C42C" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 95BF3452C42C", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 95BF3452C42C", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1770595803; cv=none;\n b=lPtXrEC9RtHo7UB2oFHR10e2qESgrQ3mhf+6uNFYbNHtvOoSEocjlBdXwSWm3/DAShokWrgUE05UYo+0zIB/CXBsGyvfgFuDNkTO4b3yq4QkM16G0MqkbZLFhMxtd8gruP6LfCIO5O4TrNVYdpXRaFxf7VOux7MdYrqAnXAmjl0=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1770595803; c=relaxed/simple;\n bh=f8DUdv+80WoNGIWEUWmZDuDOl6wGokXdR2/4N2nZoWI=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=bNpyFIpiM/yEcGZfyNE0qi0j/v/AJ7z2DX3kL3i6W0SOrf8aj38ASnnKCYh9BfbhMSH6JTVUsdM7p48/G2O+JRRHSzR9wF7wQ2XnGMjAl111BaoUctGrrP/E3OCcYk+IPo/Fma8ikzyvoMPFm9SsUzVkY8ktMG3b6Q2k00Uft3c=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=adacore.com; s=google; t=1770595801; x=1771200601; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:message-id:date:subject:to\n :from:from:to:cc:subject:date:message-id:reply-to;\n bh=WIDWXSEzQos+pjZiAFF2CBF0FnQWkuVYbVinFfqPMsM=;\n b=gjk0sCmj/59Kxqi0N4k7nE72wWzr+e/OiGb/L7JtGqI+mqiY2LAap37deOa4GOapPk\n AfIDyCftX6idbIH8pTLp8LHvchN82D9Ncck12Ulch9dXh1iG6Ik/Dc46WLbR5KjhS6dA\n MDFjSDYq7jXBhMjHyDygHA7fDqxep71ATChkVm8j9kLMFCICPQ9bnIveUGblRzhHZ7r3\n CIYR9+lHXWsYVssCnnmm5aZ2InvARsb3kq5g8ZFcfMg999/ScIpLu/MqHz9q9bNs/nZE\n +LHhUWFqrGIajicvqvasN0xo2Yvb/HQ4b06MqkagcnrRRftbUcpqzfSRQ1pJFdZgLndk\n 67hg==", "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20230601; t=1770595801; x=1771200601;\n h=content-transfer-encoding:mime-version:message-id:date:subject:to\n :from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=WIDWXSEzQos+pjZiAFF2CBF0FnQWkuVYbVinFfqPMsM=;\n b=T6SWV66lA8drg0EW3DkRO2Cjns1QxwkQsijobE+kas4yL86BecP/8OQyyuEE8dUmhJ\n M0TN5WzrdjwGfMH60okOqAO076blBwGqPmhJKqeGgcD2L8IcCfAcxpyrHokF3hOfpPnu\n cyWq9ZHXoGRz8Uxygh/YK3fvjhnO+tR6LN0RkOl+X5LYjHek/cp2ee3iOItd5Tfko7ur\n rfE8gHrxJcbOnULsSBgY6Wwe+Pl2olbPb5n/mJLxsF8StJwUZe28fGH/Pmhqci9T4m+7\n na7T92/9NYU6Z6ivnSokK5qykSAUJBZGZkj/dS3Enhy0Ub52P8ZoeeX+kQXgEa14LrYE\n pUtQ==", "X-Gm-Message-State": "AOJu0Yy7LXYpG6i9ZRrwluHEYOc12qcHtEEYfduKWrH8c5qM7Lo+D6JC\n cZk27umnpxr0y8JpuxGUdH7x1kOqVWm4douYmJXbzqv+UdjenujzkjPE0d9BbtVUPjpzZlVATE4\n ZburrdQ==", "X-Gm-Gg": "AZuq6aL3HYu4J/wt/ru9oZmRV0YI1O1cCdnKs/m8ZHxlHQ7BZRTwr7LsAEEW5n/w7JV\n bGa4ovoO2iz5qCM3xuUuoytkNofQCU8SjEWzi9BuHnDCJMXWeNVHMCS3WNL3kAXYlyUZjKgX7iL\n 4l4P9NQgAkotsphgy5DGm8uBl/oGQr/JjzXvptaTAyjWsDlLJZ/BGWoRswL6Tl5e1XsLKl4Xiif\n Tqf7hUKVWs6POnRvncT0KrG+nw8S+NIwEzJAhh9z/msmsEbwyxRxDDm1hO+tB68+8wigAqa0l0w\n FktobFH2zcbq7x7YGhW2liZDHsa1SoGJg8fX6iBGL1QLKy3YsIsZMBjbHStI25l3PZ+CZPaDzev\n 324wzZpA+vilw4mTU3O4Zzs7R5O9dcA3VPmaA9h1kqZ9sYBODqQ9HQS9zvQ6EwkTzuaJbDz1dfw\n ZBsNMiWvrc3Maj61YIJd7jiO0=", "X-Received": "by 2002:a05:600c:8489:b0:47a:9560:5944 with SMTP id\n 5b1f17b1804b1-48320229bbfmr148275725e9.34.1770595801047;\n Sun, 08 Feb 2026 16:10:01 -0800 (PST)", "From": "Eric Botcazou <botcazou@adacore.com>", "X-Google-Original-From": "Eric Botcazou <ebotcazou@adacore.com>", "To": "gcc-patches@gcc.gnu.org", "Subject": "[Ada] Fix bogus \"potentially unsynchronized barrier\" warning with\n controlled objects", "Date": "Mon, 09 Feb 2026 01:09:58 +0100", "Message-ID": "<1930778.LH7GnMWURc@fomalhaut>", "MIME-Version": "1.0", "Content-Type": "multipart/mixed; boundary=\"nextPart2234093.yiUUSuA9gR\"", "Content-Transfer-Encoding": "7Bit", "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>,\n <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>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org" }, "content": "This is a regression present on the mainline and 15 branch: the compiler gives \na bogus \"potentially unsynchronized barrier\" when the condition of an entry \nbarrier requires the creation of a controlled temporary, because it comes with \na transient scope that fools the test on scopes done in Is_Global_Entity.\n\nTested on x86-64/Linux, applied on the mainline and 15 branch.\n\n\n2026-02-08 Eric Botcazou <ebotcazou@adacore.com>\n Liam Powell <liam@liampwll.com>\n\n\tPR ada/124025\n\t* exp_ch9.adb (Expand_Entry_Barrier.Is_Global_Entity): Use\n\tScope_Within_Or_Same to test whether the object is local.\n\n\n2026-02-08 Eric Botcazou <ebotcazou@adacore.com>\n Liam Powell <liam@liampwll.com>\n\n\t* gnat.dg/protected_type1.adb: New test.", "diff": "diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb\nindex a2769df383d..2f5446e79f1 100644\n--- a/gcc/ada/exp_ch9.adb\n+++ b/gcc/ada/exp_ch9.adb\n@@ -5596,7 +5596,7 @@ package body Exp_Ch9 is\n -- during expansion, it is ok. If expansion is not performed,\n -- then Func is Empty so this test cannot succeed.\n \n- if Scope (E) = Func_Id then\n+ if Scope_Within_Or_Same (S, Func_Id) then\n null;\n \n -- A protected call from a barrier to another object is ok\n", "prefixes": [ "Ada" ] }