From ce5ba43a4ea1fe705546313188ce51b783b4037c Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 4 Aug 2014 10:06:12 +0200 Subject: [multiple changes] 2014-08-04 Yannick Moy * sem_aggr.adb, sem_ch3.adb, sem_ch5.adb, sem_ch7.adb, sem_ch9.adb, sem_ch12.adb, sem_util.adb, sem_util.ads, sem_res.adb, sem_attr.adb, exp_ch6.adb, sem_ch4.adb, restrict.adb, restrict.ads, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb: Update some subprogram names to refer to SPARK_05 instead of SPARK. 2014-08-04 Robert Dewar * sem.ads: Minor reformatting. * sem_ch13.adb (Analyze_Aspect_External_Or_Link_Name): Minor reformatting. (Analyze_Aspect_Specifications, case Convention): Put External_Name before Link_Name when constructing pragma. From-SVN: r213537 --- gcc/ada/sem_ch13.adb | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'gcc/ada/sem_ch13.adb') diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 85b119b..15bb5b3 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -1417,7 +1417,7 @@ package body Sem_Ch13 is if No (A) then Error_Msg_N ("missing Import/Export for Link/External name", - Aspect); + Aspect); end if; end; end Analyze_Aspect_External_Or_Link_Name; @@ -1927,14 +1927,14 @@ package body Sem_Ch13 is -- Assemble the full argument list - if Present (Link_Arg) then - Append_To (Args, Link_Arg); - end if; - if Present (Extern_Arg) then Append_To (Args, Extern_Arg); end if; + if Present (Link_Arg) then + Append_To (Args, Link_Arg); + end if; + Make_Aitem_Pragma (Pragma_Argument_Associations => Args, Pragma_Name => Prag_Nam); -- cgit v1.1