diff options
Diffstat (limited to 'gcc/ada/a-rbtgbo.ads')
| -rw-r--r-- | gcc/ada/a-rbtgbo.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-rbtgbo.ads b/gcc/ada/a-rbtgbo.ads index 2f8b7835582..4045182343a 100644 --- a/gcc/ada/a-rbtgbo.ads +++ b/gcc/ada/a-rbtgbo.ads @@ -61,6 +61,7 @@ generic Color : Color_Type) is <>; package Ada.Containers.Red_Black_Trees.Generic_Bounded_Operations is + pragma Annotate (CodePeer, Skip_Analysis); pragma Pure; function Min (Tree : Tree_Type'Class; Node : Count_Type) return Count_Type; |