debug.adb: Update documentation.

2015-05-22  Robert Dewar  <dewar@adacore.com>

	* debug.adb: Update documentation.
	* einfo.ads, einfo.adb (Needs_Typedef): New flag
	* exp_unst.adb (Unnest_Subprogram): Mark AREC types as needing
	typedef's in C.
	* frontend.adb: Update comments.
	* gnat1drv.adb (Adjust_Global_Switches): Set all needed flags
	for -gnatd.V
	* opt.ads (Generate_C_Code): New switch.
	* osint-c.adb (Write_C_File_Info): Removed, not used
	(Write_H_File_Info): Removed, not used
	* osint-c.ads (Write_C_File_Info): Removed, not used
	(Write_H_File_Info): Removed, not used
	* osint.ads (Write_Info): Minor comment updates.
	(Output_FD): Moved from private part to public part of spec.
	* sem.adb (Semantics): Force expansion on if in Generate_C_Code
	mode.
	* atree.ads: minor typo in comment.
	* sem_prag.adb (Process_Atomic_Independent_Shared_Volatile):
	Do not allow VFA on composite object with aliased component.

From-SVN: r223546

1 files changed, 8 insertions, 14 deletions

diff --git a/gcc/ada/osint-c.ads b/gcc/ada/osint-c.ads
index 177d1f1..afd4e84 100644
--- a/gcc/ada/osint-c.ads
+++ b/gcc/ada/osint-c.ads
@@ -108,6 +108,12 @@ package Osint.C is
    --  Close current debug file created by the most recent call to
    --  Create_Repinfo_File.
 
+   procedure Set_File_Name (Ext : String);
+   --  Sets a default file name from the main compiler source name. Ext is the
+   --  extension, e.g. "ali" for a library information file. The name is in
+   --  Name_Buffer (with length in Name_Len) on return. This is visible in
+   --  the spec since it used directly by clients in the .Net case.
+
    --------------------------------
    -- Library Information Output --
    --------------------------------
@@ -127,11 +133,6 @@ package Osint.C is
    --  returned by Next_Main_Source) for appending. This is used to append
    --  the globals computed in flow analysis in gnatprove mode.
 
-   procedure Set_File_Name (Ext : String);
-   --  Sets a default file name from the main compiler source name. Ext is
-   --  the extension, e.g. "ali" for a library information file.
-   --  The name is in Name_Buffer (with length in Name_Len) on return.
-
    procedure Write_Library_Info (Info : String);
    --  Writes the contents of the referenced string to the library information
    --  file for the main source file currently being compiled (i.e. the file
@@ -161,7 +162,8 @@ package Osint.C is
    --  These routines are used by the compiler when the C translation option
    --  is activated to write *.c and *.h files to the current object directory.
    --  Each routine exists in a C and an H form for the two kinds of files.
-   --  Only one of these files can be written at a time.
+   --  Only one of these files can be written at a time. Note that the files
+   --  are written via the Output package routines, using Output_FD.
 
    procedure Create_C_File;
    procedure Create_H_File;
@@ -169,14 +171,6 @@ package Osint.C is
    --  being compiled (i.e. the file which was most recently returned by
    --  Next_Main_Source).
 
-   procedure Write_C_File_Info (Info : String);
-   procedure Write_H_File_Info (Info : String);
-   --  Writes the contents of the referenced string to the *.c or *.h file for
-   --  the main source file currently being compiled (i.e. the file which was
-   --  most recently opened with a call to Read_Next_File). Info represents
-   --  a line in the file with a line termination character at the end (which
-   --  is not present in the info string).
-
    procedure Close_C_File;
    procedure Close_H_File;
    --  Closes the file created by Create_C_File or Create_H file, flushing any