This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 6e0725a99e5 [Ada] Makefile.rtl: add a warning about compilation flags new fb7f0b28d04 [Ada] Minimal binder new 1e5359c003a [Ada] Refactor ownership pointer checking in SPARK as a generic new f237e5eb6ed [Ada] Avoid spurious warning on assertions with Loop_Entry new 5083f1198f9 [Ada] Flip the meaning of debug switch -gnatdF new 85f6c73a6b4 [Ada] Avoid spurious errors on dimensionality checking in G [...] new 569032554b3 [Ada] Minor refactoring new 77fe13f03a8 [Ada] Use high-level wrappers for Lib.Units.Table
The 7 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 | 77 ++++ gcc/ada/bindgen.adb | 36 +- gcc/ada/bindusg.adb | 6 + gcc/ada/checks.adb | 2 +- gcc/ada/debug.adb | 9 +- .../building_executable_programs_with_gnat.rst | 11 +- gcc/ada/gnat1drv.adb | 8 - gcc/ada/gnat_ugn.texi | 19 + gcc/ada/gnatbind.adb | 11 + gcc/ada/lib-writ.adb | 6 +- gcc/ada/opt.ads | 6 + gcc/ada/sem.adb | 2 +- gcc/ada/sem_eval.adb | 49 ++- gcc/ada/sem_res.adb | 4 +- gcc/ada/sem_spark.adb | 413 ++++++++++++++------- gcc/ada/sem_spark.ads | 22 ++ gcc/ada/sem_util.adb | 2 + gcc/testsuite/ChangeLog | 4 + gcc/testsuite/gnat.dg/loop_entry1.adb | 13 + 19 files changed, 514 insertions(+), 186 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/loop_entry1.adb