]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Update coding style
authorViljar Indus <indus@adacore.com>
Mon, 25 Aug 2025 08:55:29 +0000 (11:55 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:49 +0000 (11:10 +0200)
gcc/ada/ChangeLog:

* ghost.adb (Check_Ghost_Policy): Update coding style.

gcc/ada/ghost.adb

index 0918d27daeb762c09ddf1813ad360b44064f81ce..4f1a0d9d6a46622e1a460264ad2f41dc626cff39 100644 (file)
@@ -857,11 +857,11 @@ package body Ghost is
            and then Applic_Policy = Ignore
            and then Known_To_Be_Assigned (Ref)
          then
-            Error_Msg_N  (Ghost_Policy_Error_Msg, Ref);
+            Error_Msg_N (Ghost_Policy_Error_Msg, Ref);
             Error_Msg_Sloc := Sloc (Id);
             Error_Msg_NE ("\& declared # with ghost policy `Check`", Ref, Id);
             Error_Msg_Sloc := Sloc (Ref);
-            Error_Msg_NE ("\& used # with ghost policy `Ignore`",  Ref, Id);
+            Error_Msg_NE ("\& used # with ghost policy `Ignore`", Ref, Id);
          end if;
 
          --  A ghost entity E shall not be referenced within an aspect
@@ -886,13 +886,12 @@ package body Ghost is
             return;
          end if;
 
-         if Is_Ignored_Ghost_Entity (Id) and then Applic_Policy = Check
-         then
-            Error_Msg_N  (Ghost_Policy_Error_Msg,  Ref);
+         if Is_Ignored_Ghost_Entity (Id) and then Applic_Policy = Check then
+            Error_Msg_N (Ghost_Policy_Error_Msg, Ref);
             Error_Msg_Sloc := Sloc (Id);
             Error_Msg_NE ("\& declared # with ghost policy `Ignore`", Ref, Id);
             Error_Msg_Sloc := Sloc (Ref);
-            Error_Msg_NE ("\& used # with ghost policy `Check`",    Ref, Id);
+            Error_Msg_NE ("\& used # with ghost policy `Check`", Ref, Id);
          end if;
       end Check_Ghost_Policy;