This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from b7bd88335b6 Fix Ada comparison failure on SPARC new df1c131aa64 [Ada] Fix incorrect Do_Range_Check on type conversion new e54cffd1c26 [Ada] Fix missing range check for In/Out parameter with -gnatVa new a8bcbb37b98 [Ada] Add special bypass for obsolete code pattern new 9f49d9e6c94 [Ada] Plug small loophole in Discrete_Range_Check new 1ca535aeda4 [Ada] VxWorks: call s-tpopsp.Self only when needed new ab16206d2f8 [Ada] Extended traversal subprograms for GNATprove new 138c6242e6a [Ada] Fix leak of Do_Range_Check flag in -gnatVa mode new 86d280c6704 [Ada] Sprint: minor comment tweak new 809a3252250 [Ada] Eliminate redundant range checks on conversions new 0175b8fe6ec [Ada] Inconsistent compile time Constraint_Error warning new f8ca05f5efe [Ada] SPARK: disable expansion of Enum_Rep new 65566aa476d [Ada] More precise handling of Size/Object_Size in GNATprove new f50cb3de1b6 [Ada] Adapt new extended traversal of AST to have optional part new adb8ac816f8 [Ada] New aspect/pragma No_Caching for analysis of volatile data new a6b48bfe038 [Ada] Suppress_Initialization not respected for private subtypes new cc87412be2f [Ada] Improve error message for Object_Size clause on dynam [...] new cee17a56b74 [Ada] Implement Ada.Directories.Hierarchical_File_Names new 759d145f46d [Ada] Minor cleanups in exception handling new 32b3786f9c2 [Ada] Improper error message on equality op with different [...] new 6f663d96587 [Ada] Hang on loop in generic with subtype indication speci [...] new d8f36b1a585 [Ada] Remove doc for language version switches new 91f3d9d458a [Ada] Prevent crash in Put_Scaled new f0bbb55a372 [Ada] Prevent crash in Is_Reachable new bb0246a6e8d [Ada] Do not suppress checks in instances of internal generics new 5d2fb1fafa9 [Ada] Fix internal error on comparison of unaligned slices new 99b6268db49 [Ada] Small comment tweaks for 3 predicates on bit-aligned [...] new 41765355381 [Ada] Crash on illegal left-hand side in assignment of rena [...] new fec0c7f6565 [Ada] Missing check on outbound parameter of a non-null acc [...] new 4b422b290f0 [Ada] New parameter Quiet for procedure GNAT.Command_Line.Getopt new a4ea964c564 [Ada] Fix IPv6 numeric address detection
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 | 245 ++++ gcc/ada/Makefile.rtl | 1 + gcc/ada/aspects.adb | 1 + gcc/ada/aspects.ads | 4 + gcc/ada/checks.adb | 24 +- gcc/ada/contracts.adb | 11 + gcc/ada/contracts.ads | 1 + .../doc/gnat_rm/implementation_defined_aspects.rst | 6 + .../doc/gnat_rm/implementation_defined_pragmas.rst | 15 + gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 95 +- gcc/ada/einfo.adb | 1 + gcc/ada/einfo.ads | 1 + gcc/ada/exp_attr.adb | 261 ++-- gcc/ada/exp_attr.ads | 5 + gcc/ada/exp_ch4.adb | 118 +- gcc/ada/exp_ch6.adb | 99 +- gcc/ada/exp_spark.adb | 37 +- gcc/ada/exp_util.adb | 42 +- gcc/ada/exp_util.ads | 54 +- gcc/ada/freeze.adb | 2 +- gcc/ada/gnat_rm.texi | 1435 ++++++++++---------- gcc/ada/libgnarl/s-taprop__vxworks.adb | 7 +- gcc/ada/libgnat/a-cbmutr.adb | 4 +- gcc/ada/libgnat/a-dhfina.adb | 332 +++++ gcc/ada/libgnat/a-dhfina.ads | 70 +- gcc/ada/libgnat/a-direct.adb | 94 +- gcc/ada/libgnat/a-einuoc.adb | 6 +- gcc/ada/libgnat/a-except.ads | 22 +- gcc/ada/libgnat/a-tifiio.adb | 2 +- gcc/ada/libgnat/g-comlin.adb | 23 +- gcc/ada/libgnat/g-comlin.ads | 4 +- gcc/ada/libgnat/g-socket.adb | 2 +- gcc/ada/par-prag.adb | 1 + gcc/ada/sem_ch12.adb | 20 +- gcc/ada/sem_ch13.adb | 18 +- gcc/ada/sem_ch5.adb | 7 +- gcc/ada/sem_ch6.adb | 17 +- gcc/ada/sem_eval.adb | 32 +- gcc/ada/sem_prag.adb | 34 +- gcc/ada/sem_prag.ads | 5 +- gcc/ada/sem_res.adb | 48 +- gcc/ada/sem_util.adb | 240 +++- gcc/ada/sem_util.ads | 27 +- gcc/ada/snames.ads-tmpl | 2 + gcc/ada/sprint.ads | 2 +- gcc/testsuite/ChangeLog | 39 + gcc/testsuite/gnat.dg/{access5.adb => equal10.adb} | 4 +- gcc/testsuite/gnat.dg/equal10.ads | 7 + gcc/testsuite/gnat.dg/generic_inst7.adb | 11 + gcc/testsuite/gnat.dg/generic_inst7_pkg.adb | 12 + gcc/testsuite/gnat.dg/generic_inst7_pkg.ads | 8 + gcc/testsuite/gnat.dg/generic_inst7_types.ads | 15 + gcc/testsuite/gnat.dg/no_caching.adb | 29 + gcc/testsuite/gnat.dg/no_caching.ads | 8 + gcc/testsuite/gnat.dg/null_check.adb | 19 + gcc/testsuite/gnat.dg/range_check6.adb | 28 + gcc/testsuite/gnat.dg/range_check7.adb | 22 + gcc/testsuite/gnat.dg/renaming15.adb | 32 + gcc/testsuite/gnat.dg/{array35.adb => slice10.adb} | 11 +- gcc/testsuite/gnat.dg/suppress_initialization2.adb | 5 + gcc/testsuite/gnat.dg/suppress_initialization2.ads | 13 + 61 files changed, 2555 insertions(+), 1185 deletions(-) create mode 100644 gcc/ada/libgnat/a-dhfina.adb copy gcc/testsuite/gnat.dg/{access5.adb => equal10.adb} (57%) create mode 100644 gcc/testsuite/gnat.dg/equal10.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst7.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst7_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/generic_inst7_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/generic_inst7_types.ads create mode 100644 gcc/testsuite/gnat.dg/no_caching.adb create mode 100644 gcc/testsuite/gnat.dg/no_caching.ads create mode 100644 gcc/testsuite/gnat.dg/null_check.adb create mode 100644 gcc/testsuite/gnat.dg/range_check6.adb create mode 100644 gcc/testsuite/gnat.dg/range_check7.adb create mode 100644 gcc/testsuite/gnat.dg/renaming15.adb copy gcc/testsuite/gnat.dg/{array35.adb => slice10.adb} (55%) create mode 100644 gcc/testsuite/gnat.dg/suppress_initialization2.adb create mode 100644 gcc/testsuite/gnat.dg/suppress_initialization2.ads