This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from e479e8cdd2c 2019-07-22 Richard Biener rguenther@suse.de new 0b87f8cf192 [Ada] Fix internal error on array slice in loop and Loop_Invariant new 7c48993c0a1 [Ada] Spurious warning about a useless assignment new b5293e2d16e [Ada] Crash in C++ constructor without external and link name new 36167f09fc2 [Ada] Incorrect values in conversion from fixed-point subty [...] new a51cd2a2318 [Ada] Ensure Ctrl-C is not emited on terminated processes new a7f20f4b03c [Ada] Fix spurious loop warning for function with Out parameter new 3474a75e77a [Ada] Fix wrong assumption on bounds in GNAT.Encode_String new f930ed433fd [Ada] Ensure meaningless digits in a string are discarded new 9b8341e7b82 [Ada] Fix missing Constraint_Error for Enum_Val attribute new e6368760e65 [Ada] Internal error on iterator for limited private discri [...] new 37f1cae96b8 [Ada] Premature finalization of controlled temporaries in c [...] new d5dbc1bbd1b [Ada] Further fix non-stored discriminant in aggregate for [...] new 9c6c2b81e5b [Ada] Type inconsistency in floating_point type declarations new 3eb44c27497 [Ada] Spurious error on private subtype of derived access type new c1eeb1c62e8 [Ada] Remove obsolete Is_For_Access_Subtype machinery new 592e600ad0b [Ada] Fix spurious visibility error for tagged type with inlining new b0da310b26a [Ada] Issue warning or error message on ignored typing constraint new 9bf70d945b2 [Ada] Usage of signed type in array bounds in CCG new e869060dcfd [Ada] Misleading warning on variable not assigned new 76ed386da40 [Ada] Optimization loses exception in improper use of 'Value new 8c6eab72557 [Ada] Beef up comment in exp_attr.adb new 0ff5a50245e [Ada] Small enhancement to the -gnatD/-gnatG output for fix [...] new 9af8c78a206 [Ada] Spurious error passing access to class-wide interface type new 39cdd055bef [Ada] Sprint: fix pasto in comment new 72c474b5023 [Ada] Overhaul code implementing conversions involving fixe [...] new 30cf324b1c4 [Ada] Adapt ownership checking in SPARK to traversal functions new aeb4eb1761b [Ada] Remove misleading warning/suggestion in membership test new bb8b9752c9f [Ada] Fix missing check for no-op conversion to fixed-point type new da90894aeb4 [Ada] Sinfo: update doc about Do_Division/Overlflow/Range_Check new e15987965d0 [Ada] More complete information level for -gnatR4 output
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/ChangeLog | 236 ++++++++++++++ gcc/ada/checks.adb | 5 +- gcc/ada/einfo.adb | 14 - gcc/ada/einfo.ads | 11 - gcc/ada/exp_attr.adb | 93 ++---- gcc/ada/exp_ch4.adb | 440 ++++++++++++++++----------- gcc/ada/exp_ch5.adb | 23 +- gcc/ada/exp_spark.adb | 6 - gcc/ada/freeze.adb | 26 ++ gcc/ada/libgnat/g-encstr.adb | 8 +- gcc/ada/libgnat/g-exptty.adb | 51 +++- gcc/ada/libgnat/g-exptty.ads | 14 +- gcc/ada/libgnat/s-imenne.adb | 9 +- gcc/ada/libgnat/s-valboo.ads | 2 +- gcc/ada/libgnat/s-valcha.ads | 2 +- gcc/ada/libgnat/s-valdec.ads | 2 +- gcc/ada/libgnat/s-valenu.ads | 2 +- gcc/ada/libgnat/s-valint.ads | 2 +- gcc/ada/libgnat/s-vallld.ads | 2 +- gcc/ada/libgnat/s-vallli.ads | 2 +- gcc/ada/libgnat/s-valllu.ads | 2 +- gcc/ada/libgnat/s-valrea.adb | 98 +++--- gcc/ada/libgnat/s-valrea.ads | 2 +- gcc/ada/libgnat/s-valuns.ads | 2 +- gcc/ada/libgnat/s-valwch.ads | 2 +- gcc/ada/repinfo.adb | 7 + gcc/ada/sem_aggr.adb | 43 ++- gcc/ada/sem_ch3.adb | 183 +++++------ gcc/ada/sem_ch4.adb | 13 +- gcc/ada/sem_ch8.adb | 22 +- gcc/ada/sem_res.adb | 30 +- gcc/ada/sem_spark.adb | 223 ++++++++++++-- gcc/ada/sem_warn.adb | 13 +- gcc/ada/sinfo.ads | 43 ++- gcc/ada/sprint.adb | 91 ++++-- gcc/ada/sprint.ads | 2 +- gcc/ada/terminals.c | 45 ++- gcc/testsuite/ChangeLog | 65 ++++ gcc/testsuite/gnat.dg/class_wide5.adb | 11 + gcc/testsuite/gnat.dg/cpp_constructor2.adb | 19 ++ gcc/testsuite/gnat.dg/encode_string1.adb | 48 +++ gcc/testsuite/gnat.dg/encode_string1_pkg.adb | 15 + gcc/testsuite/gnat.dg/encode_string1_pkg.ads | 6 + gcc/testsuite/gnat.dg/enum_val1.adb | 22 ++ gcc/testsuite/gnat.dg/fixedpnt6.adb | 21 ++ gcc/testsuite/gnat.dg/float_value1.adb | 46 +++ gcc/testsuite/gnat.dg/inline17.adb | 10 + gcc/testsuite/gnat.dg/inline17_pkg1.adb | 15 + gcc/testsuite/gnat.dg/inline17_pkg1.ads | 7 + gcc/testsuite/gnat.dg/inline17_pkg2.ads | 10 + gcc/testsuite/gnat.dg/inline17_pkg3.adb | 14 + gcc/testsuite/gnat.dg/inline17_pkg3.ads | 16 + gcc/testsuite/gnat.dg/iter5.adb | 10 + gcc/testsuite/gnat.dg/iter5_pkg.ads | 127 ++++++++ gcc/testsuite/gnat.dg/loop_invariant1.adb | 15 + gcc/testsuite/gnat.dg/loop_invariant1.ads | 7 + gcc/testsuite/gnat.dg/opt80.adb | 15 + gcc/testsuite/gnat.dg/warn22.adb | 34 +++ gcc/testsuite/gnat.dg/warn23.adb | 17 ++ gcc/testsuite/gnat.dg/warn24.adb | 15 + gcc/testsuite/gnat.dg/warn25.adb | 23 ++ gcc/testsuite/gnat.dg/warn26.adb | 20 ++ 62 files changed, 1804 insertions(+), 575 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/class_wide5.adb create mode 100644 gcc/testsuite/gnat.dg/cpp_constructor2.adb create mode 100644 gcc/testsuite/gnat.dg/encode_string1.adb create mode 100644 gcc/testsuite/gnat.dg/encode_string1_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/encode_string1_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/enum_val1.adb create mode 100644 gcc/testsuite/gnat.dg/fixedpnt6.adb create mode 100644 gcc/testsuite/gnat.dg/float_value1.adb create mode 100644 gcc/testsuite/gnat.dg/inline17.adb create mode 100644 gcc/testsuite/gnat.dg/inline17_pkg1.adb create mode 100644 gcc/testsuite/gnat.dg/inline17_pkg1.ads create mode 100644 gcc/testsuite/gnat.dg/inline17_pkg2.ads create mode 100644 gcc/testsuite/gnat.dg/inline17_pkg3.adb create mode 100644 gcc/testsuite/gnat.dg/inline17_pkg3.ads create mode 100644 gcc/testsuite/gnat.dg/iter5.adb create mode 100644 gcc/testsuite/gnat.dg/iter5_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/loop_invariant1.adb create mode 100644 gcc/testsuite/gnat.dg/loop_invariant1.ads create mode 100644 gcc/testsuite/gnat.dg/opt80.adb create mode 100644 gcc/testsuite/gnat.dg/warn22.adb create mode 100644 gcc/testsuite/gnat.dg/warn23.adb create mode 100644 gcc/testsuite/gnat.dg/warn24.adb create mode 100644 gcc/testsuite/gnat.dg/warn25.adb create mode 100644 gcc/testsuite/gnat.dg/warn26.adb