This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 5b80069c7e6 Handle right shifts by zero in range-ops. new 00bccdf0488 [Ada] Simplify repeated calls with membership test new 5a36f3d9b86 [Ada] Simplify membership test for operators new b0fa1c68067 [Ada] Refine type of a local variable new 52ad13baa53 [Ada] Remove useless initialization and refine type of a lo [...] new e335bd2e6eb [Ada] Clean up support of square brackets new e40cb362d0b [Ada] Private type unexpectedly visible new c95f21001dc [Ada] AI12-0170: Abstract subprogram calls in class-wide pr [...] new b9d685922c7 [Ada] Crash in expression function defined in protected object new 8c8b92dcc8f [Ada] Ada2020: matching parentheses and brackets new 26349b6d9a4 [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types new fa366a96d00 [Ada] Clarify current design of Errout wrt global variable usage new 2e2e6cf16f9 [Ada] Simplify detection of by-copy types new b7fd8264143 [Ada] Fix typo in error message about contract cases new a6272b85b5f [Ada] Clarify protection offered by preconditions on Ada.Te [...] new 17ea7fad283 [Ada] No range check on fixed point to integer conversion new be8d605f16e [Ada] Reject use of Relaxed_Initialization on scalar/access [...] new b6bcca6dc18 [Ada] ACATS 4.1R - Exception missed new ec28faefe1f [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types new 08b0a5e2002 [Ada] Do not replace bounds for packed arrays that depend o [...] new 2bb7741fbee [Ada] Expanded names in ghost assignments new b0a16e6d4c9 [Ada] Implement initialization of CUDA runtime new 44ecd94cc7d [Ada] Wrong freezing for expression function with contracts [...] new 5f396397f6e [Ada] Compiler abort on in_out function parameter with type [...] new dc55492d635 [Ada] AI12-0352: Early derivation and equality of untagged types new 5ad0303141a [Ada] Alternative display of multi-line messages for GNATprove new e4a238d2830 [Ada] Remove excessive guards in building predicate functions new f1f877eea9b [Ada] Use alternate stack for signal handling on PowerPC/Linux new 84adfddd0e7 [Ada] Suppress warnings in expansion of "for ... of" loops new 86b3d0d55f9 [Ada] Missing check on array concatenation new c0bab60bb9d [Ada] Ada_2020: Implement Key_Expression for named containe [...]
The 30 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/Makefile.rtl | 2 +- gcc/ada/checks.adb | 7 +- gcc/ada/contracts.adb | 3 +- gcc/ada/debug.adb | 4 +- gcc/ada/errout.adb | 43 ++- gcc/ada/errout.ads | 13 +- gcc/ada/erroutc.adb | 9 +- gcc/ada/exp_aggr.adb | 82 ++++- gcc/ada/exp_attr.adb | 6 +- gcc/ada/exp_ch4.adb | 66 +++- gcc/ada/exp_ch6.adb | 33 +- gcc/ada/exp_put_image.adb | 4 +- gcc/ada/freeze.adb | 2 +- gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/ghost.adb | 135 +++++--- gcc/ada/gnat_cuda.adb | 586 +++++++++++++++++++++++++++++++++++ gcc/ada/gnat_cuda.ads | 107 +++++++ gcc/ada/inline.adb | 4 +- gcc/ada/lib-xref.adb | 31 ++ gcc/ada/lib-xref.ads | 13 +- gcc/ada/libgnat/a-cbdlli.adb | 26 ++ gcc/ada/libgnat/a-cbdlli.ads | 6 +- gcc/ada/libgnat/a-cbhama.adb | 31 ++ gcc/ada/libgnat/a-cbhama.ads | 7 +- gcc/ada/libgnat/a-cbhase.adb | 26 ++ gcc/ada/libgnat/a-cbhase.ads | 7 +- gcc/ada/libgnat/a-cbmutr.adb | 44 +++ gcc/ada/libgnat/a-cbmutr.ads | 6 +- gcc/ada/libgnat/a-cborma.adb | 31 ++ gcc/ada/libgnat/a-cborma.ads | 7 +- gcc/ada/libgnat/a-cborse.adb | 26 ++ gcc/ada/libgnat/a-cborse.ads | 7 +- gcc/ada/libgnat/a-cdlili.adb | 26 ++ gcc/ada/libgnat/a-cdlili.ads | 6 +- gcc/ada/libgnat/a-cidlli.adb | 29 ++ gcc/ada/libgnat/a-cidlli.ads | 6 +- gcc/ada/libgnat/a-cihama.adb | 31 ++ gcc/ada/libgnat/a-cihama.ads | 6 +- gcc/ada/libgnat/a-cihase.adb | 26 ++ gcc/ada/libgnat/a-cihase.ads | 6 +- gcc/ada/libgnat/a-cimutr.adb | 44 +++ gcc/ada/libgnat/a-cimutr.ads | 6 +- gcc/ada/libgnat/a-ciorma.adb | 31 ++ gcc/ada/libgnat/a-ciorma.ads | 6 +- gcc/ada/libgnat/a-ciormu.adb | 26 ++ gcc/ada/libgnat/a-ciormu.ads | 6 +- gcc/ada/libgnat/a-ciorse.adb | 26 ++ gcc/ada/libgnat/a-ciorse.ads | 6 +- gcc/ada/libgnat/a-coboho.adb | 15 + gcc/ada/libgnat/a-coboho.ads | 6 +- gcc/ada/libgnat/a-cobove.adb | 26 ++ gcc/ada/libgnat/a-cobove.ads | 6 +- gcc/ada/libgnat/a-cohama.adb | 31 ++ gcc/ada/libgnat/a-cohama.ads | 6 +- gcc/ada/libgnat/a-cohase.adb | 26 ++ gcc/ada/libgnat/a-cohase.ads | 6 +- gcc/ada/libgnat/a-coinho.adb | 17 + gcc/ada/libgnat/a-coinho.ads | 7 +- gcc/ada/libgnat/a-coinho__shared.adb | 17 + gcc/ada/libgnat/a-coinho__shared.ads | 7 +- gcc/ada/libgnat/a-coinve.adb | 29 ++ gcc/ada/libgnat/a-coinve.ads | 6 +- gcc/ada/libgnat/a-comutr.adb | 44 +++ gcc/ada/libgnat/a-comutr.ads | 6 +- gcc/ada/libgnat/a-coorma.adb | 31 ++ gcc/ada/libgnat/a-coorma.ads | 6 +- gcc/ada/libgnat/a-coormu.adb | 26 ++ gcc/ada/libgnat/a-coormu.ads | 6 +- gcc/ada/libgnat/a-coorse.adb | 26 ++ gcc/ada/libgnat/a-coorse.ads | 6 +- gcc/ada/libgnat/a-stoubu.adb | 16 +- gcc/ada/libgnat/a-stouut.adb | 3 +- gcc/ada/libgnat/a-stouut.ads | 5 +- gcc/ada/libgnat/a-strunb.adb | 10 + gcc/ada/libgnat/a-strunb.ads | 7 +- gcc/ada/libgnat/a-strunb__shared.adb | 10 + gcc/ada/libgnat/a-strunb__shared.ads | 6 +- gcc/ada/libgnat/a-stteou.ads | 12 +- gcc/ada/libgnat/a-textio.ads | 5 +- gcc/ada/libgnat/s-putima.adb | 5 + gcc/ada/libgnat/s-putima.ads | 8 +- gcc/ada/par-ch4.adb | 56 ++-- gcc/ada/par-tchk.adb | 14 + gcc/ada/par.adb | 1 + gcc/ada/rtsfind.adb | 9 +- gcc/ada/rtsfind.ads | 18 ++ gcc/ada/scng.adb | 13 +- gcc/ada/sem_aggr.adb | 108 +++++-- gcc/ada/sem_ch13.adb | 31 +- gcc/ada/sem_ch4.adb | 1 + gcc/ada/sem_ch6.adb | 21 +- gcc/ada/sem_ch7.adb | 27 ++ gcc/ada/sem_ch8.adb | 241 +++++++------- gcc/ada/sem_ch8.ads | 6 +- gcc/ada/sem_disp.adb | 8 +- gcc/ada/sem_prag.adb | 6 +- gcc/ada/sem_res.adb | 18 +- gcc/ada/sem_util.adb | 28 +- gcc/ada/sem_util.ads | 3 + 99 files changed, 2324 insertions(+), 390 deletions(-) create mode 100644 gcc/ada/gnat_cuda.adb create mode 100644 gcc/ada/gnat_cuda.ads