https://gcc.gnu.org/g:6989e0f3f837a96a4629d0a22b12de00d6438996

commit r16-3784-g6989e0f3f837a96a4629d0a22b12de00d6438996
Author: Viljar Indus <in...@adacore.com>
Date:   Mon Aug 25 11:55:29 2025 +0300

    ada: Update coding style
    
    gcc/ada/ChangeLog:
    
            * ghost.adb (Check_Ghost_Policy): Update coding style.

Diff:
---
 gcc/ada/ghost.adb | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb
index 0918d27daeb7..4f1a0d9d6a46 100644
--- a/gcc/ada/ghost.adb
+++ b/gcc/ada/ghost.adb
@@ -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;

Reply via email to