projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
438f878
)
ada: Silence CodePeer false positive
author
Boris Yakobowski
<yakobowski@adacore.com>
Wed, 9 Nov 2022 13:02:00 +0000
(14:02 +0100)
committer
Marc Poulhiès
<poulhies@adacore.com>
Mon, 14 Nov 2022 13:46:52 +0000
(14:46 +0100)
gcc/ada/
* sem_case.adb: silence false positive warning emitted by CodePeer
on predefined equality for type Choice_Range_Info.
gcc/ada/sem_case.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/sem_case.adb
b/gcc/ada/sem_case.adb
index
244e53f
..
f89c3ca
100644
(file)
--- 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;