From patchwork Tue Nov 8 08:42:50 2022 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: 16938 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a5d:6687:0:0:0:0:0 with SMTP id l7csp2570626wru; Tue, 8 Nov 2022 00:47:15 -0800 (PST) X-Google-Smtp-Source: AMsMyM7SId0i+zjxq15BKeFz77jBxhNZo1m+BuSPYYb0+uaB8AcbA8Iv4baeV8W8Ybj7us7IzXiZ X-Received: by 2002:aa7:d341:0:b0:464:778:c3fe with SMTP id m1-20020aa7d341000000b004640778c3femr33662946edr.251.1667897235218; Tue, 08 Nov 2022 00:47:15 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1667897235; cv=none; d=google.com; s=arc-20160816; b=J2OO8iVFmhxvcr2WN08iA9N0AqzR5UQGrgmTK6bvf7/hIlyeMDHw7DrgrwWlSa9cgO LrRQShprc2ZCDOqAdSVGit6lwQYfUo8QU4zeuFkIVX9Y4E9P7RcxD5qy2oo0nt3QHgiA i9BA40GAiHvVdcAWvvdYW2j/WyzvIAy/LE9OqEuNDwOZ+kNoec4h0PaBIg6K1ntg+Xnz acR0uWQTHP9nizzIfwKZnBBeHpD3Ds/VHIL7lMaRhAUKbmeXrpeg+iypZFutWLibbPJZ 7m9DlIhACsV2TDtceRu+GpfDrOD/7RLZZ3U9fB7eGXOGdMFd8g14TGNAdOLlUdB2qty/ 4oPw== 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=1qVgWMxR5niDCBH+ty5RHyTlDLlC5d6NX95uHAiakSg=; b=lzUG3a1X/2T6lSJJADSDTQDbhhO46KlN5DKLSmQCxzga9nHovfmJidCAeVh6plVXu9 X5ZdFbPOQ5lnPzVlT425e/lOSWRA11ql7OfA6RdSbPYA/wo5ZZuSFD//GjiTzjK2hyrt ll4JIoGng1keiuMmBODD67Hwsh6kiBI3S23B17cspcW0bR5bBJB0EoZFWGE8Cswu95iE EPSq5dw98RLXclmEbYij5L2f+GQytlKLlkuMh9WObGVtM1NxhCsYDn86WMT+aZbeb7Hx A9zRyRVJ2HYbnjVb62gKX1u0q8I7DewSz5MbISG0O5RwjfZHwkwQvKfrznE9FHTuLIRC OwAw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=H06IqOJX; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c 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. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id h41-20020a0564020ea900b0045d22bc81a0si10179317eda.231.2022.11.08.00.47.15 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 08 Nov 2022 00:47:15 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=H06IqOJX; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c 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 75EE93857B8B for ; Tue, 8 Nov 2022 08:45:27 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 75EE93857B8B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667897127; bh=1qVgWMxR5niDCBH+ty5RHyTlDLlC5d6NX95uHAiakSg=; h=To:Cc:Subject:Date:List-Id:List-Unsubscribe:List-Archive: List-Post:List-Help:List-Subscribe:From:Reply-To:From; b=H06IqOJXmji6rZc4uvlvKzYuAVnoFrWZeDyihxbqZjIGDKd+S84JGlHq7zs+9x0Uz 1bRKApq43rXK9fEQOCZvcmPnI3C+CzCUiczZPafxc2stq3j67X5bFMO1n/yrtjN2Nv SfZ6qfstRhUG6tZFkz6TAKBj+RiqPRWnsgXNY0s8= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f]) by sourceware.org (Postfix) with ESMTPS id C52463857429 for ; Tue, 8 Nov 2022 08:42:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org C52463857429 Received: by mail-wr1-x42f.google.com with SMTP id h9so19840846wrt.0 for ; Tue, 08 Nov 2022 00:42:55 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=1qVgWMxR5niDCBH+ty5RHyTlDLlC5d6NX95uHAiakSg=; b=ocR4/1E2fly4sPF7hLJRLwmriSOXAu8jsBqqnmDV+TbNM5AdJOg84ENcQ3EKNrAsA5 LkrfsTaF+zt62EQNneFflDJvu6cvnATsPM0D9KSX00BVhMR7rY1b47qmJPsUEUfZBGTG UYGq7zE46kkfwsPoWadEdZAZJoU0I4GeWEYsoFDtlgDRjcdwXo/J8j/OW/cSy4ft669U O2geP3mqdozKo7pm6luvTe5v9BbgatmuXltAWodKtiLS447Lx8jY+UZpFxRIU4SKbV7L pKTNRbTbekWSju/e/q2dOl5jdhqWdJnCCW3OsomtilD26Bho2OuwDG4tkMtm5JrVECfp GW1w== X-Gm-Message-State: ACrzQf21+vDiSj0mZ0k0qxWsvjT8lop/KGhe4pLOyFNSF3hiasz0mf5i NrmPCinMrL67LRmiem/MG3qtTTz7H299WA== X-Received: by 2002:a5d:64cd:0:b0:236:6d1c:c1a2 with SMTP id f13-20020a5d64cd000000b002366d1cc1a2mr35745805wri.360.1667896974551; Tue, 08 Nov 2022 00:42:54 -0800 (PST) Received: from localhost.localdomain (static-176-191-105-132.ftth.abo.bbox.fr. [176.191.105.132]) by smtp.gmail.com with ESMTPSA id k25-20020a5d5259000000b0022cc3e67fc5sm9754142wrc.65.2022.11.08.00.42.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 08 Nov 2022 00:42:54 -0800 (PST) To: gcc-patches@gcc.gnu.org Cc: Ronan Desplanques Subject: [COMMITTED] ada: Align -gnatwc's documentation with its behavior Date: Tue, 8 Nov 2022 09:42:50 +0100 Message-Id: <20221108084250.301647-1-poulhies@adacore.com> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 X-Spam-Status: No, score=-13.4 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.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?1748917011339075629?= X-GMAIL-MSGID: =?utf-8?q?1748917011339075629?= From: Ronan Desplanques Shortly after the -gnatwc flag was introduced, its behavior was tweaked, but its documentation was not updated accordingly. gcc/ada/ * doc/gnat_ugn/building_executable_programs_with_gnat.rst (-gnatwc): Fix flag documentation. * gnat_ugn.texi: Regenerate. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst | 2 +- gcc/ada/gnat_ugn.texi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst index 31e2e31421e..87fb1087e42 100644 --- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst +++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst @@ -2938,7 +2938,7 @@ of the pragma in the :title:`GNAT_Reference_manual`). tests that are known to be True or False at compile time. The default is that such warnings are not generated. Note that this warning does - not get issued for the use of boolean variables or constants whose + not get issued for the use of boolean constants whose values are known at compile time, since this is a standard technique for conditional compilation in Ada, and this would generate too many false positive warnings. diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 385f1d3deb5..7b1aaeba954 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -10925,7 +10925,7 @@ This switch activates warnings for conditional expressions used in tests that are known to be True or False at compile time. The default is that such warnings are not generated. Note that this warning does -not get issued for the use of boolean variables or constants whose +not get issued for the use of boolean constants whose values are known at compile time, since this is a standard technique for conditional compilation in Ada, and this would generate too many false positive warnings.