From: Piotr Trojanek <troja...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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 2ea1ae4a3ae..4c92b562944 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.43.0
