This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from fccc47dddc2 Avoid creating useless local bounds around calls new 5b4b66291f2 [Ada] Hashed container Cursor type predefined equality non- [...] new 4c118453c7c [Ada] Fix the Sphinx configuration and port it to Python3 new ce32ccfc25a [Ada] Bad handling of 'Valid_Scalars and arrays new 3cb4256addc [Ada] Remove unused subprograms new cbd743fe094 [Ada] Incorrect error with Default_Value on private/modular type new 7458323aa60 [Ada] Cleanups related to entry barrier conditions new 416d48eba3a [Ada] Extend compile-time evaluation in case statements to [...] new 75716ebc25b [Ada] Couple of adjustments for the sake of static analyzers new 3545103fa4c [Ada] Improve error message for ghost in predicate new ef1acd3f18b [Ada] Update reference with description of type resolution new 4ba1f7f65b4 [Ada] Remove double initialization of interpretation tables new df5f901ce89 [Ada] Incorrect discriminant check on call to access to subprogram new ff683f9f034 [Ada] Crash with declare expression used in a postcondition new bb60efc5c75 [Ada] Crash on inherited component in type extension in gen [...] new d2e59934c4f [Ada] AI12-0397: Default_Initial_Condition expressions for [...] new ae77b299e97 [Ada] Assert failure on complex code with private type and [...] new 9d5f3b7a694 [Ada] Use spans instead of locations for compiler diagnostics new 35e3a1f670d [Ada] Eliminate early roundoff error for Long_Long_Float on x86 new 43d51382270 [Ada] Simplify folding of selected components with qualifie [...] new 12e67086ad2 [Ada] More precise error about aspects conflicting with Static new 189c58042dd [Ada] Refactor repeated checks for the expression of aspect Static new 88fd22e721c [Ada] Consistent diagnostic on missing -gnat2020 switch for [...] new f358e5c1772 [Ada] Replace dubious use of Traverse_Func with Traverse_Proc new 894376c44d9 [Ada] Simplify data structures for overloaded interpretations new bed6154a5a6 [Ada] Install_Restricted_Handlers: define Prio parameter as [...] new 33d1be87395 [Ada] Remove redundant assignment in Formal_Is_Used_Once new 4e60fea9206 [Ada] Fix computation of Prec/Succ of zero without denormals new 5485d0e5569 [Ada] Fix recent optimization in evaluation of selected com [...] new ba344f1ba69 [Ada] Adjust List_Length description new f9d670128f6 [Ada] Style fixes related to calls to List_Length

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/.gitignore | 2 + gcc/ada/ali.adb | 474 +------------------------------ gcc/ada/ali.ads | 20 -- gcc/ada/doc/share/conf.py | 32 +-- gcc/ada/doc/share/gnat.sty | 72 +++++ gcc/ada/einfo.adb | 4 +- gcc/ada/errout.adb | 466 ++++++++++++++++++++++++------ gcc/ada/errout.ads | 38 ++- gcc/ada/erroutc.adb | 16 +- gcc/ada/erroutc.ads | 2 +- gcc/ada/errutil.adb | 4 +- gcc/ada/exp_attr.adb | 47 ++- gcc/ada/exp_ch3.adb | 44 ++- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_ch9.adb | 8 +- gcc/ada/exp_util.adb | 18 +- gcc/ada/fmap.ads | 5 +- gcc/ada/freeze.adb | 4 +- gcc/ada/ghost.adb | 50 ++++ gcc/ada/inline.adb | 20 +- gcc/ada/libgnarl/s-interr.adb | 2 +- gcc/ada/libgnarl/s-interr.ads | 2 +- gcc/ada/libgnarl/s-interr__dummy.adb | 2 +- gcc/ada/libgnarl/s-interr__hwint.adb | 2 +- gcc/ada/libgnarl/s-interr__sigaction.adb | 2 +- gcc/ada/libgnarl/s-interr__vxworks.adb | 2 +- gcc/ada/libgnat/a-cihama.adb | 4 +- gcc/ada/libgnat/a-cihama.ads | 14 + gcc/ada/libgnat/a-cohama.adb | 5 +- gcc/ada/libgnat/a-cohama.ads | 10 +- gcc/ada/libgnat/a-cohase.adb | 8 +- gcc/ada/libgnat/a-cohase.ads | 14 + gcc/ada/libgnat/i-cobol.adb | 2 +- gcc/ada/libgnat/s-fatgen.adb | 33 ++- gcc/ada/libgnat/s-valrea.adb | 104 +++++-- gcc/ada/libgnat/s-valuer.adb | 2 + gcc/ada/nlists.ads | 6 +- gcc/ada/par-ch3.adb | 4 +- gcc/ada/par-prag.adb | 40 +-- gcc/ada/par-util.adb | 2 +- gcc/ada/sem_aux.adb | 10 +- gcc/ada/sem_case.adb | 10 +- gcc/ada/sem_ch13.adb | 61 ++-- gcc/ada/sem_ch3.adb | 33 +-- gcc/ada/sem_ch4.adb | 11 +- gcc/ada/sem_ch5.adb | 4 +- gcc/ada/sem_disp.adb | 58 ++++ gcc/ada/sem_eval.adb | 34 ++- gcc/ada/sem_eval.ads | 3 +- gcc/ada/sem_prag.adb | 17 +- gcc/ada/sem_res.adb | 36 +++ gcc/ada/sem_res.ads | 2 +- gcc/ada/sem_type.adb | 167 ++++------- gcc/ada/sem_type.ads | 8 +- gcc/ada/sem_util.adb | 58 ++-- gcc/ada/stringt.ads | 2 +- gcc/ada/types.ads | 10 + gcc/testsuite/gnat.dg/containers2.adb | 158 +++++++++++ 58 files changed, 1307 insertions(+), 963 deletions(-) create mode 100644 gcc/ada/.gitignore create mode 100644 gcc/ada/doc/share/gnat.sty create mode 100644 gcc/testsuite/gnat.dg/containers2.adb