Imported gcc-6 (6.3.0-17)debian/6.3.0-17

1 files changed, 24 insertions, 0 deletions

diff --git a/debian/patches/pr47818.diff b/debian/patches/pr47818.diff
new file mode 100644
index 0000000..98bd107
--- /dev/null
+++ b/debian/patches/pr47818.diff
@@ -0,0 +1,24 @@
+# DP: Fix PR ada/47818: Pragma Assert is rejected with No_Implementation_Pragmas restriction.
+
+Index: b/src/gcc/ada/sem_prag.adb
+===================================================================
+--- a/src/gcc/ada/sem_prag.adb
++++ b/src/gcc/ada/sem_prag.adb
+@@ -16306,7 +16306,16 @@ package body Sem_Prag is
+             Type_Id : Node_Id;
+ 
+          begin
+-            GNAT_Pragma;
++            --  This could be a rewritten pragma Assert. If it is the case
++            --  then don't check restrictions, because they are different for
++            --  pragma Assert and were already checked.
++
++            if Nkind (Original_Node (N)) /= N_Pragma
++              or else Pragma_Name (Original_Node (N)) /= Name_Assert
++            then
++               GNAT_Pragma;
++            end if;
++
+             Check_At_Least_N_Arguments (2);
+             Check_At_Most_N_Arguments  (3);
+             Check_Optional_Identifier (Arg1, Name_Entity);