From: Piotr Trojanek <troja...@adacore.com>
Null exclusion both clarifies the intention of the code and allows GNAT to
eliminate runtime checks where possible (or make them fail where violated), at
least in developer builds. Code cleanup.
gcc/ada/ChangeLog:
* get_targ.ads (Register_Proc_Type): Add null exclusion.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/get_targ.ads | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/ada/get_targ.ads b/gcc/ada/get_targ.ads
index 35cf00d73a1..4b658f10884 100644
--- a/gcc/ada/get_targ.ads
+++ b/gcc/ada/get_targ.ads
@@ -113,7 +113,7 @@ package Get_Targ is
type C_String is array (0 .. 255) of aliased Character;
pragma Convention (C, C_String);
- type Register_Type_Proc is access procedure
+ type Register_Type_Proc is not null access procedure
(C_Name : C_String; -- Nul-terminated string with name of type
Digs : Natural; -- Digits for floating point, 0 otherwise
Complex : Boolean; -- True iff type has real and imaginary parts
--
2.43.0
