From patchwork Wed Nov 10 08:58:47 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Pierre-Marie de Rodat X-Patchwork-Id: 47375 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 56CB83857809 for ; Wed, 10 Nov 2021 09:11:09 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 56CB83857809 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1636535469; bh=rKo0mnK/pz2/5LiksQ5XOyQnh/XB7Wp1z3BW+G0Rdkw=; h=Date:To:Subject:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:Cc:From; b=Twbm1R1hvBSxLA5+zkS038nkraL0O38zo4FT1n25scU3udk+FP7Otly6+lHs+zcwR nZLnwa54CyW1hdfYpDYwXXrT3qgeIAY5D0VLEH7UqldlKEmp/HQNICH81ATm3ftsGN UMM6oP74K8NsWmg0EIgYxIpjnGRvEgu+5gwYTdc4= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-lj1-x22a.google.com (mail-lj1-x22a.google.com [IPv6:2a00:1450:4864:20::22a]) by sourceware.org (Postfix) with ESMTPS id 030313857C64 for ; Wed, 10 Nov 2021 08:58:50 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 030313857C64 Received: by mail-lj1-x22a.google.com with SMTP id u25so1188676ljo.12 for ; Wed, 10 Nov 2021 00:58:49 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition; bh=rKo0mnK/pz2/5LiksQ5XOyQnh/XB7Wp1z3BW+G0Rdkw=; b=OvIk8iVhSu6y6qVulXdkss3JZ5nAiTXmMf4PD+HkKpnBbLNvk/Z6qCzqiYBSbVS4qX AAX4KnpakGOkhHtuseO36BHfETVVgIH+Q/dJlG3Wo7ZdV9mrOuc9Pr9txpJMzaxJOnA1 B1fPM5ZGkKSb7heEiyXKJTZrBnxoqfbYFdwXC8jmoJtEM+TVgqTJQYa/mDCq5KWba/ze wOZCv1MDH0co8WvRJb7EvQWVAu6yShCYS2o7AoLCvPYLZ4FTY/hJ1eBcshTrnnW1M38u OG6TLJt56itrZI0NOILczFKtQycJoEgzOnX7V4gEc8xdMO5WCsGeNclpsb2DO8PERUlM 38fA== X-Gm-Message-State: AOAM533MP82rez0Q5nWTw8e7taTvHXDY2H5mh3KWZDQlcWfqSsOulBLt Tp8KWIWy1PNc/oWRUx20bpZ+vuusFjz8OTz0 X-Google-Smtp-Source: ABdhPJz8URmjHRjEfQ5OxyrV2JsVP3Iq1Yv4wa1X+EISA6GU3csgOB1OSGk0fxZkSAWEFUGcUV973Q== X-Received: by 2002:a2e:890d:: with SMTP id d13mr14200981lji.396.1636534728885; Wed, 10 Nov 2021 00:58:48 -0800 (PST) Received: from adacore.com ([2a02:2ab8:224:2ce:72b5:e8ff:feef:ee60]) by smtp.gmail.com with ESMTPSA id l11sm2408190lfg.79.2021.11.10.00.58.47 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Nov 2021 00:58:48 -0800 (PST) Date: Wed, 10 Nov 2021 08:58:47 +0000 To: gcc-patches@gcc.gnu.org Subject: [Ada] Fix comments about expansion of array equality Message-ID: <20211110085847.GA2811219@adacore.com> MIME-Version: 1.0 Content-Disposition: inline X-Spam-Status: No, score=-13.0 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 autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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-Patchwork-Original-From: Pierre-Marie de Rodat via Gcc-patches From: Pierre-Marie de Rodat Reply-To: Pierre-Marie de Rodat Cc: Piotr Trojanek Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" Expansion of array equality involves two index variables. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch4.adb (Expand_Array_Equality): Fix inconsistent casing in comment about the template for expansion of array equality; now we use lower case for true/false/boolean. (Handle_One_Dimension): Fix comment about the template for expansion of array equality. diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -1541,14 +1541,14 @@ package body Exp_Ch4 is -- and then -- (B'length (1) = 0 or else B'length (2) = 0) -- then - -- return True; -- RM 4.5.2(22) + -- return true; -- RM 4.5.2(22) -- end if; -- if A'length (1) /= B'length (1) -- or else -- A'length (2) /= B'length (2) -- then - -- return False; -- RM 4.5.2(23) + -- return false; -- RM 4.5.2(23) -- end if; -- declare @@ -1638,6 +1638,7 @@ package body Exp_Ch4 is -- This procedure returns the following code -- -- declare + -- An : Index_T := A'First (N); -- Bn : Index_T := B'First (N); -- begin -- loop