This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from da579188807 libstdc++: Add missing constexpr to simd new c565a974d0d ada: Crash on dispatching primitive referencing limited-with type new fdadfcc50ee ada: Remove duplicate comment new 55d10287e5a ada: Minor fix typo in comment new 507fe403b50 ada: Small code cleanup new 53ed0028ada ada: Suppress warning about Subprogram_Variant failing at run time new 0b369aed43e ada: Fix expression pretty-printer for SPARK counterexamples new 0333af4d174 ada: Transfer fix for pretty-printed parentheses from GNATp [...] new eceeb07b214 ada: Remove special-case for parentheses in expansion for G [...] new e32c1944bba ada: Ignore accessibility actuals in expression pretty-printer new 35a035c210e ada: Revert to old pretty-printing of internal entities for [...] new db338ee106a ada: Sync different variants of interrupt handler registration new ea5a7a774a2 ada: Fix bogus error on predicated limited record declared [...] new 674ab59dc50 ada: Fix internal error on quantified expression with predi [...] new adf71a9ba51 ada: Fix endings of pretty-printed numeric literals new 65d2481a4f9 ada: Add mention of what LSP stands for new 18ed1bc5939 ada: Turn assertions into defensive code in error locations new 90e14459041 ada: Spurious errors on class-wide preconditions of private types new b64aaf4d819 ada: Remove the body of System.Storage_Elements new cf1cee3fadc ada: Facilitate proof of Interfaces.C.To_Ada new 583acc4d8e5 ada: Add default value at initialization for CodePeer new 0fb36084e3e ada: A discriminant of a variable is not a variable new 6efcce36f57 ada: Fix address arithmetic issues in the runtime new 544d5ff153b ada: Fix address arithmetic issues in the expanded code new ae8f82fd034 ada: Fix reference to Ada issue in comment new 9826f1e019f ada: Remove unnecessary call to Detach. new ad16b816d56 ada: Fix resolution of mod operator of System.Storage_Elements new b71d4b627b5 ada: Reorganize documentation of GNAT experimental features new a550a0cf91d ada: Fix oversight in latest change new a0cc548a8a1 ada: Fix minor address arithmetic issues in System.Dwarf_Lines new 37529975272 ada: Add new switch -gnatyz new f0593467b5c ada: Update ghost code for proof of integer input functions new 1dd52433d2d ada: Make string interpolation part of the core extensions new e15ce6502c7 ada: Fix address manipulation issue in the tasking runtime new ac243c845a2 ada: Fix latent issue in support for protected entries new 47a084d96bb ada: Cleanup inconsistent iteration over exception handlers new e77a66ee9a6 ada: Add tags to warnings controlled by Warn_On_Redundant_C [...] new b0245ee3b37 ada: Remove redundant parentheses from System.Stack_Checkin [...] new 4ca26401aa6 ada: ICE on BIP call in class-wide function return within instance new 7131ee2788e ada: Rework fix for internal error on quantified expression [...] new 61285c4805b ada: Accept and analyze new aspect Exceptional_Cases
The 40 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/ada/aspects.ads | 5 + gcc/ada/contracts.adb | 18 +- gcc/ada/contracts.ads | 2 + gcc/ada/doc/gnat_rm.rst | 1 + gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 477 ++ .../doc/gnat_rm/implementation_defined_pragmas.rst | 316 +- .../building_executable_programs_with_gnat.rst | 23 +- gcc/ada/einfo-utils.adb | 1 + gcc/ada/einfo-utils.ads | 1 + gcc/ada/einfo.ads | 24 +- gcc/ada/errout.adb | 244 +- gcc/ada/exp_ch3.adb | 31 +- gcc/ada/exp_ch4.adb | 39 +- gcc/ada/exp_ch6.adb | 11 +- gcc/ada/exp_ch7.adb | 10 - gcc/ada/exp_ch9.adb | 35 +- gcc/ada/exp_disp.adb | 69 +- gcc/ada/exp_intr.adb | 27 + gcc/ada/exp_prag.adb | 48 + gcc/ada/exp_prag.ads | 4 + gcc/ada/freeze.adb | 2 +- gcc/ada/frontend.adb | 21 +- gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_entities.adb | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/gnat_rm.texi | 8206 ++++++++++---------- gcc/ada/gnat_ugn.texi | 27 +- gcc/ada/inline.adb | 12 +- gcc/ada/libgnarl/a-tasatt.adb | 51 +- gcc/ada/libgnarl/s-interr.adb | 36 +- gcc/ada/libgnarl/s-interr__hwint.adb | 36 +- gcc/ada/libgnarl/s-interr__sigaction.adb | 22 +- gcc/ada/libgnarl/s-interr__vxworks.adb | 36 +- gcc/ada/libgnarl/s-tasini.adb | 2 +- gcc/ada/libgnarl/s-taskin.ads | 9 +- gcc/ada/libgnarl/s-tataat.ads | 4 +- gcc/ada/libgnat/a-coinho__shared.adb | 4 - gcc/ada/libgnat/i-c.adb | 1 + gcc/ada/libgnat/i-cpoint.adb | 21 +- gcc/ada/libgnat/s-atacco.adb | 6 +- gcc/ada/libgnat/s-bituti.adb | 17 +- gcc/ada/libgnat/s-dwalin.adb | 12 +- gcc/ada/libgnat/s-mmap.adb | 2 +- gcc/ada/libgnat/s-regpat.adb | 2 +- gcc/ada/libgnat/s-statxd.adb | 8 +- gcc/ada/libgnat/s-stchop.adb | 5 +- gcc/ada/libgnat/s-stoele.adb | 101 +- gcc/ada/libgnat/s-stoele.ads | 36 +- gcc/ada/libgnat/s-stratt.ads | 4 +- gcc/ada/libgnat/s-valueu.adb | 10 +- gcc/ada/libgnat/s-vauspe.ads | 63 +- gcc/ada/par-ch3.adb | 7 +- gcc/ada/par-ch5.adb | 12 +- gcc/ada/par-prag.adb | 1 + gcc/ada/pprint.adb | 467 +- gcc/ada/scng.adb | 12 +- gcc/ada/sem_aggr.adb | 4 +- gcc/ada/sem_ch10.adb | 158 + gcc/ada/sem_ch11.adb | 12 +- gcc/ada/sem_ch12.adb | 30 +- gcc/ada/sem_ch13.adb | 58 +- gcc/ada/sem_ch3.adb | 3 +- gcc/ada/sem_ch4.adb | 8 +- gcc/ada/sem_ch6.adb | 7 + gcc/ada/sem_ch7.adb | 18 +- gcc/ada/sem_ch8.adb | 10 +- gcc/ada/sem_ch9.adb | 1 + gcc/ada/sem_disp.adb | 2 +- gcc/ada/sem_prag.adb | 445 +- gcc/ada/sem_prag.ads | 8 + gcc/ada/sem_res.adb | 35 +- gcc/ada/sem_util.adb | 35 +- gcc/ada/sem_util.ads | 13 +- gcc/ada/sinfo.ads | 9 +- gcc/ada/snames.ads-tmpl | 5 +- gcc/ada/style.ads | 12 +- gcc/ada/styleg.adb | 27 +- gcc/ada/styleg.ads | 11 +- gcc/ada/stylesw.adb | 146 +- gcc/ada/stylesw.ads | 5 + gcc/ada/usage.adb | 2 + 81 files changed, 6422 insertions(+), 5288 deletions(-) create mode 100644 gcc/ada/doc/gnat_rm/gnat_language_extensions.rst