* [Ada] Cleanup copying of parameter lists
@ 2021-11-09 9:46 Pierre-Marie de Rodat
0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2021-11-09 9:46 UTC (permalink / raw)
To: gcc-patches; +Cc: Piotr Trojanek
[-- Attachment #1: Type: text/plain, Size: 244 bytes --]
Cleanup related to expansion of predefined equality for GNATprove;
semantics is unaffected.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_util.adb (Copy_Parameter_List): Refactor to remove
repeated calls to First_Formal.
[-- Attachment #2: patch.diff --]
[-- Type: text/x-diff, Size: 924 bytes --]
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -6797,14 +6797,11 @@ package body Sem_Util is
function Copy_Parameter_List (Subp_Id : Entity_Id) return List_Id is
Loc : constant Source_Ptr := Sloc (Subp_Id);
Plist : List_Id;
- Formal : Entity_Id;
+ Formal : Entity_Id := First_Formal (Subp_Id);
begin
- if No (First_Formal (Subp_Id)) then
- return No_List;
- else
- Plist := New_List;
- Formal := First_Formal (Subp_Id);
+ if Present (Formal) then
+ Plist := New_List;
while Present (Formal) loop
Append_To (Plist,
Make_Parameter_Specification (Loc,
@@ -6819,6 +6816,8 @@ package body Sem_Util is
Next_Formal (Formal);
end loop;
+ else
+ Plist := No_List;
end if;
return Plist;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-11-09 9:46 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-09 9:46 [Ada] Cleanup copying of parameter lists Pierre-Marie de Rodat
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).