[multiple changes]

2014-07-18  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.adb (Build_Discrete_Static_Predicate): New name
	for Build_Static_Predicate (Build_Predicate_Functions):
	Don't try to build discrete predicate for real type.
	(Build_Predicate_Functions): Report attempt to use
	Static_Predicate function on real type as unimplemented.
	* sem_util.adb (Check_Expression_Against_Static_Predicate):
	Add guard to prevent blow up on predicate for real type.

2014-07-18  Ed Schonberg  <schonberg@adacore.com>

	* einfo.adb (Set_Static_Predicate): Simplify assertion to handle
	properly static predicate on enumeration types and modular types
	(not subtypes).

2014-07-18  Pierre-Marie Derodat  <derodat@adacore.com>

	* scos.ads (SCO_Unit_Table_Entry): Add a field to keep track of
	the corresponding source file index.
	* get_scos.ads (Get_SCOs): Add a default value for it.
	* par_sco.adb (SCO_Record): Fill the corresponding value.
	* scos.h: New.

2014-07-18  Vincent Celier  <celier@adacore.com>

	* a-strunb-shared.adb, s-auxdec.ads, s-rannum.adb, atree.ads,
	urealp.adb, vms_data.ads, lib.ads, s-auxdec-vms_64.ads: Minor
	reformatting.
	* gnat_ugn.texi: Add documentation for new gnatmem switch -t.

2014-07-18  Thomas Quinot  <quinot@adacore.com>

	* g-sercom.ads (Set): document possible data loss.

2014-07-18  Ed Schonberg  <schonberg@adacore.com>

	* exp_attr.adb (Expand_N_Attribute_Reference, cases Input,
	Output, Read, Write): If the restriction No_Streams is active,
	replace each occurrence of a stream attribute by an explicit
	Raise statement.

From-SVN: r212782

1 files changed, 88 insertions, 0 deletions

diff --git a/gcc/ada/scos.h b/gcc/ada/scos.h
new file mode 100644
index 0000000..d997c9d
--- /dev/null
+++ b/gcc/ada/scos.h
@@ -0,0 +1,88 @@
+/****************************************************************************
+ *                                                                          *
+ *                         GNAT COMPILER COMPONENTS                         *
+ *                                                                          *
+ *                                 S C O S                                  *
+ *                                                                          *
+ *                              C Header File                               *
+ *                                                                          *
+ *            Copyright (C) 2014, Free Software Foundation, Inc.            *
+ *                                                                          *
+ * GNAT is free software;  you can  redistribute it  and/or modify it under *
+ * terms of the  GNU General Public License as published  by the Free Soft- *
+ * ware  Foundation;  either version 3,  or (at your option) any later ver- *
+ * sion.  GNAT is distributed in the hope that it will be useful, but WITH- *
+ * OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY *
+ * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License *
+ * for  more details.  You should have  received  a copy of the GNU General *
+ * Public License  distributed with GNAT; see file COPYING3.  If not, go to *
+ * http://www.gnu.org/licenses for a complete copy of the license.          *
+ *                                                                          *
+ * GNAT was originally developed  by the GNAT team at  New York University. *
+ * Extensive contributions were provided by Ada Core Technologies Inc.      *
+ *                                                                          *
+ ****************************************************************************/
+
+/* This is the C file that corresponds to the Ada package spec SCOs.  It was
+   created manually from the file scos.ads.  */
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+
+/* Unit table:  */
+
+typedef Int SCO_Unit_Index;
+
+struct SCO_Unit_Table_Entry
+  {
+    Fat_Pointer File_Name;
+    Int File_Index;
+    Nat Dep_Num;
+    Nat From, To;
+  };
+
+typedef struct SCO_Unit_Table_Entry *SCO_Unit_Table_Type;
+
+extern SCO_Unit_Table_Type scos__sco_unit_table__table;
+#define SCO_Unit_Table scos__sco_unit_table__table
+
+extern Int scos__sco_unit_table__min;
+#define SCO_Unit_Table_Min scos__sco_unit_table__min
+
+extern Int scos__sco_unit_table__last_val;
+#define SCO_Unit_Table_Last_Val scos__sco_unit_table__last_val
+
+
+/* SCOs table:  */
+
+struct Source_Location
+  {
+    Line_Number_Type Line;
+    Column_Number_Type Col;
+  };
+
+struct SCO_Table_Entry
+  {
+    struct Source_Location From, To;
+    char C1, C2;
+    bool Last;
+    Source_Ptr Pragma_Sloc;
+    Name_Id Pragma_Aspect_Name;
+  };
+
+typedef struct SCO_Table_Entry *SCO_Table_Type;
+
+extern SCO_Table_Type scos__sco_table__table;
+#define SCO_Table scos__sco_table__table
+
+extern Int scos__sco_table__min;
+#define SCO_Table_Min scos__sco_table__min
+
+extern Int scos__sco_table__last_val;
+#define SCO_Table_Last_Val scos__sco_table__last_val
+
+#ifdef __cplusplus
+}
+#endif