diff options
| author | Boris Yakobowski <yakobowski@adacore.com> | 2022-11-09 14:02:00 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:52 +0100 |
| commit | 5ba25973e2f403ee48af2ba579af5017b2f650fb (patch) | |
| tree | c079b337c8a550bea880a79053ac152268a7e608 /gcc | |
| parent | 438f878718f81302205b5241dd325bb841c8c92c (diff) | |
| download | gcc-5ba25973e2f403ee48af2ba579af5017b2f650fb.zip gcc-5ba25973e2f403ee48af2ba579af5017b2f650fb.tar.gz gcc-5ba25973e2f403ee48af2ba579af5017b2f650fb.tar.bz2 | |
ada: Silence CodePeer false positive
gcc/ada/
* sem_case.adb: silence false positive warning emitted by CodePeer
on predefined equality for type Choice_Range_Info.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_case.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_case.adb b/gcc/ada/sem_case.adb index 244e53f..f89c3ca 100644 --- a/gcc/ada/sem_case.adb +++ b/gcc/ada/sem_case.adb @@ -209,6 +209,8 @@ package body Sem_Case is null; end case; end record; + pragma Annotate (CodePeer, False_Positive, "raise exception", + "function is abstract, hence never called"); function "=" (X, Y : Choice_Range_Info) return Boolean is abstract; type Choices_Range_Info is array (Choice_Id) of Choice_Range_Info; |