From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42b.google.com (mail-wr1-x42b.google.com [IPv6:2a00:1450:4864:20::42b]) by sourceware.org (Postfix) with ESMTPS id ACA863858D20 for ; Wed, 13 Sep 2023 21:37:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org ACA863858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wr1-x42b.google.com with SMTP id ffacd0b85a97d-31fc91d5ca6so256758f8f.0 for ; Wed, 13 Sep 2023 14:37:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1694641031; x=1695245831; darn=gcc.gnu.org; h=content-disposition:mime-version:reply-to:message-id:subject:cc:to :from:date:from:to:cc:subject:date:message-id:reply-to; bh=2pykoGr5swOzMHSvoeVQ9RxYyU4rs5aY4f2FZhqqONQ=; b=OgwRbxnr+mhwA5pNYRfmUwXNoPU/m7cDOxpqsYTvvTF6dxf+jdKY2SuDtsVqCH4eiL Dr4B3x0g8FfrvKjnq4mvw/y4qYRjMigT3OsLK8ZLvp0Y0GvdtIl69OTTcBe7+AH4xYwH NL+DQvEhicCudZGxtcRlxYs6RIRt6NITV5XIUuLQXnPBXaTX6IeelOG9gUnSb0JrRpRj aHuKQkrJ/+9BKEwT/rN9NR6MDOTOzTjkDFxf3B+koUFHi/VbR6K0AtrV2VrsCrFEjyQK xWfZiRTgQxG+xZCnjzqPv3RLGy2E9UNCg1px9kcxg/GGmIGa69AI4zhRkpwzzFolhp5X hoqg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694641031; x=1695245831; h=content-disposition:mime-version:reply-to:message-id:subject:cc:to :from:date:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=2pykoGr5swOzMHSvoeVQ9RxYyU4rs5aY4f2FZhqqONQ=; b=JAHaQCw33JAb9GZOLL8LC09TeuhAD59uTmzpsv/U2xf2m/h5+3hnugQ8QVKtbTHs27 UKmH6AZfbfyppKiTC1Iec9hWmi4tzAIWWeko4P1UIK/UJgByQpAF1OHfZBJxRG6NM7dZ KdrtTilfkkogKxSRPoaIY/Uc2tnrS+Le5TLy7NopP5kOtRI9rWT15lVXSE4jeYkrKHYR PS6cDNQWB1MP4q8JQb44wsqFnHw+muhFhaXIhat1t9ns5hWe7pR3x3ULw0MMlosmGbs1 Dl5oHkJ1O1uB+h4aer6JTxlitSDYCGN3MWvBY3SlOYTMEYPm48MBlgLiuf4gznC+9T9h sayA== X-Gm-Message-State: AOJu0YxhmYNGwAuN9NnC16zl0eALwjxFC8uOFsWvH38JsY1tCy8vagbl T6PwaAUUBiOy0FSO4ai+xtmq6A== X-Google-Smtp-Source: AGHT+IFnsrQtWJO9JSEWHTTv2nJjzIxD9/eBdOe91f43zXvchHEebm4bhP+BJM81OnqFUQmodNcIhw== X-Received: by 2002:a5d:4985:0:b0:313:df09:ad04 with SMTP id r5-20020a5d4985000000b00313df09ad04mr3205076wrq.57.1694641031381; Wed, 13 Sep 2023 14:37:11 -0700 (PDT) Received: from adacore.com ([45.147.211.82]) by smtp.gmail.com with ESMTPSA id n3-20020a5d4203000000b0031c3ee933b5sm16328858wrq.108.2023.09.13.14.37.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 13 Sep 2023 14:37:11 -0700 (PDT) Date: Wed, 13 Sep 2023 21:37:09 +0000 From: Gary Dismukes To: Richard Wai Cc: gcc-patches@gcc.gnu.org, Eric Botcazou , Arnaud Charlet , Stephen Baird Subject: Re: [PATCH 2/2 v2] Ada: Finalization of constrained subtypes of unconstrained synchronized private extensions Message-ID: <20230913213709.GA1074648@adacore.com> Reply-To: dismukes@adacore.com MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi Richard, I hope you're doing well. I'm just following up on the patch (second version) that you sent us recently for the problem you ran into with the generation of the address finalization routine for synchronized private extensions. Thanks very much for finding this fix and submitting your patch. Your patch looks good, and we'll look into applying that to the compiler, though no guarantees about when it will be added. Best regards, Gary Dismukes