From patchwork Tue May 23 08:08:18 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Marc_Poulhi=C3=A8s?= X-Patchwork-Id: 97862 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:b0ea:0:b0:3b6:4342:cba0 with SMTP id b10csp1976340vqo; Tue, 23 May 2023 01:17:19 -0700 (PDT) X-Google-Smtp-Source: ACHHUZ7cpdXc183mKECL92hPtmDsL6HbmfmtR09XZtvvl+MKGml2K7rJ70gCp0o38Arq02VMbCvO X-Received: by 2002:a17:906:fe0e:b0:971:fa86:28b with SMTP id wy14-20020a170906fe0e00b00971fa86028bmr858149ejb.23.1684829839276; Tue, 23 May 2023 01:17:19 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1684829839; cv=none; d=google.com; s=arc-20160816; b=awX1C4cqi/vBsLKWDghH/vqqn3wISUPbaXIJ5TN4hq1MzTn7rU00tuZnvUy8WGBdoy KDaT3Pk4kYP9BSZda7eN8PmA59HsPNmXNCJGfIppWTaitxKxxKCgwiSRiv43hu+AoiIO 2IiXSTE2vsNjMuaankgQ1WQr56O6L17z51U98H7H8CofElR3lW60Bazb4YR5YTw0PIS7 5Q2raihU6FXwIEgrBmcqK+ENTlqn3d2OJs11dF3Quw3wGVWTS909UuzK28e4bkT5DQOY apIyt7zf2pyWnv+umZjyErUeP+tuJgfm8CkgIzlIdklFhIw6DF3TvpVhfh4OvZ8/cTsX f0gA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:message-id:date:subject:cc :to:dmarc-filter:delivered-to:dkim-signature:dkim-filter; bh=/2/t8/hBBtFcj0l4EVO4w42x39Z5y2tAIqDJDDXuIbM=; b=A3KsX8ZBBXZ+IPIFEC30yUuBP4oAWetuZUOvQG4NijABwaFvuqr2h2JGgQ5eJQjnDy hMCi/8PelZIoEgsCpsaUF9iq6VZlIjHz1EJAxTUyVYpTQriSS9prfLSGyFNCmSh6sNhs LjyKnbquPVSK88izh1jM+CMPl5LxBcNdKnHWZnjcGR6hbfi5Ns0tieMRGDvxiO/6hbGW mK48xfDLLB4FbkBGik7Bq47FrcxGg73OLLC8uHC0wtjCnF/djMsE9oR/KGKpDX6Eo1W9 xVNCdIv0Cvm6fTjPa5MCv+C9NaEPQijTQx+ejaHi6vK2mwPjnwH8zVU8SkOO7qOlMBnM zbXg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=SEffE+1Z; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id k12-20020a170906054c00b0096a6f471d61si1296022eja.1040.2023.05.23.01.17.19 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 23 May 2023 01:17:19 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=SEffE+1Z; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 29F7F39484BD for ; Tue, 23 May 2023 08:12:09 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 29F7F39484BD DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1684829529; bh=/2/t8/hBBtFcj0l4EVO4w42x39Z5y2tAIqDJDDXuIbM=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=SEffE+1ZFFNzKvBb9RodfOrtnNGbB+0UfbtnNpQfOTgrrjtoxSUTAfga4JPBbgpor EKtt9SqLN50Lr9JlP599Y+7HTOhEQ8/yAtKl+V7TYXILZWY6ITETX+hdwzp88bAkko FHNpMoTB7z1XbLD6zRnkQHmB/bH/VpkeUuStEdkU= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wm1-x335.google.com (mail-wm1-x335.google.com [IPv6:2a00:1450:4864:20::335]) by sourceware.org (Postfix) with ESMTPS id B664838323D2 for ; Tue, 23 May 2023 08:08:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B664838323D2 Received: by mail-wm1-x335.google.com with SMTP id 5b1f17b1804b1-3f60e536250so268465e9.1 for ; Tue, 23 May 2023 01:08:20 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684829299; x=1687421299; 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=/2/t8/hBBtFcj0l4EVO4w42x39Z5y2tAIqDJDDXuIbM=; b=QDs9+Bk3TOZU0OyOJikZVAnQxZhEfEMeY6bEIKIyom8sPE84vGkqPGI7D1uSFfGgbd 5R6dvCg78VR7BmlleR3/1Xb6dbuJ53Wg4UoTYgn2O7Ugz8ZU0ZF0rQkn4TUuJYslsSyc meDZrcBIaXUamyck5BIpWDupa4AwPlG2a7Np8SClOsjzoOruR1b8i6oEZxj9T31kIsGR AvEbQCFrNUB/FPFgk4oS5aVXjc+zj2lpLiphtXuCpjY7Eel87iMe3ppCtkf3YKUgD2sg RrodR21ppk/BK/V18x7yjK2J9JfPUjnvpU++aWtXjX4UoIqnqVDD8yVWeex7gi9cFQ4O 2CRg== X-Gm-Message-State: AC+VfDwMUqES3U3xOfPrdP3oIUKzex99FY5lLdeb6303K79e8k5rRRpA i49XWfm2n1SoJFL/Hy6PgdgibLFoXgXI4zAfZ70lMw== X-Received: by 2002:a05:600c:34c1:b0:3f4:2792:6078 with SMTP id d1-20020a05600c34c100b003f427926078mr9260171wmq.3.1684829299586; Tue, 23 May 2023 01:08:19 -0700 (PDT) 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 l10-20020a05600c27ca00b003f4290720d0sm13880893wmb.47.2023.05.23.01.08.18 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 23 May 2023 01:08:18 -0700 (PDT) To: gcc-patches@gcc.gnu.org Cc: Ronan Desplanques Subject: [COMMITTED] ada: Add mention of what LSP stands for Date: Tue, 23 May 2023 10:08:18 +0200 Message-Id: <20230523080818.1873549-1-poulhies@adacore.com> X-Mailer: git-send-email 2.40.0 MIME-Version: 1.0 X-Spam-Status: No, score=-13.6 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.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: =?utf-8?q?Marc_Poulhi=C3=A8s_via_Gcc-patches?= From: =?utf-8?q?Marc_Poulhi=C3=A8s?= Reply-To: =?utf-8?q?Marc_Poulhi=C3=A8s?= Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1766672133506229567?= X-GMAIL-MSGID: =?utf-8?q?1766672133506229567?= From: Ronan Desplanques There are multiple possible interpretations of "LSP". For example, "Language Server Protocol". This patch clarifies that the occurrences of "LSP" in GNAT's source code refer to the Liskov Substitution Principle. gcc/ada/ * einfo.ads: Mention full name of LSP. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/einfo.ads | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 0cc4b495bd9..d346eddac57 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4786,7 +4786,8 @@ package Einfo is -- Defined in subprogram entities. Set on wrappers created to handle -- inherited class-wide pre/post conditions that call overridden -- primitives. It references the parent primitive that has the --- class-wide pre/post conditions. +-- class-wide pre/post conditions. LSP stands for Liskov Substitution +-- Principle. --------------------------- -- Renaming and Aliasing --