From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 27 Sep 2024 14:56:37 +0000 (+0200)
Subject: ada: Add null exclusion to avoid run-time checks
X-Git-Tag: basepoints/gcc-16~4661
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=39e9ebac2f2500652c14597fe6a113d5002abf2f;p=thirdparty%2Fgcc.git

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.
---

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;