From: Viljar Indus <[email protected]>
gcc/ada/ChangeLog:
* ghost.adb (Check_Ghost_Policy): Update coding style.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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;
--
2.43.0