[Ada] Update the section on resolving elaboration circularities

2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
	the section on resolving elaboration circularities to eliminate
	certain combinations of switches which together do not produce
	the desired effect and confuse users.
	* gnat_ugn.texi: Regenerate.

From-SVN: r272966

gcc/ada/ChangeLog

+2019-07-03  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Update
+	the section on resolving elaboration circularities to eliminate
+	certain combinations of switches which together do not produce
+	the desired effect and confuse users.
+	* gnat_ugn.texi: Regenerate.
+
 2019-07-03  Arnaud Charlet  <charlet@adacore.com>
 
 	* bindgen.adb (Gen_Main): Disable generation of reference to

gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst

@@ -1056,17 +1056,17 @@ available.
   If the compilation was performed using a post-18.x version of GNAT, consider
   using the legacy elaboration model, in the following order:
 
+  - Use the relaxed static elaboration model, with compiler switch
+    :switch:`-gnatJ`.
+
+  - Use the relaxed dynamic elaboration model, with compiler switches
+    :switch:`-gnatE` :switch:`-gnatJ`.
+
   - Use the legacy static elaboration model, with compiler switch
     :switch:`-gnatH`.
 
   - Use the legacy dynamic elaboration model, with compiler switches
-    :switch:`-gnatH` :switch:`-gnatE`.
-
-  - Use the relaxed legacy static elaboration model, with compiler switches
-    :switch:`-gnatH` :switch:`-gnatJ`.
-
-  - Use the relaxed legacy dynamic elaboration model, with compiler switches
-    :switch:`-gnatH` :switch:`-gnatJ` :switch:`-gnatE`.
+    :switch:`-gnatE` :switch:`-gnatH`.
 
 * *Suppress all elaboration checks*
 

gcc/ada/gnat_ugn.texi

@@ -28348,20 +28348,20 @@ using the legacy elaboration model, in the following order:
 @itemize -
 
 @item 
-Use the legacy static elaboration model, with compiler switch
-@code{-gnatH}.
+Use the relaxed static elaboration model, with compiler switch
+@code{-gnatJ}.
 
 @item 
-Use the legacy dynamic elaboration model, with compiler switches
-@code{-gnatH} @code{-gnatE}.
+Use the relaxed dynamic elaboration model, with compiler switches
+@code{-gnatE} @code{-gnatJ}.
 
 @item 
-Use the relaxed legacy static elaboration model, with compiler switches
-@code{-gnatH} @code{-gnatJ}.
+Use the legacy static elaboration model, with compiler switch
+@code{-gnatH}.
 
 @item 
-Use the relaxed legacy dynamic elaboration model, with compiler switches
-@code{-gnatH} @code{-gnatJ} @code{-gnatE}.
+Use the legacy dynamic elaboration model, with compiler switches
+@code{-gnatE} @code{-gnatH}.
 @end itemize
 
 @item