This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 3087d1b0a2c Set bound/cmp/control for until wrap loop. new e690e0c287d [Ada] Mark gnatfind and gnatxref obsolete new ab857d1a3b4 [Ada] Change message format on missing return new d232417a883 [Ada] Make Ada.Task_Initialization compatible with No_Elabo [...] new c5ff859dc01 [Ada] Fix imprecise wording for error on scalar storage order new ec813d06f78 [Ada] Add -gnatX support for casing on array values new 26ece6eca7c [Ada] Generate temporary for if-expression with -fpreserve- [...] new 4a3cb9e3193 [Ada] Replace use of 'Image with use of Error_Msg_Uint new 2df3e43eb97 [Ada] VxWorks inconsistent use of return type (vx_freq_t) new 064056d7b54 [Ada] VxWorks inconsistent use of return type (Int_Unlock) new 81a0f4a391d [Ada] Fix obsolete comments/name referring to girder discriminants new 7e7c4aeb6e1 [Ada] Remove System.Img_Enum_New unit new e41e989b42c [Ada] Improve performance for case-insensitive regular expressions new 326b74705c2 [Ada] Allow more cases of import with Relaxed_RM_Semantics new cbf1ffe1252 [Ada] Fix access to predicated parent in Itype new 4b54d9393e2 [Ada] Removal of technical debt new 0b7ddfb9f13 [Ada] More precise analysis of function renamings in GNATprove new 8c61547d80c [Ada] Fix infinite loop in compilation of illegal code new f4f6c18d9f7 [Ada] Minor doc improvement new 920e43ee214 [Ada] Add Package_Body helper routine to be used in GNATprove new 27534649ab6 [Ada] VxWorks inconsistent use of return type (BOOL) new 5f325f5e6fd [Ada] Add adequate guard before calling First_Rep_Item new 1647bc2a78b [Ada] Contracts written for the Ada.Strings.Bounded library new 3d2226f1730 [Ada] More flexibility in preprocessor new ab621f4ada1 [Ada] VxWorks inconsistent use of return type (STATUS) new 9560e8430de [Ada] Update status of some attributes new 490a987e05d [Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not new c0471c61e1f [Ada] Fix conformance errors and erroneous code new 03b6cc3b3e6 [Ada] Spurious error on deferred constant with predicate new dfe93fd5f5a [Ada] Reuse routines for detecting attributes Old and Result new 0988829edde [Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof
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/ali-util.adb | 1 - gcc/ada/ali.adb | 20 +- gcc/ada/ali.ads | 6 - gcc/ada/aspects.ads | 2 +- gcc/ada/atree.adb | 10 +- gcc/ada/atree.ads | 1 + gcc/ada/clean.adb | 2 +- gcc/ada/contracts.adb | 6 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 14 +- .../doc/gnat_ugn/platform_specific_information.rst | 5 +- gcc/ada/einfo-utils.adb | 7 +- gcc/ada/einfo-utils.ads | 2 +- gcc/ada/einfo.ads | 16 +- gcc/ada/err_vars.ads | 17 +- gcc/ada/errout.adb | 20 +- gcc/ada/erroutc.adb | 48 +- gcc/ada/exp_aggr.adb | 6 +- gcc/ada/exp_ch4.adb | 43 +- gcc/ada/exp_ch5.adb | 147 +- gcc/ada/exp_ch7.adb | 8 +- gcc/ada/exp_ch9.adb | 10 +- gcc/ada/exp_disp.adb | 2 +- gcc/ada/exp_prag.adb | 16 +- gcc/ada/exp_smem.adb | 2 +- gcc/ada/exp_util.adb | 12 +- gcc/ada/freeze.adb | 51 +- gcc/ada/gcc-interface/Make-lang.in | 2 - gcc/ada/gnat_rm.texi | 16 +- gcc/ada/gnat_ugn.texi | 7 +- gcc/ada/gnatbind.adb | 2 - gcc/ada/gnatfind.adb | 5 + gcc/ada/gnatlink.adb | 1 - gcc/ada/gnatls.adb | 1 - gcc/ada/gnatxref.adb | 5 + gcc/ada/libgnarl/a-tasini.adb | 12 +- gcc/ada/libgnarl/a-tasini.ads | 3 +- gcc/ada/libgnarl/s-interr__vxworks.adb | 37 +- gcc/ada/libgnarl/s-osinte__vxworks.adb | 18 +- gcc/ada/libgnarl/s-osinte__vxworks.ads | 86 +- gcc/ada/libgnarl/s-taprop__vxworks.adb | 101 +- gcc/ada/libgnarl/s-taskin.ads | 8 - gcc/ada/libgnarl/s-tassta.adb | 9 + gcc/ada/libgnarl/s-vxwext.adb | 6 +- gcc/ada/libgnarl/s-vxwext.ads | 16 +- gcc/ada/libgnarl/s-vxwext__kernel-smp.adb | 20 +- gcc/ada/libgnarl/s-vxwext__kernel.adb | 20 +- gcc/ada/libgnarl/s-vxwext__kernel.ads | 26 +- gcc/ada/libgnarl/s-vxwext__rtp-smp.adb | 18 +- gcc/ada/libgnarl/s-vxwext__rtp.adb | 22 +- gcc/ada/libgnarl/s-vxwext__rtp.ads | 26 +- gcc/ada/libgnat/a-strbou.adb | 2 +- gcc/ada/libgnat/a-strbou.ads | 2074 +++++++++++++++-- gcc/ada/libgnat/a-strfix.adb | 2 +- gcc/ada/libgnat/a-strfix.ads | 71 +- gcc/ada/libgnat/a-strsea.ads | 6 +- gcc/ada/libgnat/a-strsup.adb | 1163 ++++++---- gcc/ada/libgnat/a-strsup.ads | 2383 +++++++++++++++++++- gcc/ada/libgnat/a-strunb.ads | 5 +- gcc/ada/libgnat/i-vxwork.ads | 9 +- gcc/ada/libgnat/i-vxwork__x86.ads | 9 +- gcc/ada/libgnat/s-imenne.adb | 170 -- gcc/ada/libgnat/s-imenne.ads | 85 - gcc/ada/libgnat/s-regpat.adb | 63 +- gcc/ada/make.adb | 4 +- gcc/ada/opt.ads | 16 - gcc/ada/osint-c.adb | 4 - gcc/ada/osint.adb | 6 +- gcc/ada/par_sco.adb | 23 +- gcc/ada/pprint.adb | 59 +- gcc/ada/prep.adb | 25 +- gcc/ada/repinfo.adb | 7 +- gcc/ada/scng.adb | 6 +- gcc/ada/sem_aggr.adb | 2 +- gcc/ada/sem_attr.adb | 10 +- gcc/ada/sem_aux.adb | 25 + gcc/ada/sem_aux.ads | 4 + gcc/ada/sem_case.adb | 337 ++- gcc/ada/sem_ch13.adb | 15 +- gcc/ada/sem_ch3.adb | 25 +- gcc/ada/sem_ch6.adb | 18 +- gcc/ada/sem_ch8.adb | 11 +- gcc/ada/sem_elab.adb | 4 +- gcc/ada/sem_prag.adb | 6 +- gcc/ada/sem_prag.ads | 2 +- gcc/ada/sem_type.adb | 7 +- gcc/ada/sem_util.adb | 14 +- gcc/ada/sem_util.ads | 2 +- gcc/ada/snames.ads-tmpl | 8 +- 88 files changed, 6020 insertions(+), 1603 deletions(-) delete mode 100644 gcc/ada/libgnat/s-imenne.adb delete mode 100644 gcc/ada/libgnat/s-imenne.ads