This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from bc9aa450eb4 forwprop: Fix a typo and comment formatting new bc17882341b [Ada] Enable current value propagation within pragma expressions new 7cff43618e6 [Ada] Check token to be "access", reject it if not new 8fc021c0988 [Ada] Fix documentation of using attribute Loop_Entry in pragmas new a08f366ae87 [Ada] Implement calls to abstract subprograms in class-wide [...] new d4090614041 [Ada] Use Actions field of freeze nodes for subprograms new c30e5ab027a [Ada] Spurious error on subprogram with class-wide preconditions new 6c72dc7d602 [Ada] Crash freezing declaration that will raise constraint error new 87a65584247 [Ada] Remove superfluous call to Original_Node new e2f7d58cda6 [Ada] Streamline implementation of Has_Compatible_Representation new d678717ab23 [Ada] Deal with derived record types in Has_Compatible_Repr [...] new 83bfddac6fe [Ada] Initialize Compiler_State to avoid Constraint_Error new 98208e364c1 [Ada] Typo fix in finalization comment new 6e2d6b8e8ea [Ada] Don't create calls to Abort_Undefer when not Abort_Allowed new c21a0097b63 [Ada] Allow 'Reduce with -gnat2022 new 27b2b83bd7c [Ada] Take full view of private type new ca3e565395b [Ada] Fix bogus visibility error with partially parameteriz [...] new a2bcadcef01 [Ada] Generic binary search implementation new b81c9e4f9f4 [Ada] Output.w always writes to stderr new 80d1067508d [Ada] Requires_Cleanup_Actions and N_Protected_Body new 42fe7c9a809 [Ada] Fix small glitch in Expand_N_Full_Type_Declaration new 5dbb65676f9 [Ada] Fix Forced sign flag in formatted string new 5c44da007b4 [Ada] Fix insertion of declaration inside quantified expression new 26b0b2ddf4a [Ada] GNAT.Binary_Search is not internal new f2ef7a0545d [Ada] Cleanups related to front-end SJLJ new 867bf6f087e [Ada] Provide allocation subtype for allocators of a Design [...] new 3c802e97495 [Ada] Allow inlining for proof inside generics new 5ab656c5e90 [Ada] Enhance the warning on C enum with size clause for si [...] new a51b6016c96 [Ada] CUDA: remove code performing kernel registration new de0665fc7f1 [Ada] Subprogram renaming fails to hide homograph new 33400df641d [Ada] Restore defensive guard in checks for volatile actuals
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 | 1 + gcc/ada/contracts.adb | 14 +- gcc/ada/contracts.ads | 33 ++ .../gnat_rm/implementation_defined_attributes.rst | 11 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 12 + gcc/ada/exp_ch11.adb | 2 - gcc/ada/exp_ch13.adb | 14 +- gcc/ada/exp_ch2.adb | 7 - gcc/ada/exp_ch3.adb | 3 +- gcc/ada/exp_ch4.adb | 24 + gcc/ada/exp_ch5.adb | 4 +- gcc/ada/exp_ch6.adb | 27 +- gcc/ada/exp_ch7.adb | 16 +- gcc/ada/exp_ch9.adb | 4 +- gcc/ada/exp_prag.adb | 8 +- gcc/ada/exp_spark.adb | 7 +- gcc/ada/exp_util.adb | 1 - gcc/ada/exp_util.ads | 4 +- gcc/ada/fe.h | 18 - gcc/ada/freeze.adb | 32 +- gcc/ada/gcc-interface/trans.cc | 5 + gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/gnat_cuda.adb | 490 --------------------- gcc/ada/gnat_cuda.ads | 21 +- gcc/ada/gnat_rm.texi | 363 +++++++-------- gcc/ada/impunit.adb | 1 + gcc/ada/inline.adb | 76 +++- gcc/ada/inline.ads | 9 + gcc/ada/lib.ads | 2 +- gcc/ada/libgnat/g-binsea.adb | 123 ++++++ gcc/ada/libgnat/g-binsea.ads | 93 ++++ gcc/ada/libgnat/g-forstr.adb | 2 +- gcc/ada/opt.ads | 7 +- gcc/ada/output.adb | 46 +- gcc/ada/par-ch3.adb | 8 + gcc/ada/sem_attr.adb | 6 +- gcc/ada/sem_attr.ads | 7 - gcc/ada/sem_ch11.adb | 10 +- gcc/ada/sem_ch12.adb | 239 ++++++---- gcc/ada/sem_ch12.ads | 4 + gcc/ada/sem_ch13.adb | 63 ++- gcc/ada/sem_ch13.ads | 11 +- gcc/ada/sem_ch3.adb | 4 +- gcc/ada/sem_ch5.adb | 4 +- gcc/ada/sem_ch6.adb | 16 + gcc/ada/sem_ch7.adb | 8 +- gcc/ada/sem_ch8.adb | 25 ++ gcc/ada/sem_elab.adb | 2 +- gcc/ada/sem_res.adb | 3 +- gcc/ada/sinfo.ads | 79 ++-- 51 files changed, 1004 insertions(+), 969 deletions(-) create mode 100644 gcc/ada/libgnat/g-binsea.adb create mode 100644 gcc/ada/libgnat/g-binsea.ads