This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_gcc_check/master-arm in repository toolchain/ci/gcc.
from 820ead4519c Daily bump. adds ae575e93b6f tree-optimization/105763 - avoid abnormals with ranger queries adds 3cd52053f80 [Ada] Suppress warnings on membership test of ranges adds 5512eabc3e1 [Ada] Incorrect code for anonymous access-to-function with [...] adds 64f72fae734 [Ada] Add inline documentation for Is_{Parenthesis,Enum_Arr [...] adds 73514ab714d [Ada] Use Actions field of freeze nodes for subprograms (co [...] adds 94e416d23b8 [Ada] Issue better error message for out-of-order keywords [...] adds e1379eeec11 [Ada] Issue a warning on entity hidden in use_clause with -gnatwh adds f3949a2e785 [Ada] Add reference counting in functional containers adds c97f3a7dc23 [Ada] arm-qnx-7.1: unwind goes wrong after regs restore adds 3c2674cc0d7 [Ada] Fix search for "for ... of" loop subprograms adds eb1091dd34e [Ada] Missing discriminant checks when accessing variant field adds af93b89d8a1 [Ada] Minor tweaks to dispatching support code adds 343928a0443 [Ada] Adjust warning switches adds fdb2f2e6962 [Ada] Fix "formal parameter & is not referenced" not being [...] adds 12152225088 [Ada] Fix composability of return on the secondary stack adds 04b65c9f166 [Ada] QNX shared libraries - arm-qnx build gnatlib .so's adds 378523d4a31 [Ada] Adjust reference in comment adds b1743c7de2c [Ada] Another case where freezing incorrectly suppresses checks adds 7a9800fa4d0 [Ada] Note that hardening features are experimental adds dbb0c80c360 [Ada] Get rid of secondary stack for controlled components [...] adds 8182602c506 [Ada] Add a comment about a finalization issue adds 2ae98c3a751 [Ada] Propagate null-exclusion to anonymous access types adds 66f2a0def54 [Ada] Fix bad interaction between Inline_Always and -gnateV [...] adds 65818fc9550 [Ada] Enable using absolute paths in -fdiagnostics-format=j [...] adds 9ba4b38f6ac [Ada] arm-qnx-7.1: unwind goes wrong after regs restore adds 2977b006df0 [Ada] Fix predicate check on object declaration adds ce0bbf28fb1 [Ada] Bug fix in "=" function of formal doubly linked list adds 4e8310b33c3 [Ada] Do not freeze subprogram body without spec too early adds 5cfde7a0b5f [Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_Stack adds da85f3f2c69 [Ada] Fix classification of Subprogram_Variant as assertion pragma adds d1246541965 [Ada] Fix missing space in error message adds df014c92307 [Ada] Combine system.ads files - arm and aarch64 qnx adds 6b4239f61bb [Ada] Combine system.ads file - vxworks7 kernel constants. adds 3e9a6d29ee9 [Ada] Allow confirming volatile properties on No_Caching variables adds 4f1bce19f6d Implement abstract vrange class. adds 59c8e96dd02 Implement generic range temporaries. adds cf5bea76f9d Convert range-op.* to vrange. adds d8474337a0b Revamp irange_allocator to handle vranges. adds 45c8523dd3e Convert ranger and clients to vrange.
No new revisions were added by this update.
Summary of changes: gcc/ada/Makefile.rtl | 3 +- gcc/ada/checks.adb | 26 +- gcc/ada/contracts.adb | 17 +- .../doc/gnat_rm/security_hardening_features.rst | 3 + .../building_executable_programs_with_gnat.rst | 6 +- gcc/ada/einfo-utils.adb | 9 +- gcc/ada/errout.adb | 24 +- gcc/ada/exp_ch13.adb | 12 +- gcc/ada/exp_ch3.adb | 95 ++- gcc/ada/exp_ch3.ads | 13 +- gcc/ada/exp_ch4.adb | 55 +- gcc/ada/exp_ch5.adb | 14 + gcc/ada/exp_ch6.adb | 29 +- gcc/ada/exp_ch7.adb | 2 +- gcc/ada/exp_disp.adb | 50 +- gcc/ada/exp_disp.ads | 2 +- gcc/ada/exp_util.adb | 20 +- gcc/ada/fe.h | 6 +- gcc/ada/gcc-interface/decl.cc | 2 +- gcc/ada/gnat_rm.texi | 3 + gcc/ada/gnat_ugn.texi | 10 +- gcc/ada/init.c | 40 + gcc/ada/libgnat/a-cfdlli.adb | 4 +- gcc/ada/libgnat/a-cofuba.adb | 189 ++++- gcc/ada/libgnat/a-cofuba.ads | 90 +- gcc/ada/libgnat/system-qnx-arm.ads | 2 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 4 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 4 +- gcc/ada/libgnat/system-vxworks7-e500-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 4 +- gcc/ada/opt.ads | 7 +- gcc/ada/par-ch3.adb | 41 +- gcc/ada/par-util.adb | 2 +- gcc/ada/rtsfind.ads | 12 +- gcc/ada/sem_ch13.adb | 11 +- gcc/ada/sem_ch3.adb | 92 +- gcc/ada/sem_ch5.adb | 6 + gcc/ada/sem_ch6.adb | 111 +-- gcc/ada/sem_ch8.adb | 5 + gcc/ada/sem_disp.adb | 15 +- gcc/ada/sem_prag.adb | 43 +- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 12 +- gcc/ada/sem_util.adb | 925 ++++++++++++--------- gcc/ada/sem_util.ads | 34 +- gcc/ada/sem_warn.adb | 26 +- gcc/ada/sinfo.ads | 9 + gcc/ada/switch-c.adb | 3 +- gcc/ada/usage.adb | 2 +- gcc/gimple-range-cache.cc | 177 ++-- gcc/gimple-range-cache.h | 36 +- gcc/gimple-range-edge.cc | 18 +- gcc/gimple-range-edge.h | 4 +- gcc/gimple-range-fold.cc | 184 ++-- gcc/gimple-range-fold.h | 52 +- gcc/gimple-range-gori.cc | 156 ++-- gcc/gimple-range-gori.h | 42 +- gcc/gimple-range-infer.cc | 21 +- gcc/gimple-range-infer.h | 16 +- gcc/gimple-range-path.cc | 47 +- gcc/gimple-range-path.h | 16 +- gcc/gimple-range-tests.cc | 3 +- gcc/gimple-range-trace.cc | 9 +- gcc/gimple-range-trace.h | 2 +- gcc/gimple-range.cc | 70 +- gcc/gimple-range.h | 14 +- gcc/gimple-ssa-warn-access.cc | 7 +- gcc/range-op.cc | 215 ++++- gcc/range-op.h | 45 +- gcc/testsuite/gcc.dg/pr105763.c | 21 + gcc/tree-data-ref.cc | 8 +- gcc/tree-ssa-loop-niter.cc | 16 +- gcc/tree-ssa-loop-unswitch.cc | 17 +- gcc/tree-ssa-threadedge.cc | 4 +- gcc/tree-vrp.cc | 44 +- gcc/value-query.cc | 80 +- gcc/value-query.h | 16 +- gcc/value-range-equiv.cc | 6 + gcc/value-range-equiv.h | 3 +- gcc/value-range.cc | 206 ++++- gcc/value-range.h | 412 +++++++-- gcc/vr-values.cc | 62 +- gcc/vr-values.h | 2 +- 86 files changed, 2688 insertions(+), 1454 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr105763.c