From nobody Wed Oct 7 02:06:00 2026 X-Original-To: freebsd-ada@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4hzxLT2L5vz6slxd for ; Wed, 07 Oct 2026 02:06:09 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Received: from mail-ed1-x529.google.com (mail-ed1-x529.google.com [IPv6:2a00:1450:4864:20::529]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange x25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4hzxLS401wz4TYc for ; Wed, 07 Oct 2026 02:06:08 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=nimfsoft.com header.s=google header.b=tmAzrwMz; arc=pass ("google.com:s=arc-20260327:i=1"); spf=none (mx1.freebsd.org: domain of hodong@nimfsoft.com has no SPF policy when checking 2a00:1450:4864:20::529) smtp.mailfrom=hodong@nimfsoft.com; dmarc=none Received: by mail-ed1-x529.google.com with SMTP id 4fb4d7f45d1cf-6af9a9451daso2554091a12.0 for ; Tue, 06 Oct 2026 19:06:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1791338762; cv=none; d=google.com; s=arc-20260327; b=HfuXv0PegPXaQNZ8YKFbkcJqBVg2wTw57D0Nx/zh+2OLinObzb3T09U61zlIRMqr9k ynJe2VESvuExhF4R1W5Y8ZgCamqy5hEdRiDt3Aa21cDFhY/wJMRXHPRPEx6uQ/ptWn04 qZtnQXhCxoAnjQewy9ECs3jG7S1M6NzhNAvM8V/6uW8QzASU3E9LdFYFiPGwS/MzidRD I65+Lp5d5lSOAae3/P858K/436HH/0nnvB7UmBO1CD9ShJjNJpCjzi1lo2ka4Zm91NS1 NojHi5vFDRoXo113UrY2cSqnvjWJCTxImt1qw6hzw+MBwpWkcgJV8vsJUgMLOZYmLiij hHHg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:references:in-reply-to :dkim-signature; bh=Z+3eDWYpGGpIKZhFZ2asG3nSYIle1ZnwF83cvjw1gb0=; fh=uZN/aHOAEE9LXXqUnaWFfXXrYUBH3r/1YE1YusCGuQU=; b=iE4Djuvwfox44NmegYlJnVoAgpzPC0iF7AD0vTmF2B5m64P02VhOu9SA71oPqFWEuS JwWG9XuswxUXlBcnS/OINew6losC2k1U5iWrEpnM/P2pPdD478B03+PpFUIF2ZO0hyjt cD5oPrYSfoHMVAfn6adKaOhHkhqKPeqJ70MKZnvI/5Vack0UMiaXS9F5DobXtrzhDic8 EcxUrNjKQMOlmsUQ0KEt4GzkXTSIUaz6x7XB6z631EIFPT8XwiwnN+WIS+n0bCZV/bct Addz+W56xwaPDl/1WYfkgWEQWGu7z21BEgf3XV1AxZScphXV7Dv9NIsmldNshR1rle2k lGoA==; darn=freebsd.org ARC-Authentication-Results: i=1; mx.google.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nimfsoft.com; s=google; t=1791338762; x=1791943562; darn=freebsd.org; h=content-type:to:subject:message-id:date:from:mime-version :references:in-reply-to:from:to:cc:subject:date:message-id:reply-to :content-type; bh=Z+3eDWYpGGpIKZhFZ2asG3nSYIle1ZnwF83cvjw1gb0=; b=tmAzrwMznSkRnxB2aIOjbDHT6ZQufgKcy5hXYO2jHYzqMLNunuf43C/ZvJO+PfIpye o+Rwnxl5pVQ7uYkOtjK5ltHE7Xqe1I7dN0Ag36ax+68nf+eK8r9mSdEDc62MnP4UB192 H2qhylK/aIeHPyUEO5YhP8MIW1bdkC9PnN5r8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1791338762; x=1791943562; h=content-type:to:subject:message-id:date:from:mime-version :references:in-reply-to:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to:content-type; bh=Z+3eDWYpGGpIKZhFZ2asG3nSYIle1ZnwF83cvjw1gb0=; b=US44ixj6FdA3gEa9pmTFZFIs2thFN7oNFAppbeaElXnlncgrDeVDAM1CCgD1SbtzMr o+UazvYcApmJjbLC8Vktn8kPio04rzDuf3BgSz6X+3v3C9Y9XSCW4ubQ3EzvtXi4otnb +jqHe/Cl0XbUrLdA8aw32O0lnbKLBjo7aqNyQJPhs/1BzH0pwLptgsHk4WoyCmuEFAQ4 V92WVzZVgn4bjBHsBq6XM/PfOA+V8XjcYEcczvypISs230PAsIfC2pjLbNrs/jGwqRj9 gbHKlK2LQhaEJrN13fcXnzwvxjizIbodHa0gtVO1JolXXevCGWFU4En7pYpO+dhP9HA+ u8Zg== X-Gm-Message-State: AFq9FYKiTjjlHaSQ5coQPggZpUkKlKCsT6xFqlHtQWb2Y8LRh8nH/neS 4JdfHW3oKbmNZRtJn6R7zCqryGJLGiMj2p1DgOsTh+cLHvViWSwndRq1M088vclZOVgWta8LK5m SnyPDO6hNEBzW6wb34TBaQhLmYRfRVLV6PC+nlDHjUnySJEfWCBPY0w== X-Gm-Gg: AYBFou3NrJTKqcaQix0NWnN2IqmWuymUEuRRcF/R8xOfd2D+awHgP7aESH4Q9XXgO7V q4jOBE4N19liXCX2Ty1khBWLZviJKo9kPvEeCqm/8T/Lyrx6kRjZaVDlW1l1aIXSPBv9jqZpmKa E0BcYJlvXIzdcKThGOV0C3ODUnrD/FxRcR/buttscZbURfGgWQeqGQOO8meucMShxkjFbYglqP5 ZNnjEzx/nXTPWy2sImFYlx8emD2YewCMH9HvUHXgC4024TazIo5X3xy5PzFLSPxFUse2ntPxtsy 80JA+K/7FiMaIoklor4M74kfS5TVcT+1V/EwT4cpiZ2DbfrJzSUdqR+p/EwXBvnj86uLQjLrkIl Z4ABPN2tza3u7Fw== X-Received: by 2002:a05:6402:90c:b0:6af:82a0:d3b2 with SMTP id 4fb4d7f45d1cf-6aff45a796bmr611662a12.29.1791338761937; Tue, 06 Oct 2026 19:06:01 -0700 (PDT) Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 02:06:00 +0000 Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 02:06:00 +0000 In-Reply-To: <010001a09f155fe6-f3dd04ce-c3ec-4875-a55a-34d951b81f3a-000000@email.amazonses.com> References: <010001a09f155fe6-f3dd04ce-c3ec-4875-a55a-34d951b81f3a-000000@email.amazonses.com> List-Id: Ada development on FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ada List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ada@freebsd.org X-BeenThere: freebsd-ada@freebsd.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 From: Hodong Kim Date: Wed, 7 Oct 2026 02:06:00 +0000 X-Gm-Features: AclHuK8weyAgbI62bJvlU_bmJoN4ZN99mB04bMn-_-qn3OhHtXLCd08cm9oWHcA Message-ID: Subject: Re: GCC 16.2 Ada on FreeBSD: automatic Lock_Free omits protected-object cleanup To: freebsd-ada@freebsd.org Content-Type: text/plain; charset="UTF-8" X-Spamd-Bar: - X-Spamd-Result: default: False [-1.30 / 15.00]; ARC_ALLOW(-1.00)[google.com:s=arc-20260327:i=1]; R_DKIM_ALLOW(-0.20)[nimfsoft.com:s=google]; MIME_GOOD(-0.10)[text/plain]; RCPT_COUNT_ONE(0.00)[1]; DMARC_NA(0.00)[nimfsoft.com]; MISSING_XM_UA(0.00)[]; MIME_TRACE(0.00)[0:+]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; RCVD_COUNT_THREE(0.00)[3]; R_SPF_NA(0.00)[no SPF record]; RCVD_TLS_LAST(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::529:from]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-ada@freebsd.org]; TO_MATCH_ENVRCPT_ALL(0.00)[]; DKIM_TRACE(0.00)[nimfsoft.com:+] X-Rspamd-Queue-Id: 4hzxLS401wz4TYc Hello, I have now filed the related constrained-subtype protected-object cleanup defect upstream in GCC Bugzilla: PR ada/127756 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127756 The new reproducer explicitly uses Lock_Free => False, so it demonstrates the constrained-subtype cleanup problem independently of the automatic Lock_Free case discussed in this thread. The upstream report includes the standalone reproducer, the observed affected/corrected results, and the generated-cleanup comparison. I did not attach the AI-assisted GCC implementation patch, in accordance with GCC's current AI contribution policy. Thanks, Hodong Kim On Mon, 14 Sep 2026 08:42:53 +0000, Gloucester@insomnia247.nl wrote: > Hodong Kim wrote: > |----------------------------------------------------------------------| > |"[. . .] | > | | > | This is an upstream GCC compiler defect, but the visible runtime| > | consequence | > | was reproduced on FreeBSD. I am providing a small FreeBSD | > | ports-style | > | downstream patch so an Ada-enabled GCC 16.2 port can carry the | > | fix without | > | waiting for upstream action. | > | | > |[. . .]" | > |----------------------------------------------------------------------| > > Thanks and congratulations. > > Would this patch work upstream? If so, will you submit it upstream? From nobody Wed Oct 7 02:11:09 2026 X-Original-To: freebsd-ada@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4hzxSH2fp9z6smB4 for ; Wed, 07 Oct 2026 02:11:11 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Received: from mail-ed1-x529.google.com (mail-ed1-x529.google.com [IPv6:2a00:1450:4864:20::529]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange x25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4hzxSG6pR4z4W85 for ; Wed, 07 Oct 2026 02:11:10 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=nimfsoft.com header.s=google header.b=MLNjouOz; arc=pass ("google.com:s=arc-20260327:i=1"); spf=none (mx1.freebsd.org: domain of hodong@nimfsoft.com has no SPF policy when checking 2a00:1450:4864:20::529) smtp.mailfrom=hodong@nimfsoft.com; dmarc=none Received: by mail-ed1-x529.google.com with SMTP id 4fb4d7f45d1cf-6afe29c08ccso1637655a12.1 for ; Tue, 06 Oct 2026 19:11:10 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1791339070; cv=none; d=google.com; s=arc-20260327; b=CPRuCU6UL77YfJC0yW46lD8f4xiueF3xxa1RGbRGiLwPFB5y8LP5e1PKdYjrjsZSEV 1SCY5TEXQVoEb/u1dN2Z2w/V6ZTwIsW0XfZcRs5Wm1roUHYuc1etGProbtAYT+puDq6/ ZTVpjJ5jUwthCkjq5o0Jnw6UhNh4zW/4xusLVQ3HKXp91jcX+HdLXyvyM0iqLQ2J6x4G Um002M5NQ9B3Q4mktzLxsysPpItGvUwbaq74PDOg069ym3baRA76OZGe0zxRiJR3aNw+ +60f+yQCmNVYXB4h84emuP0O9CCCNJeUCfaJu9GI+tmNA/aQDzgNrI0U+hVzfGAMSAT1 xWaA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:references:in-reply-to :dkim-signature; bh=5nJQVFP6UzDeyqzsLVQMoaGVCXX01jxDzDluu15/SVU=; fh=uZN/aHOAEE9LXXqUnaWFfXXrYUBH3r/1YE1YusCGuQU=; b=VzxEt6vNtxdiwNpTLKr2t2YX2yRDw76Ys0AHbFWEaJ3w9nCNGcuHZ/2VPLGPkeWAgj a0fNO5fSWZgEiEvmfe1TwjlMqpPxmCYrnGavGOlUqzh8Qxs5iaxWIoLsSGXqy55o8PRJ tv6bd3w4LsId1Inx2VGq2w3hzO6RzRyGeohdKCU6jMBapDbZu6ZqFMzic480T515WmoR oeI/h2bb3e2cnFREb8TH3+fwkjxqJ9ypWRnuBByXZVHyvM2tVdH6Q75OyP7d17H8PpS2 mn6cqAQikrGOtkzxcpu60ZHugesaCUZWxr/rNraWZlbZYg6XczvtqxqiG4/cJ17DmdKQ 08tA==; darn=freebsd.org ARC-Authentication-Results: i=1; mx.google.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nimfsoft.com; s=google; t=1791339070; x=1791943870; darn=freebsd.org; h=content-type:to:subject:message-id:date:from:mime-version :references:in-reply-to:from:to:cc:subject:date:message-id:reply-to :content-type; bh=5nJQVFP6UzDeyqzsLVQMoaGVCXX01jxDzDluu15/SVU=; b=MLNjouOztvy3tBkw81mcLu3KEI0YTcSxh9eFdhMk8r2eAcLbnlioTPF8ToQ8wzZykq JrDUpeLWPzZECI8v/SyrVCHZlWVG1oTe46Lf8acA5JgifU2zFNxPcHg2NRJeRWfQfrMQ hoOhSRJeeQinN9BPv5p1JpxNrK7P9i2/1+whA= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1791339070; x=1791943870; h=content-type:to:subject:message-id:date:from:mime-version :references:in-reply-to:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to:content-type; bh=5nJQVFP6UzDeyqzsLVQMoaGVCXX01jxDzDluu15/SVU=; b=LFbvIenQbb+RjM63R9b3lkEhcDjvXky/bwDyBAVKVYYGLWpI3Lx3EwTC/YKeqNXyIo l2L5TmfoGJnlu9WDjpAs+uSngpOrOru46aO24fHhbHKukHxJ2FPzEoCxOGILC/ds4K61 JXyqHBeR/DRafYIU5fdM807FTFXk3Wxa9ox3MW7sm/LYlMs8/seNzKyxu+MmZ0SqzNy+ OpKhcps9c7jtwAtfb2iwTsAfHZhAmJAHUeOQ6YQOV7FPZwiCOfNgB1FimqzCPdgK6SUo arSioDdYXTXruBbiF1mZX+B1fmELWqk7nSfPdRokvuhtsXSgMRVPQA8RGp2LEGw/Qmvq A5+w== X-Gm-Message-State: AFq9FYJV2JFVjUgO26n93Wx782z4XtuFqFb8D2jRXozt4X2LlE287uio IXjpkH9u/+hH9zAOyHsOHpoXL/2+S2Ywz1ZKgeg37gGxoCpOSDD41Zkrfb+4xZvAGSh5tBH2ZAc TFdoydAuY7gzahzrnTo4/6tcxPO6hcTNAUfaloKQFdGDnPW30Tv+jvw== X-Gm-Gg: AYBFou1JLC5YsWmi5OEI/mW6m2kWdnB95+zS6+gDxW+ZyrqISoppOHijEQ8A5FRkNgY k2pCimjnyNQTxKAXa+BTkITuskeswWY0SEOVyB4IzuWGnTuZuv+3sfMFuLBP3lYPdWwHZM+D4qE WJrzYkZw0HhBSYW3KD9GIv99RKTSR/IDCJmZCOh/QExm1DD1JmWkgJ/aDjt7571HS4KJo3B9JzY cs9sg45TwBkINi34GO8fW1dJPM01et92KNYeXuTasI3Dn9823gX4EQi5RHRKZef+9EjGJzcP1gh zbWxdtpquDIt0xslXNODmzmrIqMZlvcabghL2WgrkHCJjz8RmW6j6/ElVPmDV9TLNtMSjQq/+5K tVoyIhywIx8zkSw== X-Received: by 2002:a05:6402:2803:b0:6a9:a3df:e4f1 with SMTP id 4fb4d7f45d1cf-6aff293fa18mr851286a12.25.1791339069770; Tue, 06 Oct 2026 19:11:09 -0700 (PDT) Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 02:11:09 +0000 Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 02:11:09 +0000 In-Reply-To: References: <010001a09f155fe6-f3dd04ce-c3ec-4875-a55a-34d951b81f3a-000000@email.amazonses.com> List-Id: Ada development on FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ada List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ada@freebsd.org X-BeenThere: freebsd-ada@freebsd.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 From: Hodong Kim Date: Wed, 7 Oct 2026 02:11:09 +0000 X-Gm-Features: AclHuK_JtqVMPgvqf8YPLfN33repfs4HH_k5PjMHTibE0WyM_N6DJEAr3WqJTwo Message-ID: Subject: Re: GCC 16.2 Ada on FreeBSD: automatic Lock_Free omits protected-object cleanup To: freebsd-ada@freebsd.org Content-Type: text/plain; charset="UTF-8" X-Spamd-Bar: - X-Spamd-Result: default: False [-1.30 / 15.00]; ARC_ALLOW(-1.00)[google.com:s=arc-20260327:i=1]; R_DKIM_ALLOW(-0.20)[nimfsoft.com:s=google]; MIME_GOOD(-0.10)[text/plain]; RCPT_COUNT_ONE(0.00)[1]; DMARC_NA(0.00)[nimfsoft.com]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; RCVD_COUNT_THREE(0.00)[3]; R_SPF_NA(0.00)[no SPF record]; RCVD_TLS_LAST(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::529:from]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-ada@freebsd.org]; TO_MATCH_ENVRCPT_ALL(0.00)[]; DKIM_TRACE(0.00)[nimfsoft.com:+] X-Rspamd-Queue-Id: 4hzxSG6pR4z4W85 For anyone affected by GCC PR ada/127756, the patch below may be worth applying locally and testing. This is the version I tested with GCC/GNAT 16.2.0 on FreeBSD 15.1 amd64. The patch was prepared with assistance from OpenAI ChatGPT (GPT-5.6 Sol, xhigh) and tested locally. --- gcc/ada/exp_ch7.adb.orig +++ gcc/ada/exp_ch7.adb @@ -5432,12 +5432,38 @@ ------------------------------ function Is_Simple_Protected_Type (T : Entity_Id) return Boolean is + Typ : constant Entity_Id := Base_Type (T); + Comp : Entity_Id; + Rec_Typ : Entity_Id; + begin - return - Is_Protected_Type (T) - and then not Uses_Lock_Free (T) - and then not Has_Entries (T) - and then Is_RTE (Find_Protection_Type (T), RE_Protection); + if not Is_Protected_Type (Typ) or else Has_Entries (Typ) then + return False; + end if; + + -- A constrained protected subtype may have an unanalyzed record + -- subtype. Its base type owns the analyzed representation. + + Rec_Typ := Corresponding_Record_Type (Typ); + + if No (Rec_Typ) or else not Analyzed (Rec_Typ) then + return False; + end if; + + -- Automatic lock-free selection may happen after the record and its + -- initialization procedure have been built. Finalize an actual simple + -- Protection component, independently of the later Uses_Lock_Free flag. + + Comp := First_Component (Rec_Typ); + while Present (Comp) loop + if Chars (Comp) = Name_uObject then + return Is_RTE (Base_Type (Etype (Comp)), RE_Protection); + end if; + + Next_Component (Comp); + end loop; + + return False; end Is_Simple_Protected_Type; ------------------------------- Thanks, Hodong Kim On Wed, 7 Oct 2026 02:06:00 +0000, Hodong Kim wrote: > Hello, > > I have now filed the related constrained-subtype protected-object cleanup defect upstream in GCC Bugzilla: > > PR ada/127756 > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127756 > > The new reproducer explicitly uses Lock_Free => False, so it demonstrates the constrained-subtype cleanup problem independently of the automatic Lock_Free case discussed in this thread. > > The upstream report includes the standalone reproducer, the observed affected/corrected results, and the generated-cleanup comparison. I did not attach the AI-assisted GCC implementation patch, in accordance with GCC's current AI contribution policy. > > Thanks, > Hodong Kim > > On Mon, 14 Sep 2026 08:42:53 +0000, Gloucester@insomnia247.nl wrote: > > Hodong Kim wrote: > > |----------------------------------------------------------------------| > > |"[. . .] | > > | | > > | This is an upstream GCC compiler defect, but the visible runtime| > > | consequence | > > | was reproduced on FreeBSD. I am providing a small FreeBSD | > > | ports-style | > > | downstream patch so an Ada-enabled GCC 16.2 port can carry the | > > | fix without | > > | waiting for upstream action. | > > | | > > |[. . .]" | > > |----------------------------------------------------------------------| > > > > Thanks and congratulations. > > > > Would this patch work upstream? If so, will you submit it upstream? From nobody Wed Oct 7 14:33:16 2026 X-Original-To: freebsd-ada@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4j0Fwd3lyxz6w0SX for ; Wed, 07 Oct 2026 14:33:21 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Received: from mail-ed1-x530.google.com (mail-ed1-x530.google.com [IPv6:2a00:1450:4864:20::530]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange x25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4j0Fwc5QLlz4Dth for ; Wed, 07 Oct 2026 14:33:20 +0000 (UTC) (envelope-from hodong@nimfsoft.com) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=nimfsoft.com header.s=google header.b=kS4byarv; arc=pass ("google.com:s=arc-20260327:i=1"); spf=none (mx1.freebsd.org: domain of hodong@nimfsoft.com has no SPF policy when checking 2a00:1450:4864:20::530) smtp.mailfrom=hodong@nimfsoft.com; dmarc=none Received: by mail-ed1-x530.google.com with SMTP id 4fb4d7f45d1cf-6a642495d81so3088628a12.2 for ; Wed, 07 Oct 2026 07:33:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1791383597; cv=none; d=google.com; s=arc-20260327; b=oc8oriRhX8w4q60xw8Ee6jUhauRB1L4tsXLC0RhQ+m529D17yasg3JJm7X4djl5JzF c1CnDqeuzkjv8L311/Cd1twtM1pfj7XHW5DHxfZ4d2wRjCbmSnIvdMm2w6V90NZQ8Qfk /FQ4AKGwCqOkXbIco/j5uvdD4hrQ71y/9ZGyIcZWNIvuS3urQPVVD75D2t+E/rQplYBe pUdpjjGpCV/N54P6gETmzqq1GWuxoJ5dphojNtpkMVDWqI5Vy57ejg2t5oF8d4XGkXU8 ip58jcsR2C5baNinq510Bpk/Sgn2/3wgv3TSyEAwAqLJEvdhO4zOyaYrLjokOnyd8bvE MHbQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=content-transfer-encoding:cc:to:subject:message-id:date:from :mime-version:references:in-reply-to:dkim-signature; bh=ZBEuinUmALINCja7NFZ9YpOBIhija7hqyUa8MDGEHVo=; fh=h2O/pg2QIqednN+zOV2EwPacdABUOOkur/eabktrtIY=; b=jXJHtyzjOdim2GLQRmhUsF7FSf6yLce96vi2VqXw1lNXPrin1cOP7uOkoSUHfb3wBL D7sDe9SAErvHkOXsqNJBIgPLm7oF3G1kEMkBPyTG0SV7bHCtGkhnsdx9JfwA+fDnMm17 +7l8aYmbQd6L4k9tz5+gB3dWv3dq1Jdj75mFjrjVatdXIJ9E45sfb8+nA2NGhcCAHN8Q 6vM0+Lzh1AaZI1isFCZtlY15q109d8V4cOMWYOPtlxefT+Kyep0rHyc9fNwtHIMPbsyn 4/m7mwJSbRomI+wswkPGWb/xwiex5w5/pmKj6kvA18wbCtkCFPQSbQsKR8cvKYn/wwAI kjyQ==; darn=freebsd.org ARC-Authentication-Results: i=1; mx.google.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nimfsoft.com; s=google; t=1791383597; x=1791988397; darn=freebsd.org; h=content-transfer-encoding:content-type:cc:to:subject:message-id :date:from:mime-version:references:in-reply-to:from:to:cc:subject :date:message-id:reply-to:content-type; bh=ZBEuinUmALINCja7NFZ9YpOBIhija7hqyUa8MDGEHVo=; b=kS4byarvYSQYnj+81L6le0RfefHHxkT11baZFJqjkQ6Nw9SLOGdQOLo0gyw9u++MnO m6yG5ig9Eufx7K1OCEb+FD+pk5U3/32LMIBoFAmwr1OTfSaITx0cIOOroeL7GPzDu0mM LD0RbIIQMc+/C2Lw24tjbVoKYYfBCQ9qkkgW8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1791383597; x=1791988397; h=content-transfer-encoding:content-type:cc:to:subject:message-id :date:from:mime-version:references:in-reply-to:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=ZBEuinUmALINCja7NFZ9YpOBIhija7hqyUa8MDGEHVo=; b=HyWvKkvZXShBd6kt6UGF8b3z9q0Rm5Cn5Xdn0yI1mRftbGVCTkUVUrxaFiVK2qxqC3 hKjIR4RQGS91SBadM1YeFQROerqe5Xxq42ry5x8toRUwG41LWkBWA+dgz9Nze0N6zNHZ NWsL7FJQTa3hOcipxDxNWeHQoLsDWVXAPvAOJQUtgcnP0nNguWP3zhwhxfU8+GIifQ6o Qox7Wzqzb0ccl+3xPd2+cEXJ0yMX5yjvb08RT2sodGXdTKAuZyPiUgEwEXhquggRN+5i XxJEIe1jAkWs05HyzdoJvLPZ/93C+h6wFDB9TE/8AoKpj+XGd0grQI/QGrdJzdJxnZIn igSw== X-Gm-Message-State: AFq9FYIB5y92e58jjsGVKr41+fmFCvNadRTUVqzDwv9j+5ic+KUUSmBC 85OJ/4b9C7gI0xOl0TJPwQRdrdHmCcgnVgwR/phzfCbmPg0GWqr84ZfG+Ew7qr4qNWFf/bEPASS CCYWgHCmmaUjFLx8TaI0CgnLXKI2W8TMCWPEP8XeCFq2sPUX5ff8F6w== X-Gm-Gg: AYBFou1OvFEn1BDh8WQ5n8itTEABh+j2u8R3X6HfnLtJafB4lvUXDNMMi4sTAkxl8Rc Em4WnXavuRiqc/slV7SXOQme69lKtqKBgQg64Pks+zpq3gavJb7WSeseDPIKvlqfu7oNDu0LB0Y AEaSVxnoB099gaM4e63a1OmGqi7q+bn/bI32AbdHu1gGo8drAMXMghEtugUDY9408SuwmpE1XM+ L0prdYc9d97M1S52s0MFK1FkETvQb25sX9qsrLDpfxYALBJCNnnXvhjVGEBWbGFS0rqmNLQ+Wrm gvaOngto+cPhz6eJjNemVHVBFtXC/IMsF/s5y5WwIo+ZBmRbgvQ6Z4eKXBNiRA0VW5iR2Jg3QEj jRxllVZllXU4fJu0S3ySf6kkA X-Received: by 2002:a05:6402:51cd:b0:6ab:c31:cb56 with SMTP id 4fb4d7f45d1cf-6aff453ab1amr2396149a12.17.1791383597441; Wed, 07 Oct 2026 07:33:17 -0700 (PDT) Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 09:33:16 -0500 Received: from 77377267392 named unknown by gmailapi.google.com with HTTPREST; Wed, 7 Oct 2026 09:18:24 -0500 In-Reply-To: <27b7b5e9f006f7a2c653025725005ec3@riseup.net> References: <27b7b5e9f006f7a2c653025725005ec3@riseup.net> List-Id: Ada development on FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ada List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ada@freebsd.org X-BeenThere: freebsd-ada@freebsd.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 From: Hodong Kim Date: Wed, 7 Oct 2026 09:33:16 -0500 X-Gm-Features: AclHuK-RzoYV9l03aqO6X_sG0G4x13OrYb-2X6LCDdKxGB3XnYFzW9Q1XmmAkSk Message-ID: Subject: Re: GCC 16.2 GNAT.Sockets overwrites EAGAIN after accept() fails on FreeBSD To: Alastair Hogge Cc: freebsd-ada@freebsd.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spamd-Bar: - X-Spamd-Result: default: False [-1.30 / 15.00]; ARC_ALLOW(-1.00)[google.com:s=arc-20260327:i=1]; R_DKIM_ALLOW(-0.20)[nimfsoft.com:s=google]; MIME_GOOD(-0.10)[text/plain]; R_SPF_NA(0.00)[no SPF record]; DMARC_NA(0.00)[nimfsoft.com]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; TO_DN_SOME(0.00)[]; RCPT_COUNT_TWO(0.00)[2]; RCVD_COUNT_THREE(0.00)[3]; RCVD_TLS_LAST(0.00)[]; FROM_HAS_DN(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::530:from]; FROM_EQ_ENVFROM(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-ada@freebsd.org]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DKIM_TRACE(0.00)[nimfsoft.com:+] X-Rspamd-Queue-Id: 4j0Fwc5QLlz4Dth Hi Alastair, A quick follow-up: I have now filed this GNAT.Sockets issue upstream in GCC Bugzilla: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D127759 PR ada/127759 - GNAT.Sockets C_Accept overwrites EAGAIN with EBADF on FreeB= SD The report includes the standalone Ada reproducer and the small runtime patch. I also disclosed the use of OpenAI ChatGPT in preparing the report, reproducer, and patch. The separate protected-object cleanup issue from my other message has also been filed upstream as PR ada/127756: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D127756 Thanks again for encouraging me to send these upstream. Best regards, Hodong On Tue, 15 Sep 2026 02:07:40 +0000, Alastair Hogge wrote: > On 2026-09-12 19:55, Hodong Kim wrote: > > Hi Alastair, > > Hey Hodong, > > > No, neither issue has been filed in GCC=E2=80=99s upstream Bugzilla yet= . > > > > At the moment, I do not plan to file them upstream myself. For this > > round, I focused on reproducing and verifying the behavior on FreeBSD > > 15.1 and sharing the findings and patches with the FreeBSD Ada > > community. > > > > I probably will not be able to follow through with the upstream > > process as well, but I hope the reproducer, analysis, and patches I > > have provided are useful on the FreeBSD side. > > I created/requested an account at GCC's Bugzilla a few months ago, with > the intention of submitting some trivial patches related to GNAT. Althou > I do not have time to follow thru, it would be nice to upstream your > findings and patches, however, I have concerns that LLMs or "AI" was > used, and GCC has a policy on such contributions[1]. > > If I find the time to organise and submit your work upstream, then I > have to ask, and it should be declared, did you use an LLM to assist you > in this effort? > > I am aware of your use of such devices elsewhere[2]. > > 1: https://gcc.gnu.org/ai-policy.html > 2: > https://safereddit.com/r/ada/comments/1wecmft/building_an_ada_compiler_wi= th_ai_the_adac/ From nobody Wed Oct 7 22:09:54 2026 X-Original-To: freebsd-ada@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4j0S3V0SzKz6Z6ln for ; Wed, 07 Oct 2026 22:09:58 +0000 (UTC) (envelope-from agh@riseup.net) Received: from mx0.riseup.net (mx0.riseup.net [198.252.153.6]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange x25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mx0.riseup.net", Issuer "YR2" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4j0S3S5XRQz3Cpb for ; Wed, 07 Oct 2026 22:09:56 +0000 (UTC) (envelope-from agh@riseup.net) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=riseup.net header.s=squak header.b=pKfH9HGU; spf=pass (mx1.freebsd.org: domain of agh@riseup.net designates 198.252.153.6 as permitted sender) smtp.mailfrom=agh@riseup.net; dmarc=pass (policy=none) header.from=riseup.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=riseup.net; s=squak; t=1791410995; bh=dgi24qxV8IyN+QcLNb51/koq54cg2+u62bWWcv0drLM=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=pKfH9HGUZcIWQ2ioRwyktMEJJt2g/g8lZ8eIA3R/X8opznFPJZp7BjB4ZkC3+FSe6 3fO9W0cF/xsDBMDrW2QqOkKZTegpKe1kQpMY4VF+SFNywkiW0zOE01qpvKQYZkzbAc 31Q8KV5qLKkPMMe39YZaDCreTRJZpc5+TMyxJo1Q= Received: from fews01-sea.riseup.net (fews01-sea-pn.riseup.net [10.0.1.109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx0.riseup.net (Postfix) with ESMTPS id 4j0S3R055Zz9ry1; Wed, 7 Oct 2026 22:09:54 +0000 (UTC) X-Riseup-User-ID: BB668739F8CB9C244D17D29ABCCCE242B1CA681AF9CF9BB1A4EB07E17FF0C9D0 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews01-sea.riseup.net (Postfix) with ESMTPSA id 4j0S3Q43wCz1xnG; Wed, 7 Oct 2026 22:09:54 +0000 (UTC) List-Id: Ada development on FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-ada List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-ada@freebsd.org X-BeenThere: freebsd-ada@freebsd.org List-Id: List-Post: List-Help: List-Subscribe: List-Unsubscribe: List-Owner: Precedence: list MIME-Version: 1.0 Date: Wed, 07 Oct 2026 22:09:54 +0000 From: Alastair Hogge To: Hodong Kim Cc: freebsd-ada@freebsd.org Subject: Re: GCC 16.2 GNAT.Sockets overwrites EAGAIN after accept() fails on FreeBSD In-Reply-To: References: <27b7b5e9f006f7a2c653025725005ec3@riseup.net> Message-ID: Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spamd-Bar: - X-Spamd-Result: default: False [-1.10 / 15.00]; DMARC_POLICY_ALLOW(-0.50)[riseup.net,none]; R_DKIM_ALLOW(-0.20)[riseup.net:s=squak]; R_SPF_ALLOW(-0.20)[+a:mx0.riseup.net]; RCVD_IN_DNSWL_LOW(-0.10)[198.252.153.6:from]; MIME_GOOD(-0.10)[text/plain]; ARC_NA(0.00)[]; TO_DN_SOME(0.00)[]; MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; ASN(0.00)[asn:16652, ipnet:198.252.153.0/24, country:US]; RECEIVED_HELO_LOCALHOST(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; FROM_EQ_ENVFROM(0.00)[]; FROM_HAS_DN(0.00)[]; DWL_DNSWL_NONE(0.00)[riseup.net:dkim]; RCVD_TLS_ALL(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_COUNT_TWO(0.00)[2]; RCPT_COUNT_TWO(0.00)[2]; DKIM_TRACE(0.00)[riseup.net:+] X-Rspamd-Queue-Id: 4j0S3S5XRQz3Cpb On 2026-10-07 22:33, Hodong Kim wrote: > Hi Alastair, > > A quick follow-up: I have now filed this GNAT.Sockets issue upstream > in GCC Bugzilla: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127759 > > PR ada/127759 - GNAT.Sockets C_Accept overwrites EAGAIN with EBADF on FreeBSD > > The report includes the standalone Ada reproducer and the small > runtime patch. I also disclosed the use of OpenAI ChatGPT in preparing > the report, reproducer, and patch. > > The separate protected-object cleanup issue from my other message has > also been filed upstream as PR ada/127756: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127756 > > Thanks again for encouraging me to send these upstream. Amazing work, you legend, and thanks for upstreaming.