From: Pierre-Marie de Rodat Date: Mon, 1 Jul 2019 13:34:19 +0000 (+0000) Subject: [Ada] Fix formatting issues in the gnat_ugn documentation X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b3a8d3440a387d326c7b659617fd126ff5371a6;p=gcc.git [Ada] Fix formatting issues in the gnat_ugn documentation 2019-07-01 Pierre-Marie de Rodat gcc/ada/ * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix formatting issues in the -gnatR section. * gnat_ugn.texi: Regenerate. From-SVN: r272853 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 26e7c62596e..368e120ce2d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2019-07-01 Pierre-Marie de Rodat + + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Fix + formatting issues in the -gnatR section. + * gnat_ugn.texi: Regenerate. + 2019-06-30 Iain Sandoe * gnatlink.adb (Link_Step): Remove duplicate -static-libgcc switches. 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 b5363dada97..94cbc01faef 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 @@ -5889,8 +5889,8 @@ Debugging Control compiler sources. If the switch is followed by an ``s`` (e.g., :switch:`-gnatR3s`), then - the output is to a file with the name :file:`file.rep` where file is - the name of the corresponding source file, except if `j`` is also + the output is to a file with the name :file:`file.rep` where ``file`` is + the name of the corresponding source file, except if ``j`` is also specified, in which case the file name is :file:`file.json`. Note that it is possible for record components to have zero size. In diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index faf01c6f3c5..d09b879963a 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -21,7 +21,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , Dec 05, 2018 +GNAT User's Guide for Native Platforms , Jun 21, 2019 AdaCore @@ -15143,8 +15143,8 @@ available in the specification of the Repinfo unit present in the compiler sources. If the switch is followed by an @code{s} (e.g., @code{-gnatR3s}), then -the output is to a file with the name @code{file.rep} where file is -the name of the corresponding source file, except if @cite{j`} is also +the output is to a file with the name @code{file.rep} where @code{file} is +the name of the corresponding source file, except if @code{j} is also specified, in which case the file name is @code{file.json}. Note that it is possible for record components to have zero size. In @@ -23556,15 +23556,15 @@ the set of handlers 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 (@code{abort} and @code{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 @code{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. @menu * Summary of Run-Time Configurations::