From 39e9ebac2f2500652c14597fe6a113d5002abf2f Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Fri, 27 Sep 2024 16:56:37 +0200 Subject: [PATCH] ada: Add null exclusion to avoid run-time checks By declaring access parameter with non-null qualifier, the compiler should avoid generating run-time checks in debug builds, resulting in a tiny performance improvement. Code cleanup; semantics is unaffected. gcc/ada/ChangeLog: * sem_res.adb (Type_In_P): Add non-null qualifier. --- gcc/ada/sem_res.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 2ea1ae4a3aee..4c92b5629442 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -1589,7 +1589,7 @@ package body Sem_Res is -- expanded name, verify that the operand has an interpretation with a -- type defined in the given scope of the operator. - function Type_In_P (Test : Kind_Test) return Entity_Id; + function Type_In_P (Test : not null Kind_Test) return Entity_Id; -- Find a type of the given class in package Pack that contains the -- operator. @@ -1624,7 +1624,7 @@ package body Sem_Res is -- Type_In_P -- --------------- - function Type_In_P (Test : Kind_Test) return Entity_Id is + function Type_In_P (Test : not null Kind_Test) return Entity_Id is E : Entity_Id; function In_Decl return Boolean; -- 2.47.2