This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 229a49247d3 2018-07-16 Richard Biener rguenther@suse.de new 041d4caaa03 [Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String new 9684df5df3a [Ada] Illegal deferred constant causes stack overflow new 8e0e00c9423 [Ada] Fix spelling for compile-time-known new f3790fdf741 [Ada] Violation of No_Standard_Allocators_After_Elaboration [...] new 744e19da51c [Ada] Adjust inlining in GNATprove mode for predicate/invar [...] new bffddc3acea [Ada] Sem_Utils: make Has_Prefix public new ba75c11ae91 [Ada] Fix expansion of 'Count in protected types new 26cb809dfa2 [Ada] Sem_Ch4: minor code cleanup new 87568d4c5c6 [Ada] Einfo: minor tweak in comment new 7b17f8eb619 [Ada] Inline: rewrap comment new 3c5ca05357c [Ada] Crash processing sources under GNATprove debug mode new 52a155c2c01 [Ada] Code cleanup on functions inlining new c3aac4d8b61 [Ada] adaint.c: minor code cleanup new 0a312696c4e [Ada] Adjust reference to renumbered SPARK RM rule new 3b1129f6378 [Ada] System.Object_Reader: minor code clean-up new 0a6b7a8eaa5 [Ada] Bit_Order cannot be defined for record extensions new 9de5db54605 [Ada] Segmentation_Fault with Integer'Wide_Wide_Value new 7d4e54bde1a [Ada] Spurious possible contraint error warning with No_Exc [...] new b05ba3c5ef6 [Ada] Crash on Indefinite_Hashed_Maps with -gnata -gnateV new 776924fb55a [Ada] Add a missing check for trivial predicates on non-dis [...] new 6733b7f0d0d [Ada] Use common routine Expand_Nonbinary_Modular_Op for XO [...] new 6c289fd6a55 [Ada] Deconstruct always-false calls to Withed_Body in Walk [...] new 1358e4e61f4 [Ada] Trivial simplifications in in Walk_Library_Items new aafcd6831fd [Ada] Avoid crash when traversing units with -gnatd.WW debu [...] new 31c2cd462a7 [Ada] Deconstruct unused Withed_Body filed of N_With_Clause node new b7b9c30f634 [Ada] Spurious error with null Abstract_State new e6d63b71171 [Ada] Major code cleanup new c3e352712be [Ada] Fix Default_Storage_Pool aspect handling in generic i [...] new 4a964a202cc [Ada] Unnesting: handle the semantic of Storage_Pool field new 9ea24c7ec2a [Ada] Unnesting: handle 'Address references that are calls new 70fdc52434f [Ada] Deep copy operands of membership operations for unnesting new 4f40dc506e6 [Ada] Fix expansion of blocks in loops inside elaboration code new 8b348f1b905 [Ada] Only unnest subprograms if no previous errors were detected new ddf6e250efd [Ada] Minor reformatting new 2ed9a73074a [Ada] Missing error on hidden state in instantiation
The 35 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 | 214 +++++++++++++++++++++++++++++ gcc/ada/adaint.c | 2 +- gcc/ada/contracts.adb | 79 +++++++++-- gcc/ada/contracts.ads | 9 +- gcc/ada/einfo.adb | 2 +- gcc/ada/einfo.ads | 4 +- gcc/ada/exp_attr.adb | 49 ++++++- gcc/ada/exp_ch4.adb | 12 +- gcc/ada/exp_ch5.adb | 11 +- gcc/ada/exp_ch7.adb | 54 ++++++-- gcc/ada/exp_ch9.adb | 84 ++++++++++- gcc/ada/exp_unst.adb | 173 ++++++++++++++++++----- gcc/ada/frontend.adb | 4 +- gcc/ada/inline.adb | 102 +++++++------- gcc/ada/libgnat/a-strunb.adb | 4 +- gcc/ada/libgnat/a-strunb__shared.adb | 4 +- gcc/ada/libgnat/s-elaall.adb | 2 +- gcc/ada/libgnat/s-elaall.ads | 2 +- gcc/ada/libgnat/s-objrea.ads | 16 +-- gcc/ada/libgnat/s-wchwts.adb | 39 ++++-- gcc/ada/sem.adb | 63 +++------ gcc/ada/sem_ch12.adb | 50 ++++--- gcc/ada/sem_ch13.adb | 10 +- gcc/ada/sem_ch3.adb | 6 +- gcc/ada/sem_ch4.adb | 12 +- gcc/ada/sem_eval.adb | 117 +++++++++------- gcc/ada/sem_prag.adb | 6 +- gcc/ada/sem_res.adb | 39 ++++-- gcc/ada/sem_util.adb | 60 ++++---- gcc/ada/sem_util.ads | 3 + gcc/ada/sinfo.adb | 16 --- gcc/ada/sinfo.ads | 15 -- gcc/testsuite/ChangeLog | 22 +++ gcc/testsuite/gnat.dg/abstract_state1.adb | 5 + gcc/testsuite/gnat.dg/abstract_state1.ads | 24 ++++ gcc/testsuite/gnat.dg/bit_order1.adb | 18 +++ gcc/testsuite/gnat.dg/iter2.adb | 28 ++++ gcc/testsuite/gnat.dg/iter2.ads | 5 + gcc/testsuite/gnat.dg/validity_check3.adb | 96 +++++++++++++ gcc/testsuite/gnat.dg/validity_check3.ads | 116 ++++++++++++++++ gcc/testsuite/gnat.dg/wide_wide_value1.adb | 60 ++++++++ 41 files changed, 1292 insertions(+), 345 deletions(-) create mode 100644 gcc/testsuite/gnat.dg/abstract_state1.adb create mode 100644 gcc/testsuite/gnat.dg/abstract_state1.ads create mode 100644 gcc/testsuite/gnat.dg/bit_order1.adb create mode 100644 gcc/testsuite/gnat.dg/iter2.adb create mode 100644 gcc/testsuite/gnat.dg/iter2.ads create mode 100644 gcc/testsuite/gnat.dg/validity_check3.adb create mode 100644 gcc/testsuite/gnat.dg/validity_check3.ads create mode 100644 gcc/testsuite/gnat.dg/wide_wide_value1.adb