This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from ed7278d98e4 git_update_version: add robust logging new 86b786dc729 ada: Fix spurious warning on unreferenced refinement constituents new 7d8ba0c67cf ada: Disable slice-of-component optimization in some cases new 5a841af88be ada: Do not issue compiler warnings in GNATprove mode new 3e7ff131f47 ada: Clean up slice-of-component optimization new f775d362aa7 ada: Accessibility error incorrectly flagged on call within [...] new b1006d33b33 ada: Incorrect inferences drawn from if/elsif/while conditi [...] new c3d6d603956 ada: Add C declarations for Storage Model support new 3da783c5f93 ada: Fix inserting of validity checks in lock-free protecte [...] new 09203b787a9 ada: stack scrubbing: exemplify codegen changes new 21130676a80 ada: hardened booleans: exemplify codegen changes new a93fd547bac ada: hardened conditionals: exemplify codegen changes new 56a93169a4f ada: Cleanup related to lock-free protected subprograms new 1180b8fb8c7 ada: Reject conditional goto in lock-free protected subprograms new 6c62d9b7b44 ada: Minor potential bug in sem_ch6.adb new 544d14e1b42 ada: Implementation of support for storage models in gigi
The 15 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: .../doc/gnat_rm/implementation_defined_pragmas.rst | 6 +- .../doc/gnat_rm/security_hardening_features.rst | 132 ++++++++- gcc/ada/exp_ch5.adb | 16 +- gcc/ada/exp_ch9.adb | 2 +- gcc/ada/exp_util.adb | 17 +- gcc/ada/fe.h | 10 + gcc/ada/gcc-interface/ada-tree.def | 4 + gcc/ada/gcc-interface/decl.cc | 6 +- gcc/ada/gcc-interface/gigi.h | 28 ++ gcc/ada/gcc-interface/misc.cc | 1 + gcc/ada/gcc-interface/trans.cc | 326 ++++++++++++++++++--- gcc/ada/gcc-interface/utils.cc | 7 + gcc/ada/gcc-interface/utils2.cc | 294 +++++++++++++++++-- gcc/ada/gnat_rm.texi | 132 ++++++++- gcc/ada/sem_ch4.adb | 7 +- gcc/ada/sem_ch6.adb | 2 +- gcc/ada/sem_ch9.adb | 10 +- gcc/ada/sem_prag.adb | 18 +- gcc/ada/sem_util.ads | 10 + 19 files changed, 935 insertions(+), 93 deletions(-)