Add note about abort and ZCX runtime.

Part of RC12-001

From-SVN: r267079

diff --git a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
index 5b55ef77ae2ad620191e831f5570acf97e7beed2..eaae6122f1cab3760842fd65293f6f0afcdd99e4 100644 (file)
--- a/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
+++ b/gcc/ada/doc/gnat_ugn/platform_specific_information.rst
@@ -49,15 +49,15 @@ For exception handling, either or both of two models are supplied:
 Most programs should experience a substantial speed improvement by
 being compiled with a ZCX run-time.
 This is especially true for
-tasking applications or applications with many exception handlers.}
+tasking applications or applications with many exception handlers.
+Note however that the ZCX run-time does not support asynchronous abort
+of tasks (``abort`` and ``select-then-abort`` constructs) and will instead
+implement abort by polling points in the runtime. You can also add additional
+polling points explicitly if needed in your application via ``pragma
+Abort_Defer``.
 
 This section summarizes which combinations of threads and exception support
 are supplied on various GNAT platforms.
-It then shows how to select a particular library either
-permanently or temporarily,
-explains the properties of (and tradeoffs among) the various threads
-libraries, and provides some additional
-information about several specific platforms.
 
 .. _Summary_of_Run-Time_Configurations: