diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-06-25 04:02:29 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-16 03:31:23 -0400 |
commit | 2341c8a96dbef8a6cbc2ce02acf17e6710457f4e (patch) | |
tree | 631832c0fa72883bf75a9cf452b84ce2811c13b9 /gcc/ada/doc | |
parent | 5540812a4d623975660159172d3cf4241ead8494 (diff) | |
download | gcc-2341c8a96dbef8a6cbc2ce02acf17e6710457f4e.zip gcc-2341c8a96dbef8a6cbc2ce02acf17e6710457f4e.tar.gz gcc-2341c8a96dbef8a6cbc2ce02acf17e6710457f4e.tar.bz2 |
[Ada] Remove support for -gnatP and pragma Polling
gcc/ada/
* Makefile.rtl, gnat1drv.adb, expander.adb
doc/gnat_rm/implementation_defined_pragmas.rst,
doc/gnat_ugn/building_executable_programs_with_gnat.rst,
doc/gnat_ugn/the_gnat_compilation_model.rst, exp_ch5.ads,
exp_ch5.adb, exp_ch6.adb, exp_ch7.adb, exp_util.adb,
exp_util.ads, libgnarl/s-osinte__aix.adb,
libgnarl/s-osinte__android.adb, libgnarl/s-osinte__darwin.adb,
libgnarl/s-osinte__gnu.adb, libgnarl/s-osinte__hpux-dce.adb,
libgnarl/s-osinte__lynxos178.adb, libgnarl/s-osinte__posix.adb,
libgnarl/s-osinte__qnx.adb, libgnarl/s-osinte__rtems.adb,
libgnarl/s-osinte__solaris.adb, libgnarl/s-osinte__vxworks.adb,
libgnarl/s-osinte__x32.adb, libgnarl/s-solita.adb,
libgnarl/s-taasde.adb, libgnarl/s-taprob.adb,
libgnarl/s-taprop__dummy.adb, libgnarl/s-taprop__hpux-dce.adb,
libgnarl/s-taprop__linux.adb, libgnarl/s-taprop__mingw.adb,
libgnarl/s-taprop__posix.adb, libgnarl/s-taprop__qnx.adb,
libgnarl/s-taprop__solaris.adb, libgnarl/s-taprop__vxworks.adb,
libgnarl/s-tarest.adb, libgnarl/s-tasini.adb,
libgnarl/s-taskin.adb, libgnarl/s-taspri__dummy.ads,
libgnarl/s-taspri__hpux-dce.ads, libgnarl/s-taspri__lynxos.ads,
libgnarl/s-taspri__mingw.ads,
libgnarl/s-taspri__posix-noaltstack.ads,
libgnarl/s-taspri__posix.ads, libgnarl/s-taspri__solaris.ads,
libgnarl/s-taspri__vxworks.ads, libgnarl/s-tassta.adb,
libgnarl/s-tasuti.adb, libgnarl/s-tposen.adb,
libgnat/a-except.adb, libgnat/a-except.ads,
libgnat/s-dwalin.adb, libgnat/s-dwalin.ads,
libgnat/s-mastop.ads, libgnat/s-soflin.adb,
libgnat/s-stalib.adb, libgnat/s-stalib.ads,
libgnat/s-stchop.adb, libgnat/s-stchop.ads,
libgnat/s-stchop__limit.ads, libgnat/s-traceb.ads,
libgnat/s-traent.adb, libgnat/s-traent.ads,
libgnat/s-trasym.adb, libgnat/s-trasym.ads,
libgnat/s-trasym__dwarf.adb, opt.adb, opt.ads, par-prag.adb,
sem_prag.adb, snames.ads-tmpl, switch-c.adb, targparm.adb,
targparm.ads, usage.adb: Remove support for -gnatP and pragma
Polling.
* gnat_ugn.texi: Regenerate.
* libgnat/a-excpol.adb, libgnat/a-excpol__abort.adb: Removed.
Diffstat (limited to 'gcc/ada/doc')
3 files changed, 0 insertions, 52 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index 737bc60..af313c1 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -4525,48 +4525,6 @@ type is potentially persistent. If this pragma is used on a target where this feature is not supported, then the pragma will be ignored. See also ``pragma Linker_Section``. -Pragma Polling -============== - -Syntax: - - -.. code-block:: ada - - pragma Polling (ON | OFF); - - -This pragma controls the generation of polling code. This is normally off. -If ``pragma Polling (ON)`` is used then periodic calls are generated to -the routine ``Ada.Exceptions.Poll``. This routine is a separate unit in the -runtime library, and can be found in file :file:`a-excpol.adb`. - -Pragma ``Polling`` can appear as a configuration pragma (for example it -can be placed in the :file:`gnat.adc` file) to enable polling globally, or it -can be used in the statement or declaration sequence to control polling -more locally. - -A call to the polling routine is generated at the start of every loop and -at the start of every subprogram call. This guarantees that the ``Poll`` -routine is called frequently, and places an upper bound (determined by -the complexity of the code) on the period between two ``Poll`` calls. - -The primary purpose of the polling interface is to enable asynchronous -aborts on targets that cannot otherwise support it (for example Windows -NT), but it may be used for any other purpose requiring periodic polling. -The standard version is null, and can be replaced by a user program. This -will require re-compilation of the ``Ada.Exceptions`` package that can -be found in files :file:`a-except.ads` and :file:`a-except.adb`. - -A standard alternative unit (in file :file:`4wexcpol.adb` in the standard GNAT -distribution) is used to enable the asynchronous abort capability on -targets that do not normally support the capability. The version of -``Poll`` in this file makes a call to the appropriate runtime routine -to test for an abort condition. - -Note that polling can also be enabled by use of the *-gnatP* switch. -See the section on switches for gcc in the :title:`GNAT User's Guide`. - Pragma Post =========== .. index:: Post 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 1d44d70..972d512 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 @@ -2058,15 +2058,6 @@ Alphabetical List of All Switches Cancel effect of previous :switch:`-gnatp` switch. -.. index:: -gnatP (gcc) - -:switch:`-gnatP` - Enable polling. This is required on some systems (notably Windows NT) to - obtain asynchronous abort and asynchronous transfer of control capability. - See ``Pragma_Polling`` in the :title:`GNAT_Reference_Manual` for full - details. - - .. index:: -gnatq (gcc) :switch:`-gnatq` diff --git a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst index b8729d0..2f0e10c 100644 --- a/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst +++ b/gcc/ada/doc/gnat_ugn/the_gnat_compilation_model.rst @@ -1445,7 +1445,6 @@ recognized by GNAT:: Overriding_Renamings Partition_Elaboration_Policy Persistent_BSS - Polling Prefix_Exception_Messages Priority_Specific_Dispatching Profile |