]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Remove unused null branch
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 5 Jul 2024 15:42:00 +0000 (17:42 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 2 Aug 2024 07:08:10 +0000 (09:08 +0200)
Code cleanup; semantics is unaffected.

gcc/ada/

* exp_util.adb (Insert_Actions): Remove null ELSE branch.

gcc/ada/exp_util.adb

index bde50687597d782de191c95e1b931c57597923e5..ef8c91dfe949e327ee0e07cfe52cb8ed8027d79f 100644 (file)
@@ -8186,9 +8186,6 @@ package body Exp_Util is
                   end if;
 
                   return;
-
-               else
-                  null;
                end if;
 
             --  Special case: an attribute denoting a procedure call