From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1698) id D15CC3AA9809; Thu, 8 Jul 2021 20:22:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D15CC3AA9809 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Iain D Sandoe To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/c++-coroutines] Merge master r12-2172. X-Act-Checkin: gcc X-Git-Author: Iain Sandoe X-Git-Refname: refs/heads/devel/c++-coroutines X-Git-Oldrev: 0c3b139efb8e5e19078988b867c1b13a267dfa93 X-Git-Newrev: fa92aa7852c248746297a1a10bfb966800ed7242 Message-Id: <20210708202213.D15CC3AA9809@sourceware.org> Date: Thu, 8 Jul 2021 20:22:13 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Jul 2021 20:22:13 -0000 https://gcc.gnu.org/g:fa92aa7852c248746297a1a10bfb966800ed7242 commit fa92aa7852c248746297a1a10bfb966800ed7242 Merge: 0c3b139efb8 763121ccd90 Author: Iain Sandoe Date: Thu Jul 8 19:23:59 2021 +0100 Merge master r12-2172. * Merge master r12-2172-g763121ccd908. Diff: gcc/ChangeLog | 40 +++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 246 +++++++++++++++ gcc/ada/Makefile.rtl | 2 +- gcc/ada/checks.adb | 36 ++- gcc/ada/checks.ads | 4 +- gcc/ada/comperr.adb | 1 + gcc/ada/debug.adb | 8 +- gcc/ada/einfo-utils.adb | 69 ++--- gcc/ada/einfo-utils.ads | 29 +- gcc/ada/einfo.ads | 23 +- gcc/ada/exp_attr.adb | 14 +- gcc/ada/exp_ch11.adb | 83 +++-- gcc/ada/exp_ch3.adb | 4 +- gcc/ada/exp_ch4.adb | 13 +- gcc/ada/exp_ch6.adb | 90 ++---- gcc/ada/exp_ch6.ads | 7 +- gcc/ada/exp_ch7.adb | 4 +- gcc/ada/exp_ch9.adb | 28 +- gcc/ada/exp_dbug.adb | 11 +- gcc/ada/exp_disp.adb | 125 +++----- gcc/ada/exp_dist.adb | 26 +- gcc/ada/exp_imgv.adb | 11 +- gcc/ada/exp_pakd.adb | 8 +- gcc/ada/exp_prag.adb | 31 ++ gcc/ada/exp_util.adb | 8 +- gcc/ada/fe.h | 24 -- gcc/ada/freeze.adb | 22 +- gcc/ada/gcc-interface/decl.c | 24 +- gcc/ada/gcc-interface/system.ads | 4 + gcc/ada/gcc-interface/trans.c | 6 +- gcc/ada/gen_il-gen-gen_entities.adb | 5 +- gcc/ada/gnat1drv.adb | 23 -- gcc/ada/inline.adb | 14 +- gcc/ada/layout.adb | 87 ++++-- gcc/ada/layout.ads | 7 +- gcc/ada/lib-load.adb | 19 +- gcc/ada/lib-writ.adb | 15 +- gcc/ada/lib-writ.ads | 3 + gcc/ada/lib.ads | 4 +- gcc/ada/libgnarl/s-tassta.adb | 5 +- gcc/ada/libgnat/a-cbdlli.adb | 4 +- gcc/ada/libgnat/a-cbhama.adb | 8 +- gcc/ada/libgnat/a-cbhase.adb | 4 +- gcc/ada/libgnat/a-cbmutr.adb | 4 +- gcc/ada/libgnat/a-cborma.adb | 8 +- gcc/ada/libgnat/a-cborse.adb | 8 +- gcc/ada/libgnat/a-cobove.adb | 8 +- gcc/ada/libgnat/a-cohama.adb | 14 +- gcc/ada/libgnat/a-cohama.ads | 8 + gcc/ada/libgnat/a-cohase.adb | 14 +- gcc/ada/libgnat/a-cohase.ads | 9 + gcc/ada/libgnat/a-ngelfu.ads | 2 +- gcc/ada/libgnat/a-textio.adb | 13 +- gcc/ada/libgnat/a-witeio.adb | 13 +- gcc/ada/libgnat/a-ztexio.adb | 13 +- gcc/ada/libgnat/g-debpoo.adb | 2 +- gcc/ada/libgnat/g-socket.adb | 46 ++- gcc/ada/libgnat/g-socket.ads | 46 ++- gcc/ada/libgnat/s-atocou.ads | 1 - gcc/ada/libgnat/s-atocou__builtin.adb | 20 +- gcc/ada/make.adb | 9 +- gcc/ada/osint.adb | 5 +- gcc/ada/par-ch10.adb | 26 +- gcc/ada/par-ch5.adb | 12 +- gcc/ada/par-load.adb | 15 +- gcc/ada/par.adb | 8 +- gcc/ada/repinfo.adb | 6 +- gcc/ada/restrict.adb | 5 +- gcc/ada/rtsfind.adb | 8 + gcc/ada/rtsfind.ads | 11 + gcc/ada/s-oscons-tmplt.c | 24 +- gcc/ada/scng.adb | 20 +- gcc/ada/sem_attr.adb | 19 ++ gcc/ada/sem_cat.ads | 2 +- gcc/ada/sem_ch12.adb | 12 +- gcc/ada/sem_ch13.adb | 210 +++++++------ gcc/ada/sem_ch13.ads | 22 +- gcc/ada/sem_ch3.adb | 2 +- gcc/ada/sem_ch4.adb | 4 +- gcc/ada/sem_ch5.adb | 145 ++++++++- gcc/ada/sem_ch6.adb | 15 +- gcc/ada/sem_ch8.adb | 28 +- gcc/ada/sem_ch9.adb | 16 +- gcc/ada/sem_disp.adb | 67 ++-- gcc/ada/sem_eval.adb | 7 +- gcc/ada/sem_prag.adb | 8 +- gcc/ada/sem_res.adb | 25 +- gcc/ada/sem_util.adb | 157 ++++++---- gcc/ada/sem_util.ads | 28 +- ...xworks-target.inc => sigtramp-vxworks-target.h} | 2 +- gcc/ada/sigtramp-vxworks.c | 2 +- gcc/ada/sinfo.ads | 4 +- gcc/ada/sinput-l.adb | 24 +- gcc/ada/sprint.adb | 8 +- gcc/ada/style.adb | 4 + gcc/ada/tbuild.adb | 13 +- gcc/ada/tbuild.ads | 5 +- gcc/ada/uname.adb | 125 ++++---- gcc/analyzer/ChangeLog | 61 ++++ gcc/analyzer/diagnostic-manager.cc | 35 +++ gcc/analyzer/engine.cc | 54 +++- gcc/analyzer/exploded-graph.h | 4 +- gcc/analyzer/region-model.cc | 304 ++++++++++--------- gcc/analyzer/region-model.h | 29 +- gcc/analyzer/sm-file.cc | 15 +- gcc/analyzer/sm-malloc.cc | 10 +- gcc/analyzer/sm-pattern-test.cc | 24 +- gcc/analyzer/sm-sensitive.cc | 18 -- gcc/analyzer/sm-signal.cc | 21 -- gcc/analyzer/sm-taint.cc | 8 +- gcc/analyzer/sm.cc | 14 + gcc/analyzer/sm.h | 34 ++- gcc/analyzer/svalue.cc | 24 +- gcc/analyzer/svalue.h | 6 +- gcc/builtins.c | 69 ++++- gcc/builtins.h | 5 + gcc/config/i386/i386-expand.c | 18 ++ gcc/config/i386/i386.h | 4 +- gcc/config/i386/mmx.md | 100 +++++- gcc/config/rs6000/rs6000-call.c | 3 +- gcc/config/rs6000/rs6000.md | 34 +++ gcc/cp/module.cc | 13 + gcc/gimple-array-bounds.cc | 336 +++------------------ gcc/ipa-sra.c | 15 +- gcc/match.pd | 70 ++++- gcc/testsuite/ChangeLog | 62 ++++ gcc/testsuite/c-c++-common/Warray-bounds-10.c | 114 +++++++ gcc/testsuite/c-c++-common/Warray-bounds-3.c | 4 +- gcc/testsuite/c-c++-common/Warray-bounds-4.c | 12 +- gcc/testsuite/c-c++-common/Warray-bounds-9.c | 144 +++++++++ gcc/testsuite/g++.dg/asan/asan_test.C | 2 +- gcc/testsuite/g++.dg/pr95768.C | 2 +- gcc/testsuite/g++.dg/warn/Warray-bounds-10.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-11.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-12.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-13.C | 4 +- gcc/testsuite/g++.dg/warn/Warray-bounds-17.C | 2 +- gcc/testsuite/g++.dg/warn/Warray-bounds-20.C | 8 +- gcc/testsuite/gcc.dg/Warray-bounds-29.c | 22 +- gcc/testsuite/gcc.dg/Warray-bounds-30.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-31.c | 8 +- gcc/testsuite/gcc.dg/Warray-bounds-32.c | 26 +- gcc/testsuite/gcc.dg/Warray-bounds-52.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-53.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-58.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-63.c | 6 +- gcc/testsuite/gcc.dg/Warray-bounds-66.c | 12 +- gcc/testsuite/gcc.dg/Warray-bounds-69.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-77.c | 135 +++++++++ gcc/testsuite/gcc.dg/Warray-bounds-78.c | 109 +++++++ gcc/testsuite/gcc.dg/Warray-bounds-79.c | 112 +++++++ gcc/testsuite/gcc.dg/Wstringop-overflow-34.c | 8 +- gcc/testsuite/gcc.dg/Wstringop-overflow-47.c | 14 +- gcc/testsuite/gcc.dg/Wstringop-overflow-61.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c | 10 +- gcc/testsuite/gcc.dg/builtin-bswap-13.c | 329 ++++++++++++++++++++ gcc/testsuite/gcc.dg/builtin-bswap-14.c | 302 ++++++++++++++++++ gcc/testsuite/gcc.dg/debug/pr57351.c | 1 + gcc/testsuite/gcc.dg/ipa/pr101066.c | 20 ++ gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 21 -- .../gcc.target/aarch64/sve/acle/general/cntb_1.c | 14 + gcc/testsuite/gcc.target/powerpc/p10-vdivq-vmodq.c | 27 ++ gcc/tree-vect-loop.c | 50 ++- 164 files changed, 3793 insertions(+), 1682 deletions(-)