From: charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 29 Jan 2014 16:16:51 +0000 (+0000)
Subject: Update comments.
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e514c63fb9216c8d1ebd3203c56ed8e3055c0622;p=thirdparty%2Fgcc.git

Update comments.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207264 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/back_end.ads b/gcc/ada/back_end.ads
index ba25a83fb7e7..9e28a6ed6f34 100644
--- a/gcc/ada/back_end.ads
+++ b/gcc/ada/back_end.ads
@@ -59,6 +59,17 @@ package Back_End is
    --
    --  Any processed switches that influence the result of a compilation must
    --  be added to the Compilation_Arguments table.
+   --
+   --  This routine is expected to set the following to True if necessary (the
+   --  default for all of these in Opt is False).
+   --
+   --    Opt.Suppress_All_Inlining
+   --    Opt.Suppress_Control_Float_Optimizations
+   --    Opt.Generate_SCO
+   --    Opt.Generate_SCO_Instance_Table
+   --    Opt.Stack_Checking_Enabled
+   --    Opt.No_Stdinc
+   --    Opt.No_Stdlib
 
    procedure Gen_Or_Update_Object_File;
    --  Is used to generate the object file (if generated directly by gnat1), or