From 71a4bdada59d2d6d1f17c949eaf9377ebb7a8854 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 28 Jun 2021 22:34:10 +0200 Subject: [PATCH] [Ada] Remove redundant checks for non-empty list of aspects gcc/ada/ * inline.adb (Has_Excluded_Declaration): Remove redundant guard; the guarded code will call First on a No_List, which is well-defined and gives Empty. --- gcc/ada/inline.adb | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 84e2bc866b9c..773b376685b2 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -4319,9 +4319,7 @@ package body Inline is -- functions, i.e. nested subprogram bodies, so inlining is not -- possible. - elsif Nkind (Decl) = N_Subtype_Declaration - and then Present (Aspect_Specifications (Decl)) - then + elsif Nkind (Decl) = N_Subtype_Declaration then declare A : Node_Id; A_Id : Aspect_Id; -- 2.47.2