[multiple changes]

2017-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_elab.adb: Update the terminology and switch sections.
	(Check_SPARK_Model_In_Effect): New routine.
	(Check_SPARK_Scenario): Verify the model in effect for SPARK.
	(Process_Conditional_ABE_Call_SPARK): Verify the model in effect for
	SPARK.
	(Process_Conditional_ABE_Instantiation_SPARK): Verify the model in
	effect for SPARK.
	(Process_Conditional_ABE_Variable_Assignment_SPARK): Verify the model
	in effect for SPARK.

2017-12-05  Nicolas Setton  <setton@adacore.com>

	* terminals.c (__gnat_setup_child_communication): As documented,
	__gnat_setup_child_communication should not terminate - it is intended
	to be used as the child process of a call to fork().  However, execvp
	might actually return in some cases, for instance when attempting to
	run a 32-bit binary on a 64-bit Linux distribution when the
	compatibility packages are not installed. In these cases, exit the
	program to conform to the documentation.

2017-12-05  Olivier Hainque  <hainque@adacore.com>

	* libgnat/s-tsmona.adb: Fix for oversight in the tsmona interface
	update.

2017-12-05  Gary Dismukes  <dismukes@adacore.com>

	* doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Minor typo fix
	and reformatting.
	* gnat_ugn.texi: Regenerate.

2017-12-05  Olivier Hainque  <hainque@adacore.com>

	* sem_util.adb (Set_Convention): Always clear Can_Use_Internal_Rep
	on access to subprogram types with foreign convention.

2017-12-05  Yannick Moy  <moy@adacore.com>

	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix User's
	Guide description of default settings of warnings.

From-SVN: r255413

2 files changed, 23 insertions, 5 deletions

diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
index b6447d0..802e905 100644
--- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
@@ -4075,20 +4075,28 @@ When no switch :switch:`-gnatw` is used, this is equivalent to:
 
   * :switch:`-gnatwD`
 
+  * :switch:`-gnatw.D`
+
   * :switch:`-gnatwF`
 
+  * :switch:`-gnatw.F`
+
   * :switch:`-gnatwg`
 
   * :switch:`-gnatwH`
 
-  * :switch:`-gnatwi`
+  * :switch:`-gnatw.H`
 
-  * :switch:`-gnatw.I`
+  * :switch:`-gnatwi`
 
   * :switch:`-gnatwJ`
 
+  * :switch:`-gnatw.J`
+
   * :switch:`-gnatwK`
 
+  * :switch:`-gnatw.K`
+
   * :switch:`-gnatwL`
 
   * :switch:`-gnatw.L`
@@ -4099,6 +4107,8 @@ When no switch :switch:`-gnatw` is used, this is equivalent to:
 
   * :switch:`-gnatwn`
 
+  * :switch:`-gnatw.N`
+
   * :switch:`-gnatwo`
 
   * :switch:`-gnatw.O`
@@ -4119,12 +4129,16 @@ When no switch :switch:`-gnatw` is used, this is equivalent to:
 
   * :switch:`-gnatwT`
 
-  * :switch:`-gnatw.T`
+  * :switch:`-gnatw.t`
 
   * :switch:`-gnatwU`
 
+  * :switch:`-gnatw.U`
+
   * :switch:`-gnatwv`
 
+  * :switch:`-gnatw.v`
+
   * :switch:`-gnatww`
 
   * :switch:`-gnatw.W`
@@ -4135,8 +4149,12 @@ When no switch :switch:`-gnatw` is used, this is equivalent to:
 
   * :switch:`-gnatwy`
 
+  * :switch:`-gnatw.Y`
+
   * :switch:`-gnatwz`
 
+  * :switch:`-gnatw.z`
+
 .. _Debugging_and_Assertion_Control:
 
 Debugging and Assertion Control
diff --git a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
index d29a915..a4b8b7f 100644
--- a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
@@ -634,7 +634,7 @@ elaboration order and to diagnose elaboration problems.
 
 * *Legacy elaboration model*
 
-  In addition to the three elabortaion models outlined above, GNAT provides the
+  In addition to the three elaboration models outlined above, GNAT provides the
   elaboration model of pre-18.x versions referred to as `legacy elaboration
   model`. The legacy elaboration model is enabled with compiler switch
   :switch:`-gnatH`.
@@ -1515,7 +1515,7 @@ the elaboration order chosen by the binder.
 :switch:`-gnatJ`
   Relaxed elaboration checking mode enabled
 
-  When this switch is in effect, GNAT will not process certain scenarios
+  When this switch is in effect, GNAT will not process certain scenarios,
   resulting in a more permissive elaboration model. Note that this may
   eliminate some diagnostics and run-time checks.