public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-5741] [Ada] Add pragma Annotate for CodePeer analysis
@ 2021-12-02 16:29 Pierre-Marie de Rodat
  0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2021-12-02 16:29 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:ce79e7e24acdc83620782dae9b954b1ad2bdb988

commit r12-5741-gce79e7e24acdc83620782dae9b954b1ad2bdb988
Author: Yannick Moy <moy@adacore.com>
Date:   Fri Nov 26 09:32:09 2021 +0100

    [Ada] Add pragma Annotate for CodePeer analysis
    
    gcc/ada/
    
            * libgnat/s-widthi.adb: Add pragma Annotate.

Diff:
---
 gcc/ada/libgnat/s-widthi.adb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/ada/libgnat/s-widthi.adb b/gcc/ada/libgnat/s-widthi.adb
index 55a94ecfc10..e47c8c13f27 100644
--- a/gcc/ada/libgnat/s-widthi.adb
+++ b/gcc/ada/libgnat/s-widthi.adb
@@ -163,6 +163,9 @@ begin
          pragma Loop_Invariant (Pow = Big_10 ** (W - 2));
          pragma Loop_Invariant (Big (T) = Big (T_Init) / Pow);
          pragma Loop_Variant (Decreases => T);
+         pragma Annotate
+           (CodePeer, False_Positive,
+            "validity check", "confusion on generated code");
       end loop;
 
       declare


^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2021-12-02 16:29 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-02 16:29 [gcc r12-5741] [Ada] Add pragma Annotate for CodePeer analysis Pierre-Marie de Rodat

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).