diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-01-11 18:06:35 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-05 04:19:01 -0400 |
| commit | 8c9f315a98df706275a23d46d0539294ff715edc (patch) | |
| tree | 30bd3680242fe10976cac52325d29c842d14f278 | |
| parent | 41b8c2073105eeab2b7f6bd000c70a9c7edea71a (diff) | |
| download | gcc-8c9f315a98df706275a23d46d0539294ff715edc.zip gcc-8c9f315a98df706275a23d46d0539294ff715edc.tar.gz gcc-8c9f315a98df706275a23d46d0539294ff715edc.tar.bz2 | |
[Ada] Qualify internal access-to-subprogram types as not null
gcc/ada/
* libgnat/g-alleve.adb (Bit_Operation): Now a not-null type.
* libgnat/g-sechas.adb (Fill_Buffer_Access): Likewise.
* libgnat/s-dwalin.adb (Callback): Likewise.
| -rw-r--r-- | gcc/ada/libgnat/g-alleve.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/libgnat/g-sechas.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/libgnat/s-dwalin.adb | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/g-alleve.adb b/gcc/ada/libgnat/g-alleve.adb index 9e446f1..5dc7230 100644 --- a/gcc/ada/libgnat/g-alleve.adb +++ b/gcc/ada/libgnat/g-alleve.adb @@ -258,7 +258,7 @@ package body GNAT.Altivec.Low_Level_Vectors is pragma Convention (LL_Altivec, vspltisx); type Bit_Operation is - access function + not null access function (Value : Component_Type; Amount : Natural) return Component_Type; diff --git a/gcc/ada/libgnat/g-sechas.adb b/gcc/ada/libgnat/g-sechas.adb index c5419e4..178b59b 100644 --- a/gcc/ada/libgnat/g-sechas.adb +++ b/gcc/ada/libgnat/g-sechas.adb @@ -38,7 +38,7 @@ package body GNAT.Secure_Hashes is "0123456789abcdef"; type Fill_Buffer_Access is - access procedure + not null access procedure (M : in out Message_State; SEA : Stream_Element_Array; First : Stream_Element_Offset; diff --git a/gcc/ada/libgnat/s-dwalin.adb b/gcc/ada/libgnat/s-dwalin.adb index f3789c1..55989c5 100644 --- a/gcc/ada/libgnat/s-dwalin.adb +++ b/gcc/ada/libgnat/s-dwalin.adb @@ -130,7 +130,7 @@ package body System.Dwarf_Lines is Code : uint32) return String; -- Extract a file name from the prologue - type Callback is access procedure (C : in out Dwarf_Context); + type Callback is not null access procedure (C : in out Dwarf_Context); procedure For_Each_Row (C : in out Dwarf_Context; F : Callback); -- Traverse each .debug_line entry with a callback |