This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from f3f39006f96 Daily bump. new e6453ff586d [Ada] Remove references to gcov from the User Manual new 062f0dee12a [Ada] Crash on case expression in build-in-place function new ab1679067c9 [Ada] Fix handling of inherited discriminant constraints new 374bca9c6c2 [Ada] Spurious error on unused Part_Of constituent new 3241bf7396b [Ada] Fix unnesting issues involving tasks new 44f3169cd36 [Ada] Minor refactoring: remove extra parentheses new e3e1c52598a [Ada] Attach the special GNATprove HEAP entity to the Stand [...]
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 | 55 +++ gcc/ada/doc/gnat_ugn/about_this_guide.rst | 2 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 100 +---- gcc/ada/einfo.adb | 2 +- gcc/ada/exp_ch6.adb | 27 +- gcc/ada/gnat_ugn.texi | 494 ++++++++------------- gcc/ada/lib-xref-spark_specific.adb | 1 + gcc/ada/sem_prag.adb | 19 +- gcc/ada/sem_util.adb | 130 ++++-- gcc/ada/sem_util.ads | 38 +- gcc/testsuite/ChangeLog | 8 + gcc/testsuite/gnat.dg/bip_case_expr.adb | 15 + gcc/testsuite/gnat.dg/bip_case_expr_pkg.ads | 7 + gcc/testsuite/gnat.dg/discr54.adb | 9 + gcc/testsuite/gnat.dg/discr54_pkg.ads | 105 +++++ 15 files changed, 550 insertions(+), 462 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/bip_case_expr.adb create mode 100644 gcc/testsuite/gnat.dg/bip_case_expr_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/discr54.adb create mode 100644 gcc/testsuite/gnat.dg/discr54_pkg.ads