diff options
Diffstat (limited to 'debian/patches/pr47818.diff')
| -rw-r--r-- | debian/patches/pr47818.diff | 24 |
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); |