diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2021-06-28 22:34:10 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-20 12:31:38 +0000 |
commit | 71a4bdada59d2d6d1f17c949eaf9377ebb7a8854 (patch) | |
tree | a407658c6b6df308cb850daafaf37b4eae2f07a0 /gcc | |
parent | 3613473ab1765efc8e60b8e030eb1919af0b20e3 (diff) | |
download | gcc-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.adb | 4 |
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; |