This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 13070e2ba14 2018-11-14 Richard Biener rguenther@suse.de new 1cbab4c1b99 [Ada] Handle -gx switches explicitly new c477b745540 [Ada] Fix parentheses in comments and "library-level" punctuation new a93377d46ce [Ada] Use Cancel_Special_Output instead of Set_Special_Outp [...] new 201c693bda3 [Ada] Lingering loop for ignored Ghost assignment new 47120c1094c [Ada] Fix handling of generic actuals with default expressi [...] new a827194ca5b [Ada] Record components do not appear in the Global contract new bad7fde8b04 [Ada] Crash on tagged equality new 77b577f9fed [Ada] Limited function violates No_Exception_Propagation new c408471ea98 [Ada] Improper extension of bounds of fixed-point type new cdb1381d78c [Ada] Unnesting transformations for blocks in package bodies new 7bf769dfb3f [Ada] Do not include crt_externs.h on iOS new 22fae0d1417 [Ada] Visibility error on used enumerated type new e5e89c9ea3c [Ada] Crash on ignored Ghost assignment new 5e380671be8 [Ada] Renamed equality leads to spurious errors new c6056dd14f6 [Ada] Minor reformatting new 1916d94e7f2 [Ada] Enhance constraints propagation to ease the work of o [...] new 2c0ae288dc3 [Ada] System'To_Address not always static new 5bb7054697b [Ada] Compiler crash on decl. with limited aggregate and ad [...] new 675d3dad184 [Ada] Crash on use of generic formal package new 6f14682a6c5 [Ada] Fix assertion failure on pragma Compile_Time_Error in [...] new cb57c12b826 [Ada] Missing constraint check on if-expression returning a string new 149a4b48882 [Ada] Use of Suppress_Initialization with pragma Thread_Loc [...] new 8b71a75f486 [Ada] Crash on interface equality covered by a renaming dec [...] new 45cac820099 [Ada] More complete information level for -gnatR output new f9876ea21fc [Ada] Spurious error on Ghost null procedure new 6da1be2fe0e [Ada] Remove couple of recently added dead tests new d774e042295 [Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31) on AArch64 new d07efe248ca [Ada] Fix small regression with others choice in array aggregate new 7b6dfdbe207 [Ada] Update signal constants for GNU/Linux new f43d4aa6257 [Ada] Problem with boundary case of XOR operation and unnesting
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 | 267 +++++++++++++++++++++ gcc/ada/adabkend.adb | 20 ++ gcc/ada/back_end.adb | 9 +- gcc/ada/bindgen.adb | 2 +- gcc/ada/checks.adb | 23 +- .../building_executable_programs_with_gnat.rst | 11 +- gcc/ada/env.c | 12 +- gcc/ada/exp_aggr.adb | 104 +++++--- gcc/ada/exp_attr.adb | 13 +- gcc/ada/exp_cg.adb | 2 +- gcc/ada/exp_ch3.adb | 34 ++- gcc/ada/exp_ch4.adb | 195 +++++++++------ gcc/ada/exp_ch6.adb | 19 +- gcc/ada/exp_ch7.adb | 84 ++++++- gcc/ada/exp_dbug.adb | 2 +- gcc/ada/exp_dbug.ads | 6 +- gcc/ada/exp_disp.adb | 28 +-- gcc/ada/exp_pakd.adb | 5 +- gcc/ada/exp_prag.adb | 4 +- gcc/ada/exp_unst.adb | 49 ++-- gcc/ada/exp_util.adb | 42 ++-- gcc/ada/exp_util.ads | 19 +- gcc/ada/freeze.adb | 111 ++++++--- gcc/ada/ghost.adb | 73 ++++-- gcc/ada/gnat_ugn.texi | 13 +- gcc/ada/libgnarl/a-intnam__linux.ads | 3 + gcc/ada/libgnarl/s-linux.ads | 31 +-- gcc/ada/libgnarl/s-linux__alpha.ads | 6 +- gcc/ada/libgnarl/s-linux__android.ads | 6 +- gcc/ada/libgnarl/s-linux__hppa.ads | 6 +- gcc/ada/libgnarl/s-linux__mips.ads | 6 +- gcc/ada/libgnarl/s-linux__riscv.ads | 7 +- gcc/ada/libgnarl/s-linux__sparc.ads | 6 +- gcc/ada/libgnarl/s-linux__x32.ads | 6 +- gcc/ada/libgnarl/s-osinte__linux.ads | 56 +++-- gcc/ada/opt.ads | 11 +- gcc/ada/repinfo.adb | 60 ++++- gcc/ada/sem_attr.adb | 27 +-- gcc/ada/sem_ch12.adb | 3 + gcc/ada/sem_ch13.adb | 32 +-- gcc/ada/sem_ch3.adb | 40 ++- gcc/ada/sem_ch5.adb | 18 +- gcc/ada/sem_ch6.adb | 57 +++-- gcc/ada/sem_ch7.adb | 15 +- gcc/ada/sem_ch8.adb | 220 +++++++++-------- gcc/ada/sem_ch8.ads | 11 +- gcc/ada/sem_eval.adb | 84 +++---- gcc/ada/sem_eval.ads | 41 ++-- gcc/ada/sem_prag.adb | 6 +- gcc/ada/sem_res.adb | 51 ++-- gcc/ada/sem_spark.adb | 1 - gcc/ada/sem_util.adb | 56 +++-- gcc/ada/sem_util.ads | 6 +- gcc/ada/sigtramp-vxworks-target.inc | 1 + gcc/ada/sinfo.ads | 25 +- gcc/ada/sprint.adb | 2 +- gcc/ada/switch-c.adb | 2 +- gcc/ada/switch-m.adb | 28 +-- gcc/ada/usage.adb | 2 +- gcc/testsuite/ChangeLog | 47 ++++ gcc/testsuite/gnat.dg/bip_exception.adb | 17 ++ gcc/testsuite/gnat.dg/bip_exception.ads | 20 ++ gcc/testsuite/gnat.dg/bip_exception_pkg.ads | 11 + gcc/testsuite/gnat.dg/compile_time_error1.adb | 7 + gcc/testsuite/gnat.dg/compile_time_error1.ads | 13 + gcc/testsuite/gnat.dg/compile_time_error1_pkg.ads | 11 + gcc/testsuite/gnat.dg/enum5.adb | 11 + gcc/testsuite/gnat.dg/equal4.adb | 12 + gcc/testsuite/gnat.dg/equal4.ads | 5 + gcc/testsuite/gnat.dg/equal4_controlled_filter.ads | 13 + .../gnat.dg/equal4_full_selector_filter.ads | 7 + gcc/testsuite/gnat.dg/equal4_smart_pointers.ads | 11 + gcc/testsuite/gnat.dg/equal5.adb | 13 + gcc/testsuite/gnat.dg/equal5.ads | 31 +++ gcc/testsuite/gnat.dg/generic_actuals.adb | 18 ++ gcc/testsuite/gnat.dg/generic_pkg.adb | 37 +++ gcc/testsuite/gnat.dg/ghost1.adb | 8 + gcc/testsuite/gnat.dg/ghost1.ads | 9 + .../gnat.dg/{expr_func6.adb => limited_aggr.adb} | 6 +- gcc/testsuite/gnat.dg/limited_aggr.ads | 10 + gcc/testsuite/gnat.dg/rt_signals.adb | 14 ++ 81 files changed, 1733 insertions(+), 677 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/bip_exception.adb create mode 100644 gcc/testsuite/gnat.dg/bip_exception.ads create mode 100644 gcc/testsuite/gnat.dg/bip_exception_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/compile_time_error1.adb create mode 100644 gcc/testsuite/gnat.dg/compile_time_error1.ads create mode 100644 gcc/testsuite/gnat.dg/compile_time_error1_pkg.ads create mode 100644 gcc/testsuite/gnat.dg/enum5.adb create mode 100644 gcc/testsuite/gnat.dg/equal4.adb create mode 100644 gcc/testsuite/gnat.dg/equal4.ads create mode 100644 gcc/testsuite/gnat.dg/equal4_controlled_filter.ads create mode 100644 gcc/testsuite/gnat.dg/equal4_full_selector_filter.ads create mode 100644 gcc/testsuite/gnat.dg/equal4_smart_pointers.ads create mode 100644 gcc/testsuite/gnat.dg/equal5.adb create mode 100644 gcc/testsuite/gnat.dg/equal5.ads create mode 100644 gcc/testsuite/gnat.dg/generic_actuals.adb create mode 100644 gcc/testsuite/gnat.dg/generic_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/ghost1.adb create mode 100644 gcc/testsuite/gnat.dg/ghost1.ads copy gcc/testsuite/gnat.dg/{expr_func6.adb => limited_aggr.adb} (52%) create mode 100644 gcc/testsuite/gnat.dg/limited_aggr.ads create mode 100644 gcc/testsuite/gnat.dg/rt_signals.adb