public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-3727] ada: Clean up code for visibility of generic actuals
@ 2022-11-07 8:38 Marc Poulhi?s
0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2022-11-07 8:38 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:4e92ad48dcfdb726f72f35039c5c102a99bf7759
commit r13-3727-g4e92ad48dcfdb726f72f35039c5c102a99bf7759
Author: Piotr Trojanek <trojanek@adacore.com>
Date: Fri Aug 12 11:55:35 2022 +0200
ada: Clean up code for visibility of generic actuals
Code cleanup related to fixing visibility of actual parameters in
inlining-for-proof in GNATprove mode; semantics is unaffected.
gcc/ada/
* sem_ch12.adb (Check_Generic_Actuals): Remove redundant parens;
refactor an excessive if-statement; remove repeated call to Node.
Diff:
---
gcc/ada/sem_ch12.adb | 14 ++++++--------
1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index 0b7b7c904d3..2b7833dfdcd 100644
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -7023,7 +7023,7 @@ package body Sem_Ch12 is
Astype := First_Subtype (E);
end if;
- Set_Size_Info (E, (Astype));
+ Set_Size_Info (E, Astype);
Copy_RM_Size (To => E, From => Astype);
Set_First_Rep_Item (E, First_Rep_Item (Astype));
@@ -7054,12 +7054,10 @@ package body Sem_Ch12 is
elsif Present (Associated_Formal_Package (E))
and then not Is_Generic_Formal (E)
then
- if Box_Present (Parent (Associated_Formal_Package (E))) then
- Check_Generic_Actuals (Renamed_Entity (E), True);
-
- else
- Check_Generic_Actuals (Renamed_Entity (E), False);
- end if;
+ Check_Generic_Actuals
+ (Renamed_Entity (E),
+ Is_Formal_Box =>
+ Box_Present (Parent (Associated_Formal_Package (E))));
Set_Is_Hidden (E, False);
end if;
@@ -15457,7 +15455,7 @@ package body Sem_Ch12 is
end loop;
end if;
- Exchange_Declarations (Node (M));
+ Exchange_Declarations (Typ);
Next_Elmt (M);
end loop;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-11-07 8:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-07 8:38 [gcc r13-3727] ada: Clean up code for visibility of generic actuals Marc Poulhi?s
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).