This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 2b293a949c0 tree-optimization/107493 - SCEV analysis with conversions new 83e8d37fe39 ada: Implement change to SPARK RM rule on state refinement new f2b30a724e6 ada: Add PIE support to backtraces on Linux new e75d06f9bfa ada: Fix internal error on conversion as in/out actual with [...] new 80ad275cf1e ada: Annotate GNAT.Source_Info with an abstract state new 81885f5cca2 ada: doc/share/conf.py: Switch the HTML documentation to us [...] new be7ea145514 ada: Adjust runtime library and User's Guide to PIE default [...]
The 6 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/adaint.c | 6 +-- .../doc/gnat_ugn/gnat_and_program_execution.rst | 46 ++++++++++------ gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 30 ++++++----- gcc/ada/doc/share/conf.py | 4 +- gcc/ada/exp_ch6.adb | 61 +++++++++++++++------- gcc/ada/gnat_ugn.texi | 50 +++++++++++------- gcc/ada/libgnat/g-souinf.ads | 20 ++++++- gcc/ada/libgnat/g-traceb.ads | 36 ++++++++----- gcc/ada/sem_ch3.adb | 3 +- gcc/ada/sem_ch7.adb | 10 ++-- gcc/ada/sem_prag.adb | 16 ++++++ gcc/ada/sem_util.adb | 14 +++-- 12 files changed, 198 insertions(+), 98 deletions(-)