[gcc r15-4892] ada: Add null exclusion to avoid run-time checks

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:39e9ebac2f2500652c14597fe6a113d5002abf2f

commit r15-4892-g39e9ebac2f2500652c14597fe6a113d5002abf2f
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Fri Sep 27 16:56:37 2024 +0200

    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:
---
 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;