This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 7d26f1310f3 * tree-core.h (enum omp_clause_code): Add OMP_CLAUSE__SCAN [...] new 371c539c100 [Ada] Exp_Attr: remove dead code new 5a87a4d9607 [Ada] Document that boolean types with convention C now map [...] new 78611c86573 [Ada] Spurious error on predicate of subtype in generic new c336ed705d8 [Ada] Clarify wording on documentation for No_Multiple_Elaboration new 2f65e9f7788 [Ada] Missing consistency check for constant modifier new f4a31b16cb7 [Ada] Do not consider inlined subprograms when generating C code new f3e16ef4ee1 [Ada] Add a gnatbind option to generate C code new 6d6f134ec54 [Ada] Update the section on resolving elaboration circularities new c38b32ea453 [Ada] Make loop labels unique for front-end inlined calls new c8406f30f39 [Ada] Fix bogus error on array with overaligned scalar component new 0396441f50c [Ada] Spurious error on dynamic predicate in a generic context new 08237d0defb [Ada] Spell "laid" correctly new 2c75027ad96 [Ada] Extend -gnatw.z warning to array types new 800597f6d2b [Ada] Style check for mixed-case identifiers new 99d90c850de [Ada] Minor reformatting new f3f142ac910 [Ada] Spurious error with static predicate in generic unit new df177848692 [Ada] SPARK pointer support extended to local borrowers and [...] new 5f71d12c857 [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 new 17b5260dc4a [Ada] Document default new-line behavior for GNATpp new 2ccf6539224 [Ada] Improve warnings about infinite loops new 8699de72dce [Ada] Minor editorial corrections and reformatting new d044ba5cd88 [Ada] Spurious visibility error in inlined function new f8e6d133f9f [Ada] Refine pointer support in SPARK new 23e7fc9b6f4 [Ada] Incorrect expansion on renamings of formal parameters new d4f28933913 [Ada] Crash on front-end inlining of subp. with aspect spec [...] new f2a8d64edc1 [Ada] New routine to access file on command line new 9ad42832466 [Ada] Suppress warnings in generic instantiations with prag [...] new 01e6eb2fc0f [Ada] Crash on anonymous access-to-class-wide with tasks new 877ad320723 [Ada] Forced elaboration order in Elaboration order v4.0 new d60fa3c9d00 [Ada] Document new flags in GNATpp
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 | 386 + gcc/ada/ali.adb | 744 +- gcc/ada/ali.ads | 316 + gcc/ada/binde.adb | 306 +- gcc/ada/binde.ads | 14 - gcc/ada/bindgen.adb | 10 +- gcc/ada/bindgen.ads | 3 +- gcc/ada/bindo-augmentors.adb | 372 + gcc/ada/{butil.ads => bindo-augmentors.ads} | 70 +- gcc/ada/bindo-builders.adb | 748 + gcc/ada/{clean.ads => bindo-builders.ads} | 46 +- gcc/ada/{osint-m.adb => bindo-diagnostics.adb} | 68 +- gcc/ada/{live.ads => bindo-diagnostics.ads} | 45 +- gcc/ada/bindo-elaborators.adb | 1418 ++ gcc/ada/{bindgen.ads => bindo-elaborators.ads} | 43 +- gcc/ada/bindo-graphs.adb | 2886 +++ gcc/ada/bindo-graphs.ads | 1248 ++ gcc/ada/bindo-units.adb | 410 + gcc/ada/bindo-units.ads | 154 + gcc/ada/bindo-validators.adb | 679 + gcc/ada/bindo-validators.ads | 95 + gcc/ada/bindo-writers.adb | 1333 ++ gcc/ada/bindo-writers.ads | 125 + gcc/ada/bindo.adb | 287 + gcc/ada/{exp_ch13.ads => bindo.ads} | 27 +- gcc/ada/bindusg.adb | 5 + gcc/ada/butil.adb | 521 + gcc/ada/butil.ads | 53 +- gcc/ada/debug.adb | 198 +- .../doc/gnat_rm/interfacing_to_other_languages.rst | 6 +- ...ard_and_implementation_defined_restrictions.rst | 17 +- .../building_executable_programs_with_gnat.rst | 23 +- .../elaboration_order_handling_in_gnat.rst | 14 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 39 +- gcc/ada/einfo.ads | 4 +- gcc/ada/erroutc.adb | 30 +- gcc/ada/exp_attr.adb | 103 - gcc/ada/exp_util.adb | 18 +- gcc/ada/exp_util.ads | 4 - gcc/ada/freeze.adb | 25 +- gcc/ada/gcc-interface/Make-lang.in | 17 +- gcc/ada/gnat_rm.texi | 38 +- gcc/ada/gnat_ugn.texi | 43 +- gcc/ada/gnatbind.adb | 16 +- gcc/ada/inline.adb | 362 +- gcc/ada/layout.adb | 10 +- gcc/ada/layout.ads | 2 +- gcc/ada/lib-writ.adb | 372 + gcc/ada/lib-writ.ads | 88 + gcc/ada/libgnat/g-dynhta.adb | 54 + gcc/ada/libgnat/g-dynhta.ads | 11 + gcc/ada/libgnat/g-graphs.adb | 94 +- gcc/ada/libgnat/g-graphs.ads | 69 +- gcc/ada/libgnat/g-sets.adb | 2 +- gcc/ada/namet.adb | 27 + gcc/ada/namet.ads | 12 + gcc/ada/opt.ads | 4 +- gcc/ada/osint.adb | 9 + gcc/ada/osint.ads | 3 + gcc/ada/par-ch3.adb | 6 +- gcc/ada/rtsfind.ads | 2 +- gcc/ada/sem_ch12.adb | 61 +- gcc/ada/sem_ch13.adb | 34 +- gcc/ada/sem_ch3.adb | 13 +- gcc/ada/sem_ch6.adb | 8 +- gcc/ada/sem_ch7.adb | 14 +- gcc/ada/sem_ch8.adb | 46 +- gcc/ada/sem_elab.adb | 20613 +++++++++++-------- gcc/ada/sem_elab.ads | 81 +- gcc/ada/sem_prag.adb | 11 + gcc/ada/sem_spark.adb | 922 +- gcc/ada/sem_util.adb | 123 +- gcc/ada/sem_util.ads | 8 + gcc/ada/sem_warn.adb | 13 +- gcc/ada/sinfo.adb | 46 +- gcc/ada/sinfo.ads | 85 +- gcc/ada/style.ads | 4 + gcc/ada/styleg.adb | 25 + gcc/ada/styleg.ads | 5 + gcc/ada/stylesw.adb | 8 + gcc/ada/stylesw.ads | 4 + gcc/ada/switch-b.adb | 95 +- gcc/testsuite/ChangeLog | 44 + gcc/testsuite/gnat.dg/alignment14.adb | 17 + gcc/testsuite/gnat.dg/inline15.adb | 11 + gcc/testsuite/gnat.dg/inline15_gen.adb | 27 + gcc/testsuite/gnat.dg/inline15_gen.ads | 11 + gcc/testsuite/gnat.dg/inline15_types.ads | 17 + gcc/testsuite/gnat.dg/inline16.adb | 26 + gcc/testsuite/gnat.dg/inline16_gen.adb | 16 + gcc/testsuite/gnat.dg/inline16_gen.ads | 9 + gcc/testsuite/gnat.dg/inline16_types.ads | 7 + gcc/testsuite/gnat.dg/predicate4.adb | 19 + gcc/testsuite/gnat.dg/predicate4_pkg.ads | 16 + .../gnat.dg/{expr_func2.adb => predicate5.adb} | 4 +- gcc/testsuite/gnat.dg/predicate5.ads | 17 + .../gnat.dg/{freezing1.adb => predicate6.adb} | 4 +- gcc/testsuite/gnat.dg/predicate6.ads | 10 + gcc/testsuite/gnat.dg/renaming13.adb | 21 + gcc/testsuite/gnat.dg/renaming14.adb | 32 + gcc/testsuite/gnat.dg/static_pred1.adb | 2 +- gcc/testsuite/gnat.dg/task2.adb | 9 + gcc/testsuite/gnat.dg/task2_pkg.adb | 6 + gcc/testsuite/gnat.dg/task2_pkg.ads | 4 + gcc/testsuite/gnat.dg/warn20.adb | 11 + gcc/testsuite/gnat.dg/warn20_pkg.adb | 10 + gcc/testsuite/gnat.dg/warn20_pkg.ads | 8 + 107 files changed, 27409 insertions(+), 9302 deletions(-) create mode 100644 gcc/ada/bindo-augmentors.adb copy gcc/ada/{butil.ads => bindo-augmentors.ads} (55%) create mode 100644 gcc/ada/bindo-builders.adb copy gcc/ada/{clean.ads => bindo-builders.ads} (54%) copy gcc/ada/{osint-m.adb => bindo-diagnostics.adb} (55%) copy gcc/ada/{live.ads => bindo-diagnostics.ads} (63%) create mode 100644 gcc/ada/bindo-elaborators.adb copy gcc/ada/{bindgen.ads => bindo-elaborators.ads} (58%) create mode 100644 gcc/ada/bindo-graphs.adb create mode 100644 gcc/ada/bindo-graphs.ads create mode 100644 gcc/ada/bindo-units.adb create mode 100644 gcc/ada/bindo-units.ads create mode 100644 gcc/ada/bindo-validators.adb create mode 100644 gcc/ada/bindo-validators.ads create mode 100644 gcc/ada/bindo-writers.adb create mode 100644 gcc/ada/bindo-writers.ads create mode 100644 gcc/ada/bindo.adb copy gcc/ada/{exp_ch13.ads => bindo.ads} (67%) create mode 100644 gcc/testsuite/gnat.dg/alignment14.adb create mode 100644 gcc/testsuite/gnat.dg/inline15.adb create mode 100644 gcc/testsuite/gnat.dg/inline15_gen.adb create mode 100644 gcc/testsuite/gnat.dg/inline15_gen.ads create mode 100644 gcc/testsuite/gnat.dg/inline15_types.ads create mode 100644 gcc/testsuite/gnat.dg/inline16.adb create mode 100644 gcc/testsuite/gnat.dg/inline16_gen.adb create mode 100644 gcc/testsuite/gnat.dg/inline16_gen.ads create mode 100644 gcc/testsuite/gnat.dg/inline16_types.ads create mode 100644 gcc/testsuite/gnat.dg/predicate4.adb create mode 100644 gcc/testsuite/gnat.dg/predicate4_pkg.ads copy gcc/testsuite/gnat.dg/{expr_func2.adb => predicate5.adb} (53%) create mode 100644 gcc/testsuite/gnat.dg/predicate5.ads copy gcc/testsuite/gnat.dg/{freezing1.adb => predicate6.adb} (53%) create mode 100644 gcc/testsuite/gnat.dg/predicate6.ads create mode 100644 gcc/testsuite/gnat.dg/renaming13.adb create mode 100644 gcc/testsuite/gnat.dg/renaming14.adb create mode 100644 gcc/testsuite/gnat.dg/task2.adb create mode 100644 gcc/testsuite/gnat.dg/task2_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/task2_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/warn20.adb create mode 100644 gcc/testsuite/gnat.dg/warn20_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/warn20_pkg.ads