diff options
author | Javier Miranda <miranda@adacore.com> | 2018-05-23 10:22:47 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-23 10:22:47 +0000 |
commit | 51ab2a39e9baae7fe1552daca02337050b11cfb6 (patch) | |
tree | c0156481dff84dfa33dbdcd1b561a7c3de7a4f19 /gcc/ada/debug.adb | |
parent | 6734617cedcadfddfc33378ce824b4620381d91c (diff) | |
download | gcc-51ab2a39e9baae7fe1552daca02337050b11cfb6.zip gcc-51ab2a39e9baae7fe1552daca02337050b11cfb6.tar.gz gcc-51ab2a39e9baae7fe1552daca02337050b11cfb6.tar.bz2 |
[Ada] Restrict initialization of External_Tag and Expanded_Name
2018-05-23 Javier Miranda <miranda@adacore.com>
gcc/ada/
* exp_disp.adb (Make_DT): Restrict the initialization of
External_Tag and Expanded_Name to an empty string to the case where
both pragmas apply (i.e. No_Tagged_Streams and Discard_Names), since
restricted runtimes are compiled with pragma Discard_Names.
* doc/gnat_rm/implementation_defined_pragmas.rst,
doc/gnat_rm/implementation_defined_characteristics.rst: Add
documentation.
* gnat_rm.texi: Regenerate.
From-SVN: r260584
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions