ali.adb: Set Allocator_In_Body if AB parameter present on M line

[gcc.git] / gcc / ada / lib-writ.ads

diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads
index 545143252294635b67894bb0712093774e93804e..b3ea32d1282f46458b1da1a0398bfce508c882f9 100644 (file)
--- a/gcc/ada/lib-writ.ads
+++ b/gcc/ada/lib-writ.ads
@@ -116,7 +116,7 @@ package Lib.Writ is
    --  -- M  Main Program --
    --  ---------------------
 
-   --    M type [priority] [T=time-slice] W=?
+   --    M type [priority] [T=time-slice] [AB] W=?
 
    --      This line appears only if the main unit for this file is suitable
    --      for use as a main program. The parameters are:
@@ -141,6 +141,15 @@ package Lib.Writ is
    --          milliseconds. The actual significance of this parameter is
    --          target dependent.
 
+   --        AB
+
+   --          Present if there is an allocator in the body of the procedure
+   --          after the BEGIN. This will be a violation of the restriction
+   --          No_Allocators_After_Elaboration if it is present, and this
+   --          unit is used as a main program (only the binder can find the
+   --          violation, since only the binder knows the main program).
+   --
+
    --        W=?
 
    --          This parameter indicates the wide character encoding method used