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

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

from df78be05daf libiberty: Check zero value shstrndx in simple-object-elf.c new af34b1541d4 x86/AVX512: improve generated code for mask-to-vector-regis [...] new ec154f5bde2 [Ada] Fix binding of ghost units with finalizer new 583f62e9b77 [Ada] Issue error on SPARK ownership rule violation new 441fbb64d5d [Ada] Iterators are view-specific new 87b5a4e894a [Ada] Minor tweak to -gnatR output new 79ee9e76f05 [Ada] Eliminate redundant overflow checks for conversions f [...] new 0275bc7004e [Ada] Plug small loophole in Generate_Range_Check new dcccb125059 [Ada] Aspect CPU may depend on a discriminant of a task type

The 8 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/ChangeLog | 7 ++++ gcc/ada/ChangeLog | 59 ++++++++++++++++++++++++++++ gcc/ada/aspects.adb | 5 ++- gcc/ada/aspects.ads | 14 +++++++ gcc/ada/checks.adb | 70 +++++++++++++++++----------------- gcc/ada/exp_ch4.adb | 15 +++++--- gcc/ada/exp_ch7.adb | 7 ++++ gcc/ada/exp_dbug.adb | 8 ++++ gcc/ada/repinfo.adb | 12 +++--- gcc/ada/sem_ch13.adb | 2 + gcc/ada/sem_ch5.adb | 11 +++++- gcc/ada/sem_spark.adb | 63 +++++++++++++++++++++++------- gcc/ada/sem_spark.ads | 4 ++ gcc/config/i386/sse.md | 16 +++++--- gcc/testsuite/ChangeLog | 17 +++++++++ gcc/testsuite/gnat.dg/ghost6.adb | 10 +++++ gcc/testsuite/gnat.dg/ghost6_pkg.ads | 7 ++++ gcc/testsuite/gnat.dg/iter5.adb | 2 +- gcc/testsuite/gnat.dg/iter6.adb | 40 +++++++++++++++++++ gcc/testsuite/gnat.dg/range_check5.adb | 21 ++++++++++ gcc/testsuite/gnat.dg/task4.adb | 19 +++++++++ 21 files changed, 340 insertions(+), 69 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/ghost6.adb create mode 100644 gcc/testsuite/gnat.dg/ghost6_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/iter6.adb create mode 100644 gcc/testsuite/gnat.dg/range_check5.adb create mode 100644 gcc/testsuite/gnat.dg/task4.adb