From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id 15DDD3836641; Mon, 6 Jun 2022 10:49:34 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 15DDD3836641 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Gaius Mulley To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/modula-2] Merge branch 'master' into devel/modula-2. X-Act-Checkin: gcc X-Git-Author: Gaius Mulley X-Git-Refname: refs/heads/devel/modula-2 X-Git-Oldrev: 9409a75aa98e6365d0e08ddf9022b44c24c5d758 X-Git-Newrev: 568b62ce9207f56859e1116f60f6cfb35da59051 Message-Id: <20220606104934.15DDD3836641@sourceware.org> Date: Mon, 6 Jun 2022 10:49:34 +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: Mon, 06 Jun 2022 10:49:34 -0000 https://gcc.gnu.org/g:568b62ce9207f56859e1116f60f6cfb35da59051 commit 568b62ce9207f56859e1116f60f6cfb35da59051 Merge: 9409a75aa98 df68ed4a3cb Author: Gaius Mulley Date: Mon Jun 6 11:04:29 2022 +0100 Merge branch 'master' into devel/modula-2. Diff: config/ChangeLog | 5 + config/gcc-plugin.m4 | 2 +- gcc/ChangeLog | 805 ++++++++++ gcc/DATESTAMP | 2 +- gcc/Makefile.in | 15 +- gcc/ada/ChangeLog | 779 ++++++++++ gcc/ada/Makefile.rtl | 3 +- gcc/ada/atree.adb | 5 + 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/einfo.ads | 38 +- gcc/ada/errout.adb | 45 +- gcc/ada/exp_ch13.adb | 96 +- gcc/ada/exp_ch3.adb | 132 +- gcc/ada/exp_ch3.ads | 13 +- gcc/ada/exp_ch4.adb | 55 +- gcc/ada/exp_ch5.adb | 119 +- gcc/ada/exp_ch6.adb | 216 +-- gcc/ada/exp_ch7.adb | 62 +- gcc/ada/exp_ch9.adb | 292 ++-- gcc/ada/exp_disp.adb | 585 ++++++-- gcc/ada/exp_disp.ads | 23 +- gcc/ada/exp_strm.adb | 53 +- gcc/ada/exp_util.adb | 48 +- gcc/ada/exp_util.ads | 13 + gcc/ada/fe.h | 14 +- gcc/ada/freeze.adb | 3 +- gcc/ada/gcc-interface/Makefile.in | 4 +- gcc/ada/gcc-interface/ada-tree.h | 5 - gcc/ada/gcc-interface/decl.cc | 65 +- gcc/ada/gcc-interface/gigi.h | 37 +- gcc/ada/gcc-interface/lang-specs.h | 2 +- gcc/ada/gcc-interface/misc.cc | 12 +- gcc/ada/gcc-interface/trans.cc | 182 +-- gcc/ada/gcc-interface/utils.cc | 27 +- gcc/ada/gen_il-fields.ads | 1 - gcc/ada/gen_il-gen-gen_nodes.adb | 2 - gcc/ada/ghost.adb | 66 +- gcc/ada/gnat_rm.texi | 3 + gcc/ada/gnat_ugn.texi | 10 +- gcc/ada/gnatbind.adb | 2 + gcc/ada/gnatls.adb | 2 + gcc/ada/gprep.adb | 2 + gcc/ada/init.c | 40 + gcc/ada/libgnat/a-cfdlli.adb | 14 +- gcc/ada/libgnat/a-cfhama.adb | 12 +- gcc/ada/libgnat/a-cfhase.adb | 2 +- gcc/ada/libgnat/a-cfhase.ads | 35 +- gcc/ada/libgnat/a-cfinve.adb | 2 +- gcc/ada/libgnat/a-cfinve.ads | 2 +- gcc/ada/libgnat/a-cforma.adb | 12 +- gcc/ada/libgnat/a-cforse.adb | 2 +- gcc/ada/libgnat/a-cforse.ads | 35 +- gcc/ada/libgnat/a-cofove.adb | 2 +- gcc/ada/libgnat/a-cofove.ads | 2 +- gcc/ada/libgnat/a-cofuba.adb | 189 ++- gcc/ada/libgnat/a-cofuba.ads | 90 +- gcc/ada/libgnat/a-cofuma.adb | 7 +- gcc/ada/libgnat/a-cofuma.ads | 9 +- gcc/ada/libgnat/a-cofuse.adb | 11 +- gcc/ada/libgnat/a-cofuse.ads | 14 +- gcc/ada/libgnat/g-dyntab.ads | 11 +- gcc/ada/libgnat/i-cstrin.adb | 4 +- gcc/ada/libgnat/i-cstrin.ads | 80 +- gcc/ada/libgnat/s-aridou.adb | 4 +- gcc/ada/libgnat/s-arit32.adb | 4 +- gcc/ada/libgnat/s-atacco.ads | 6 +- gcc/ada/libgnat/s-spcuop.ads | 2 +- gcc/ada/libgnat/system-linux-arm.ads | 2 +- gcc/ada/libgnat/system-qnx-arm.ads | 2 +- .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 5 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 5 +- gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 5 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 5 +- gcc/ada/libgnat/system-vxworks7-e500-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-e500-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-e500-rtp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc-rtp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-ppc64-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86-rtp.ads | 4 +- gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 4 +- gcc/ada/make.adb | 2 + 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.ads | 30 +- gcc/ada/sem_ch10.adb | 57 +- gcc/ada/sem_ch13.adb | 23 +- gcc/ada/sem_ch2.adb | 14 + gcc/ada/sem_ch3.adb | 92 +- gcc/ada/sem_ch5.adb | 52 +- gcc/ada/sem_ch5.ads | 7 - gcc/ada/sem_ch6.adb | 261 ++-- gcc/ada/sem_ch7.adb | 85 +- gcc/ada/sem_ch8.adb | 29 +- gcc/ada/sem_disp.adb | 21 +- gcc/ada/sem_elab.adb | 20 +- gcc/ada/sem_eval.adb | 18 +- gcc/ada/sem_prag.adb | 79 +- gcc/ada/sem_prag.ads | 1 + gcc/ada/sem_res.adb | 12 +- gcc/ada/sem_util.adb | 949 +++++++----- gcc/ada/sem_util.ads | 34 +- gcc/ada/sem_warn.adb | 26 +- gcc/ada/sinfo.ads | 17 +- gcc/ada/switch-c.adb | 3 +- gcc/ada/usage.adb | 2 +- gcc/analyzer/ChangeLog | 38 + gcc/analyzer/checker-path.cc | 106 +- gcc/analyzer/checker-path.h | 22 +- gcc/analyzer/pending-diagnostic.h | 11 + gcc/analyzer/sm-file.cc | 14 + gcc/analyzer/sm-malloc.cc | 14 + gcc/analyzer/sm-sensitive.cc | 9 + gcc/analyzer/sm-taint.cc | 11 + gcc/analyzer/varargs.cc | 13 + gcc/c/ChangeLog | 15 + gcc/c/Make-lang.in | 2 +- gcc/c/c-lang.cc | 12 + gcc/c/c-parser.cc | 2 + gcc/c/c-tree.h | 2 + gcc/calls.cc | 21 +- gcc/common.opt | 16 +- gcc/config/aarch64/aarch64-c.cc | 2 +- gcc/config/aarch64/aarch64-opts.h | 6 + gcc/config/aarch64/aarch64-protos.h | 8 - gcc/config/aarch64/aarch64.cc | 189 +-- gcc/config/aarch64/aarch64.h | 3 - gcc/config/aarch64/aarch64.opt | 12 +- gcc/config/i386/i386-expand.cc | 84 +- gcc/config/i386/i386-features.cc | 101 +- gcc/config/i386/i386-features.h | 1 + gcc/config/i386/i386.cc | 26 + gcc/config/i386/i386.md | 380 +++-- gcc/config/i386/mmx.md | 36 +- gcc/config/i386/sse.md | 396 ++--- gcc/config/i386/subst.md | 10 +- gcc/config/i386/sync.md | 4 +- gcc/config/riscv/riscv.cc | 9 + gcc/config/riscv/riscv.h | 11 +- gcc/configure | 83 +- gcc/configure.ac | 30 + gcc/cp/ChangeLog | 170 +++ gcc/cp/Make-lang.in | 2 +- gcc/cp/call.cc | 9 +- gcc/cp/constexpr.cc | 84 +- gcc/cp/cp-lang.cc | 13 + gcc/cp/cp-tree.h | 7 +- gcc/cp/decl.cc | 31 +- gcc/cp/decl2.cc | 272 ++-- gcc/cp/parser.cc | 55 +- gcc/cp/pt.cc | 203 ++- gcc/cp/semantics.cc | 12 +- gcc/cp/tree.cc | 41 +- gcc/cp/typeck.cc | 38 +- gcc/d/ChangeLog | 15 + gcc/d/Make-lang.in | 2 +- gcc/d/d-lang.cc | 15 + gcc/df-core.cc | 41 + gcc/df.h | 1 + gcc/diagnostic-client-data-hooks.h | 105 ++ gcc/diagnostic-format-json.cc | 116 +- gcc/diagnostic-format-sarif.cc | 1586 ++++++++++++++++++++ gcc/diagnostic-path.h | 82 + gcc/diagnostic.cc | 154 +- gcc/diagnostic.h | 30 +- gcc/doc/invoke.texi | 21 +- gcc/doc/sourcebuild.texi | 6 + gcc/dse.cc | 8 + gcc/dwarf2out.cc | 2 +- gcc/exec-tool.in | 8 +- gcc/expr.cc | 55 +- gcc/expr.h | 1 + gcc/fortran/ChangeLog | 22 + gcc/fortran/Make-lang.in | 2 +- gcc/fortran/f95-lang.cc | 11 + gcc/fortran/libgfortran.h | 1 + gcc/fortran/openmp.cc | 3 +- gcc/fortran/trans-stmt.cc | 33 +- gcc/fortran/trans.cc | 4 +- gcc/gcc.cc | 2 +- gcc/gimple-range-cache.cc | 179 ++- gcc/gimple-range-cache.h | 36 +- gcc/gimple-range-edge.cc | 21 +- gcc/gimple-range-edge.h | 4 +- gcc/gimple-range-fold.cc | 185 ++- 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 | 79 +- gcc/gimple-range.h | 14 +- gcc/gimple-ssa-evrp-analyze.cc | 2 +- gcc/gimple-ssa-warn-access.cc | 7 +- gcc/go/ChangeLog | 9 + gcc/go/Make-lang.in | 2 +- gcc/go/go-lang.cc | 11 + gcc/json.cc | 2 +- gcc/langhooks-def.h | 5 +- gcc/langhooks.cc | 8 + gcc/langhooks.h | 6 + gcc/logical-location.h | 72 + gcc/loop-iv.cc | 45 +- gcc/match.pd | 35 + gcc/objc/ChangeLog | 10 + gcc/objc/Make-lang.in | 2 +- gcc/objc/objc-act.h | 1 + gcc/objc/objc-lang.cc | 8 + gcc/objcp/ChangeLog | 4 + gcc/objcp/Make-lang.in | 2 +- gcc/omp-low.cc | 3 +- gcc/optabs-query.cc | 2 +- gcc/opts.cc | 2 +- gcc/plugin.cc | 38 + gcc/plugin.h | 3 + gcc/range-op.cc | 219 ++- gcc/range-op.h | 45 +- gcc/rtlanal.cc | 7 + gcc/testsuite/ChangeLog | 224 +++ .../c-c++-common/diagnostic-format-json-file-1.c | 8 + .../c-c++-common/diagnostic-format-json-stderr-1.c | 33 + .../c-c++-common/diagnostic-format-sarif-file-1.c | 43 + .../c-c++-common/diagnostic-format-sarif-file-2.c | 29 + .../c-c++-common/diagnostic-format-sarif-file-3.c | 30 + .../c-c++-common/diagnostic-format-sarif-file-4.c | 19 + gcc/testsuite/c-c++-common/gomp/scope-5.c | 9 + gcc/testsuite/c-c++-common/gomp/scope-6.c | 31 + gcc/testsuite/g++.dg/cpp0x/auto56.C | 6 + gcc/testsuite/g++.dg/cpp0x/auto57.C | 15 + gcc/testsuite/g++.dg/cpp0x/decltype82.C | 10 + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-this22.C | 20 + gcc/testsuite/g++.dg/cpp1y/auto-fn63.C | 12 + gcc/testsuite/g++.dg/cpp1y/auto-fn64.C | 12 + gcc/testsuite/g++.dg/cpp1z/constexpr-aggr-base1.C | 27 + gcc/testsuite/g++.dg/cpp2a/concepts-decltype4.C | 16 + gcc/testsuite/g++.dg/cpp2a/concepts-memfun3.C | 12 + gcc/testsuite/g++.dg/cpp2a/concepts-spec2.C | 16 + .../g++.dg/cpp2a/concepts-template-parm11.C | 20 + gcc/testsuite/g++.dg/ext/attrib65.C | 7 + gcc/testsuite/g++.dg/ext/attrib66.C | 27 + gcc/testsuite/g++.dg/ext/attrib67.C | 27 + gcc/testsuite/g++.dg/gomp/attrs-1.C | 6 +- gcc/testsuite/g++.dg/gomp/attrs-2.C | 6 +- gcc/testsuite/g++.dg/opt/pr105802.C | 23 + gcc/testsuite/g++.dg/template/new13.C | 11 + gcc/testsuite/g++.dg/template/non-dependent23.C | 25 + gcc/testsuite/g++.dg/template/non-dependent24.C | 19 + gcc/testsuite/g++.target/i386/pr105638.C | 44 + gcc/testsuite/gcc.c-torture/execute/pr105777.c | 73 + gcc/testsuite/gcc.c-torture/execute/pr30314.c | 29 + gcc/testsuite/gcc.dg/analyzer/file-meaning-1.c | 15 + gcc/testsuite/gcc.dg/analyzer/malloc-meaning-1.c | 10 + gcc/testsuite/gcc.dg/analyzer/malloc-sarif-1.c | 20 + gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 15 + .../gcc.dg/plugin/diagnostic-test-paths-5.c | 56 + gcc/testsuite/gcc.dg/plugin/plugin.exp | 1 + gcc/testsuite/gcc.dg/pr105763.c | 21 + gcc/testsuite/gcc.dg/pr105770.c | 19 + gcc/testsuite/gcc.dg/pr105825.c | 13 + gcc/testsuite/gcc.dg/torture/pr105665.c | 20 + gcc/testsuite/gcc.dg/torture/pr105786.c | 13 + gcc/testsuite/gcc.dg/tree-ssa/pr105777.c | 68 + gcc/testsuite/gcc.dg/tree-ssa/pr30314.c | 32 + gcc/testsuite/gcc.dg/vect/bb-slp-pr101668.c | 59 + gcc/testsuite/gcc.target/i386/pr101617.c | 19 + gcc/testsuite/gcc.target/i386/pr101668.c | 27 + gcc/testsuite/gcc.target/i386/pr105624.c | 2 +- gcc/testsuite/gcc.target/i386/pr105778.c | 45 + gcc/testsuite/gcc.target/i386/pr105791.c | 13 + gcc/testsuite/gcc.target/i386/pr70321.c | 10 + gcc/testsuite/gcc.target/i386/pr95126-m32-1.c | 16 + gcc/testsuite/gcc.target/i386/pr95126-m32-2.c | 16 + gcc/testsuite/gcc.target/i386/pr95126-m32-3.c | 15 + gcc/testsuite/gcc.target/i386/pr95126-m32-4.c | 13 + gcc/testsuite/gcc.target/i386/pr95126-m64-1.c | 17 + gcc/testsuite/gcc.target/i386/pr95126-m64-2.c | 17 + gcc/testsuite/gcc.target/i386/pr95126-m64-3.c | 14 + gcc/testsuite/gcc.target/i386/pr95126-m64-4.c | 13 + gcc/testsuite/gcc.target/i386/sse4_1-stv-1.c | 18 + .../gfortran.dg/allocate_alloc_opt_15.f90 | 49 + gcc/testsuite/gfortran.dg/gomp/scope-5.f90 | 9 + gcc/testsuite/gfortran.dg/gomp/scope-6.f90 | 23 + gcc/testsuite/lib/gcc-dg.exp | 1 + gcc/testsuite/lib/scansarif.exp | 42 + gcc/tree-data-ref.cc | 8 +- gcc/tree-diagnostic-client-data-hooks.cc | 150 ++ gcc/tree-diagnostic.cc | 2 + gcc/tree-logical-location.cc | 148 ++ gcc/tree-logical-location.h | 67 + gcc/tree-loop-distribution.cc | 1 + gcc/tree-ssa-loop-ch.cc | 2 +- gcc/tree-ssa-loop-ivopts.cc | 125 +- gcc/tree-ssa-loop-niter.cc | 16 +- gcc/tree-ssa-loop-unswitch.cc | 39 +- gcc/tree-ssa-threadedge.cc | 6 +- gcc/tree-vect-slp.cc | 99 +- gcc/tree-vrp.cc | 48 +- gcc/value-query.cc | 84 +- gcc/value-query.h | 16 +- gcc/value-range-equiv.cc | 6 + gcc/value-range-equiv.h | 7 +- gcc/value-range.cc | 225 ++- gcc/value-range.h | 413 ++++- gcc/varasm.cc | 4 +- gcc/varasm.h | 2 +- gcc/vr-values.cc | 62 +- gcc/vr-values.h | 2 +- include/ChangeLog | 4 + include/dwarf2.def | 2 +- libatomic/ChangeLog | 4 + libatomic/testsuite/lib/libatomic.exp | 1 + libcc1/ChangeLog | 5 + libcc1/configure | 2 +- libcody/ChangeLog | 5 + libcody/Makefile.in | 4 +- libgcc/ChangeLog | 5 + libgcc/crtstuff.c | 3 +- libgomp/ChangeLog | 16 + libgomp/libgomp.texi | 2 +- libgomp/testsuite/lib/libgomp.exp | 1 + .../testsuite/libgomp.c-c++-common/allocate-1.c | 30 +- .../testsuite/libgomp.c-c++-common/allocate-3.c | 35 +- libgomp/testsuite/libgomp.c-c++-common/scope-2.c | 54 + libgomp/testsuite/libgomp.fortran/scope-2.f90 | 57 + libitm/ChangeLog | 4 + libitm/testsuite/lib/libitm.exp | 1 + libphobos/ChangeLog | 4 + libphobos/testsuite/lib/libphobos-dg.exp | 1 + 343 files changed, 12465 insertions(+), 3796 deletions(-)