aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2021-06-28 22:34:10 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2021-09-20 12:31:38 +0000
commit71a4bdada59d2d6d1f17c949eaf9377ebb7a8854 (patch)
treea407658c6b6df308cb850daafaf37b4eae2f07a0 /gcc
parent3613473ab1765efc8e60b8e030eb1919af0b20e3 (diff)
downloadgcc-71a4bdada59d2d6d1f17c949eaf9377ebb7a8854.zip
gcc-71a4bdada59d2d6d1f17c949eaf9377ebb7a8854.tar.gz
gcc-71a4bdada59d2d6d1f17c949eaf9377ebb7a8854.tar.bz2
[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.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/inline.adb4
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb
index 84e2bc8..773b376 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;