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;