This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 9c3400bcca3 Daily bump. new 9071bbda3de [Ada] Refine conditions for calling Copy_Bitfield new a5b56635158 [Ada] Fix wrong value of 'Size for slices of bit-packed arrays new b7784fc1fd1 [Ada] Support for local unix sockets in GNAT.Sockets API new ecff36d37eb [Ada] Avoid touching potentially nonexistent memory new 9e81bac1157 [Ada] Adding assertions on extra formals for BIP function calls new 4ce8549f079 [Ada] Refine change for bit-packed slices new 9715b90b25b [Ada] PR ada/91268 Do not redefine macros new dff0aad9b5b [Ada] Ignore missing ALI files in GNATprove mode new 46ecc8a5655 [Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) new 7b5dc84129a [Ada] Missing tagged type decoration in corresponding recor [...] new 9dd1c8d4302 [Ada] In a generic use Presanalyze_Spec_Expression on Predicates new 2ae889fd75f [Ada] Do not inline dispatching operations in GNATprove mode new 97cc8a4da1a [Ada] A new utility routine for detecting attribute 'Old new 2dd49ac0d6b [Ada] Avoid to close irrelevant file descriptors new d1f82d5d9ad [Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times new 8d9292f4eb5 [Ada] Close file descriptors allocated for tty only once new 6cf7ff4ab26 [Ada] Remove section on pragma No_Run_Time new 3eafeaefc5e [Ada] Support chained calls to traversal functions in SPARK new 9b61281dbbd [Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals new cfd7a172891 [Ada] Clarify documentation for Stack_Usage new 660eeb420c5 [Ada] GNATprove: avoid crash on illegal borrow during packa [...] new fe6acfb6fde [Ada] Force even timestamp in Windows ALI files new 9d85974b8a7 [Ada] Fix possible suppressed overflows in arithmetic run-time new 817708cc350 [Ada] Raise Constraint_Error in overflow case involving rounding new fc9bc18acc4 [Ada] Minor fixes mostly in comments of runtime arithmetic unit new dc8d29f35c4 [Ada] Update the character type comment in exp_dbug.ads new 6448916b507 [Ada] Fix ineffective -gnatyN for separate compilation units new ff1def657fb [Ada] Missing propagation of Has_Predicates in cloned subtypes new d469d34f47d [Ada] Fix rounding of fixed-point arithmetic operation
The 29 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/ChangeLog | 227 ++++ gcc/ada/adaint.c | 6 + gcc/ada/ali-util.adb | 12 +- gcc/ada/ali-util.ads | 10 +- gcc/ada/ali.ads | 2 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 16 - .../doc/gnat_ugn/gnat_and_program_execution.rst | 5 +- gcc/ada/exp_attr.adb | 24 +- gcc/ada/exp_ch3.adb | 10 +- gcc/ada/exp_ch5.adb | 58 +- gcc/ada/exp_ch6.adb | 58 +- gcc/ada/exp_ch6.ads | 3 + gcc/ada/exp_dbug.ads | 17 +- gcc/ada/gnat_rm.texi | 1408 ++++++++++---------- gcc/ada/gnat_ugn.texi | 9 +- gcc/ada/gsocket.h | 1 + gcc/ada/inline.adb | 6 + gcc/ada/libgnat/g-expect.adb | 56 +- gcc/ada/libgnat/g-expect.ads | 4 + gcc/ada/libgnat/g-exptty.adb | 52 +- gcc/ada/libgnat/g-exptty.ads | 2 + gcc/ada/libgnat/g-socket.adb | 121 +- gcc/ada/libgnat/g-socket.ads | 45 +- gcc/ada/libgnat/g-sothco.adb | 72 +- gcc/ada/libgnat/g-sothco.ads | 55 +- gcc/ada/libgnat/s-arit64.adb | 85 +- gcc/ada/libgnat/s-bitfie.ads | 8 +- gcc/ada/libgnat/s-bituti.adb | 201 ++- gcc/ada/libgnat/s-stausa.ads | 5 + gcc/ada/make_util.ads | 2 +- gcc/ada/osint.adb | 17 +- gcc/ada/osint.ads | 3 + gcc/ada/s-oscons-tmplt.c | 18 + gcc/ada/sem.adb | 5 +- gcc/ada/sem_aggr.adb | 10 + gcc/ada/sem_ch13.adb | 2 +- gcc/ada/sem_ch3.adb | 28 +- gcc/ada/sem_ch4.adb | 4 +- gcc/ada/sem_ch6.adb | 3 +- gcc/ada/sem_spark.adb | 75 +- gcc/ada/sem_type.adb | 2 +- gcc/ada/sem_util.adb | 24 +- gcc/ada/sem_util.ads | 3 + gcc/ada/terminals.c | 4 +- gcc/testsuite/ChangeLog | 25 + gcc/testsuite/gnat.dg/expect3.adb | 33 + gcc/testsuite/gnat.dg/fixedpnt7.adb | 20 + gcc/testsuite/gnat.dg/limited4.adb | 58 + gcc/testsuite/gnat.dg/multfixed.adb | 24 + gcc/testsuite/gnat.dg/pack25.adb | 21 + gcc/testsuite/gnat.dg/predicate13.adb | 3 + gcc/testsuite/gnat.dg/predicate13.ads | 23 + 52 files changed, 1993 insertions(+), 992 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/expect3.adb create mode 100644 gcc/testsuite/gnat.dg/fixedpnt7.adb create mode 100644 gcc/testsuite/gnat.dg/limited4.adb create mode 100644 gcc/testsuite/gnat.dg/multfixed.adb create mode 100644 gcc/testsuite/gnat.dg/pack25.adb create mode 100644 gcc/testsuite/gnat.dg/predicate13.adb create mode 100644 gcc/testsuite/gnat.dg/predicate13.ads