This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch master in repository gcc.

from 446aac86a4b Fail early when SLP instance build fails new 3c3192bcfee ada: Misc parser cleanup new a550f2309cd ada: Fix code quality issue in table.adb new 96613a6e3e9 ada: Avoid generating incorrect warning new bad0a5c5629 ada: Keep Ghost_Mode related variables in a record new 0aebb77ced3 ada: Implement accessibility legality check for discriminat [...] new bc2edee538d ada: Refactor Validate_Compile_Time_Warning_Or_Error new 0f048a68405 ada: Check Compile_Time_Errors removed in Ghost code new b0e249afc68 ada: Make pp and friends more robust new bb80bcec3b8 ada: Update Assertion_Policy handling in GNATProve mode

The 9 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/atree.adb | 4 +- gcc/ada/contracts.adb | 5 +- gcc/ada/exp_ch3.adb | 7 +- gcc/ada/exp_ch6.adb | 14 ++- gcc/ada/exp_disp.adb | 5 +- gcc/ada/exp_prag.adb | 16 +-- gcc/ada/exp_spark.adb | 5 +- gcc/ada/exp_util.adb | 29 +++-- gcc/ada/expander.adb | 5 +- gcc/ada/freeze.adb | 15 +-- gcc/ada/frontend.adb | 2 +- gcc/ada/ghost.adb | 33 +++--- gcc/ada/ghost.ads | 2 +- gcc/ada/gnat1drv.adb | 5 - gcc/ada/lib-writ.adb | 2 +- gcc/ada/lib-xref.adb | 4 +- gcc/ada/opt.adb | 9 +- gcc/ada/opt.ads | 21 ++-- gcc/ada/par-ch12.adb | 29 ++--- gcc/ada/par-ch3.adb | 208 +++++++++++++++-------------------- gcc/ada/par-ch6.adb | 30 ++---- gcc/ada/par-util.adb | 29 +++++ gcc/ada/par.adb | 169 ++++++++++++++++++----------- gcc/ada/rtsfind.adb | 15 +-- gcc/ada/sem.adb | 10 +- gcc/ada/sem_attr.adb | 2 +- gcc/ada/sem_ch12.adb | 24 ++--- gcc/ada/sem_ch13.adb | 19 ++-- gcc/ada/sem_ch3.adb | 10 +- gcc/ada/sem_ch5.adb | 7 +- gcc/ada/sem_ch6.adb | 19 ++-- gcc/ada/sem_ch7.adb | 9 +- gcc/ada/sem_prag.adb | 292 ++++++++++++++++++++++++-------------------------- gcc/ada/sem_util.adb | 60 ++++++++--- gcc/ada/sem_util.ads | 12 +++ gcc/ada/table.adb | 3 + gcc/ada/table.ads | 3 - gcc/ada/treepr.adb | 16 ++- 38 files changed, 584 insertions(+), 565 deletions(-)