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

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

from 60ab3d0f2d9 Fix internal error with vectorization on SPARC new 0e38fbfe141 [Ada] Simplify conversion from Character to Char_Code new 3d9e2004fe4 [Ada] Fix comment about building names in task arrays new a445a8692c4 [Ada] Failure compiling "for ... of" loop over a slice new 5046228671e [Ada] Fix incorrect range computation new d979a676fde [Ada] Replace variables with constants in expanded code for [...] new 3ad8cac4709 [Ada] Reject numeric literals with too big exponents new 53f2aaf0b3c [Ada] Avoid repeated conversions from Int to Char_Code new 6798cad793d [Ada] Fix oversight for case expression in Eval_Integer_Literal new 7f8053225de [Ada] Fix hiding of user-defined operator that is not a homograph new 336ea8f2d6e [Ada] Proof of System.Val_Int at gold level new d89d9ecceb5 [Ada] Accept Structural in aspect Subprogram_Variant and pr [...] new cfcc53801bd [Ada] Fix indentation to follow uniform style across runtime units new 69d701fb15e [Ada] Fix typo in comment for Is_Predicate_Static new 850bf074c5f [Ada] Fix a couple of typos new 469688bfee8 [Ada] Check if- and case-expressions for unset references new 3a978538036 [Ada] Check declare and qualified expressions for unset references new d421523a42d [Ada] Refine iteration from entities to formals new ea22ec90df9 [Ada] Cleanup unnecessary declare block in Check_Unreachable_Code new 8cec0688df7 [Ada] Remove tiny and incomplete optimization for unset references new 35f10dc0402 [Ada] Prevent search for references in postconditions from [...] new b814f0bdf1c [Ada] Cleanup detection of No_Elist with No and Present new d118bc58f56 [Ada] Reuse Is_Rewrite_Substitution where possible new ce63a97b518 [Ada] Fix style in resolution of expression with actions new 45c4d9193dd [Ada] Remove repeated conversions between Source_Ptr and Int new d5e6a22b54b [Ada] Simplify call to overloaded Earlier_In_Extended_Unit new a77ab90ed3a [Ada] Incorrect ineffective use type clause warning new 81d33c5c921 [Ada] Handle non-standard booleans in if_expression condition new bf687b80854 [Ada] Optimize nonstandard boolean conversions new 3b3bd801520 [Ada] Optimize nonstandard boolean validity checking new 37083a8d9c6 [Ada] Export Is_Expression_Function predicate for use in gigi

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/atree.adb | 2 +- gcc/ada/checks.adb | 53 ++++-- gcc/ada/cstand.adb | 8 +- .../gnat_rm/implementation_defined_attributes.rst | 2 +- .../doc/gnat_ugn/the_gnat_compilation_model.rst | 4 +- gcc/ada/exp_aggr.adb | 18 +- gcc/ada/exp_attr.adb | 6 +- gcc/ada/exp_ch11.adb | 6 +- gcc/ada/exp_ch4.adb | 41 +++-- gcc/ada/exp_ch5.adb | 2 +- gcc/ada/exp_ch6.adb | 2 +- gcc/ada/exp_ch9.adb | 2 +- gcc/ada/exp_prag.adb | 29 +-- gcc/ada/exp_util.adb | 43 +++-- gcc/ada/fe.h | 4 +- gcc/ada/ghost.adb | 2 +- gcc/ada/gnat_cuda.adb | 12 +- gcc/ada/gnat_rm.texi | 2 +- gcc/ada/gnat_ugn.texi | 7 +- gcc/ada/libgnat/s-dwalin.adb | 5 +- gcc/ada/libgnat/s-valint.ads | 27 ++- gcc/ada/libgnat/s-vallli.ads | 31 +++- gcc/ada/libgnat/s-valllli.ads | 31 +++- gcc/ada/libgnat/s-valuei.adb | 57 +++++- gcc/ada/libgnat/s-valuei.ads | 171 +++++++++++++++++- gcc/ada/par-ch10.adb | 2 +- gcc/ada/scng.adb | 15 +- gcc/ada/sem_ch12.adb | 2 +- gcc/ada/sem_ch13.adb | 2 +- gcc/ada/sem_ch3.adb | 24 +-- gcc/ada/sem_ch4.adb | 2 +- gcc/ada/sem_ch5.adb | 200 ++++++++++----------- gcc/ada/sem_ch6.adb | 28 +-- gcc/ada/sem_ch8.adb | 181 ++++++++----------- gcc/ada/sem_eval.adb | 2 +- gcc/ada/sem_prag.adb | 61 +++++-- gcc/ada/sem_res.adb | 120 ++++--------- gcc/ada/sem_type.adb | 9 +- gcc/ada/sem_util.adb | 40 +++-- gcc/ada/sem_util.ads | 2 + gcc/ada/sem_warn.adb | 26 ++- gcc/ada/sinfo-utils.adb | 4 +- gcc/ada/snames.ads-tmpl | 1 + gcc/ada/stringt.adb | 2 +- gcc/ada/treepr.adb | 4 +- gcc/testsuite/gnat.dg/equal7.adb | 10 +- gcc/testsuite/gnat.dg/loopvar.adb | 2 +- 47 files changed, 799 insertions(+), 507 deletions(-)