From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id C6B823856DE0; Mon, 12 Sep 2022 20:46:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C6B823856DE0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1663015570; bh=7KsifADDiMyIvS47GFbygKLiiuvgvS0zITXF+l8ihkk=; h=From:To:Subject:Date:From; b=ZJ1PzYBjE5rUP9138HSlrrSEgnPKSA7Ehyu+9gq5Az2xj+niXf4obDNf43xSx62Cj q8yuW68qQmTtCqD0upyNNdJNQkFo2YRe8fAbOmU9bCgGXcRci8mWFL0BH++A/cvBMo 49DpakTss9YiT/xxLxzKuzYuZeNvewdpr3YM6SPA= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Gaius Mulley To: gcc-cvs@gcc.gnu.org, libstdc++-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: 34a21a56662fb92710ea848dba5ad33ae9489b4f X-Git-Newrev: fd24c17e62a4e5fdfd5dcc3a82531a3343313098 Message-Id: <20220912204610.C6B823856DE0@sourceware.org> Date: Mon, 12 Sep 2022 20:46:10 +0000 (GMT) List-Id: https://gcc.gnu.org/g:fd24c17e62a4e5fdfd5dcc3a82531a3343313098 commit fd24c17e62a4e5fdfd5dcc3a82531a3343313098 Merge: 34a21a56662 7c989a8ed47 Author: Gaius Mulley Date: Mon Sep 12 20:57:37 2022 +0100 Merge branch 'master' into devel/modula-2. Diff: gcc/ChangeLog | 260 +++ gcc/DATESTAMP | 2 +- gcc/Makefile.in | 1 + gcc/ada/Makefile.rtl | 15 - gcc/ada/bindgen.adb | 67 +- gcc/ada/checks.adb | 27 +- gcc/ada/contracts.adb | 1114 ++++++----- gcc/ada/contracts.ads | 36 +- gcc/ada/debug.adb | 15 +- .../doc/gnat_rm/implementation_defined_pragmas.rst | 9 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 219 --- gcc/ada/einfo.ads | 14 +- gcc/ada/erroutc.adb | 30 +- gcc/ada/exp_attr.adb | 100 +- gcc/ada/exp_ch3.adb | 129 +- gcc/ada/exp_ch3.ads | 16 +- gcc/ada/exp_ch6.adb | 230 +-- gcc/ada/exp_ch6.ads | 12 - gcc/ada/exp_ch7.adb | 548 +----- gcc/ada/exp_ch9.adb | 332 +--- gcc/ada/exp_prag.adb | 18 +- gcc/ada/exp_unst.adb | 2 + gcc/ada/fe.h | 2 + gcc/ada/freeze.adb | 135 +- gcc/ada/gcc-interface/decl.cc | 6 +- gcc/ada/gen_il-fields.ads | 4 +- gcc/ada/gen_il-gen-gen_entities.adb | 12 +- gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/ghost.adb | 10 +- gcc/ada/gnat_rm.texi | 651 ++----- gcc/ada/gnat_ugn.texi | 2 +- gcc/ada/impunit.adb | 12 - gcc/ada/inline.adb | 4 +- gcc/ada/lib-xref.adb | 9 - gcc/ada/lib.adb | 9 + gcc/ada/lib.ads | 6 + gcc/ada/libgnat/a-cfdlli.adb | 1905 ------------------ gcc/ada/libgnat/a-cfdlli.ads | 1641 +--------------- gcc/ada/libgnat/a-cfhama.adb | 976 ---------- gcc/ada/libgnat/a-cfhama.ads | 883 +-------- gcc/ada/libgnat/a-cfhase.adb | 1559 --------------- gcc/ada/libgnat/a-cfhase.ads | 1473 +------------- gcc/ada/libgnat/a-cfidll.adb | 2054 -------------------- gcc/ada/libgnat/a-cfidll.ads | 1640 +--------------- gcc/ada/libgnat/a-cfinse.adb | 304 --- gcc/ada/libgnat/a-cfinse.ads | 350 +--- gcc/ada/libgnat/a-cfinve.adb | 1452 -------------- gcc/ada/libgnat/a-cfinve.ads | 957 +-------- gcc/ada/libgnat/a-cforma.adb | 1239 ------------ gcc/ada/libgnat/a-cforma.ads | 1122 +---------- gcc/ada/libgnat/a-cforse.adb | 1939 ------------------ gcc/ada/libgnat/a-cforse.ads | 1784 +---------------- gcc/ada/libgnat/a-cofove.adb | 1311 ------------- gcc/ada/libgnat/a-cofove.ads | 952 +-------- gcc/ada/libgnat/a-cofuba.adb | 432 ---- gcc/ada/libgnat/a-cofuba.ads | 198 -- gcc/ada/libgnat/a-cofuma.adb | 306 --- gcc/ada/libgnat/a-cofuma.ads | 366 +--- gcc/ada/libgnat/a-cofuse.adb | 184 -- gcc/ada/libgnat/a-cofuse.ads | 306 +-- gcc/ada/libgnat/a-cofuve.adb | 262 --- gcc/ada/libgnat/a-cofuve.ads | 381 +--- gcc/ada/libgnat/s-imagei.adb | 2 + gcc/ada/libgnat/s-maccod.ads | 4 +- gcc/ada/libgnat/system-qnx-arm.ads | 2 +- .../libgnat/system-vxworks7-aarch64-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-aarch64.ads | 2 +- gcc/ada/libgnat/system-vxworks7-arm-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-arm.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86-kernel.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86-rtp-smp.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads | 2 +- gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads | 2 +- gcc/ada/opt.ads | 7 + gcc/ada/par-ch10.adb | 29 +- gcc/ada/par-ch12.adb | 5 +- gcc/ada/par-ch13.adb | 8 +- gcc/ada/par-ch3.adb | 71 +- gcc/ada/par-ch4.adb | 824 ++++---- gcc/ada/par-ch5.adb | 86 +- gcc/ada/par-ch6.adb | 58 +- gcc/ada/par-ch7.adb | 15 - gcc/ada/par-ch8.adb | 2 +- gcc/ada/par-ch9.adb | 11 +- gcc/ada/par-endh.adb | 24 +- gcc/ada/par-sync.adb | 22 +- gcc/ada/par-tchk.adb | 35 +- gcc/ada/par-util.adb | 34 +- gcc/ada/par.adb | 61 +- gcc/ada/prep.adb | 43 +- gcc/ada/prepcomp.adb | 4 +- gcc/ada/scng.adb | 12 +- gcc/ada/sem_aggr.adb | 5 + gcc/ada/sem_attr.adb | 53 +- gcc/ada/sem_ch11.adb | 9 +- gcc/ada/sem_ch3.adb | 23 +- gcc/ada/sem_ch4.adb | 13 +- gcc/ada/sem_ch6.adb | 1555 +++++---------- gcc/ada/sem_ch6.ads | 16 - gcc/ada/sem_ch9.adb | 25 + gcc/ada/sem_elab.adb | 49 +- gcc/ada/sem_eval.adb | 1 - gcc/ada/sem_prag.adb | 50 +- gcc/ada/sem_prag.ads | 29 + gcc/ada/sem_res.adb | 15 + gcc/ada/sem_util.adb | 143 +- gcc/ada/sem_util.ads | 4 +- gcc/ada/sinfo.ads | 6 + gcc/ada/snames.ads-tmpl | 3 +- gcc/ada/switch-b.adb | 9 + gcc/ada/uintp.adb | 4 +- gcc/analyzer/ChangeLog | 133 ++ gcc/analyzer/analyzer.h | 36 +- gcc/analyzer/analyzer.opt | 4 + gcc/analyzer/checker-path.cc | 91 +- gcc/analyzer/checker-path.h | 34 +- gcc/analyzer/diagnostic-manager.cc | 31 +- gcc/analyzer/engine.cc | 16 +- gcc/analyzer/known-function-manager.cc | 78 + gcc/analyzer/known-function-manager.h | 45 + gcc/analyzer/region-model-impl-calls.cc | 50 +- gcc/analyzer/region-model-manager.cc | 3 +- gcc/analyzer/region-model.cc | 1143 ++++++++++- gcc/analyzer/region-model.h | 41 + gcc/analyzer/region.cc | 131 +- gcc/analyzer/region.h | 17 +- gcc/analyzer/sm-taint.cc | 27 + gcc/analyzer/store.cc | 30 +- gcc/analyzer/store.h | 12 + gcc/c-family/ChangeLog | 4 + gcc/c-family/c-format.cc | 3 +- gcc/common/config/riscv/riscv-common.cc | 36 +- gcc/config/gcn/gcn-builtins.def | 35 + gcc/config/gcn/gcn-protos.h | 1 + gcc/config/gcn/gcn-valu.md | 181 ++ gcc/config/gcn/gcn.cc | 114 +- gcc/config/gcn/gcn.md | 4 +- gcc/config/gcn/mkoffload.cc | 13 +- gcc/config/nios2/linux.h | 2 + gcc/config/nvptx/mkoffload.cc | 131 +- gcc/config/nvptx/nvptx.cc | 20 +- gcc/config/rs6000/rs6000.cc | 2 +- gcc/config/xtensa/xtensa.cc | 197 +- gcc/config/xtensa/xtensa.h | 1 + gcc/config/xtensa/xtensa.md | 88 +- gcc/cp/ChangeLog | 17 + gcc/cp/class.cc | 2 +- gcc/cp/cp-tree.h | 3 +- gcc/cp/decl2.cc | 72 +- gcc/cp/lambda.cc | 1 + gcc/cp/name-lookup.cc | 2 +- gcc/cp/pt.cc | 2 +- gcc/cp/semantics.cc | 58 +- gcc/cp/tree.cc | 12 +- gcc/doc/extend.texi | 32 +- gcc/doc/invoke.texi | 24 +- gcc/doc/tm.texi | 3 +- gcc/doc/tm.texi.in | 3 +- gcc/fortran/ChangeLog | 18 + gcc/fortran/f95-lang.cc | 16 + gcc/fortran/invoke.texi | 5 + gcc/fortran/mathbuiltins.def | 1 + gcc/fortran/scanner.cc | 8 +- gcc/fortran/trans-intrinsic.cc | 51 +- gcc/gimple-harden-conditionals.cc | 1 + gcc/gimple-predicate-analysis.cc | 12 +- gcc/gimple.cc | 1 + gcc/ginclude/stdatomic.h | 2 + gcc/ginclude/stddef.h | 4 + gcc/omp-expand.cc | 117 +- gcc/optc-save-gen.awk | 3 +- gcc/symtab-thunks.cc | 1 + gcc/testsuite/ChangeLog | 130 ++ gcc/testsuite/c-c++-common/gomp/doacross-7.c | 78 + gcc/testsuite/c-c++-common/gomp/ompx-1.c | 4 + gcc/testsuite/c-c++-common/gomp/ompx-2.c | 5 + gcc/testsuite/g++.dg/cpp0x/constexpr-decltype5.C | 23 + gcc/testsuite/g++.dg/cpp0x/lambda/lambda-array4.C | 29 + gcc/testsuite/g++.dg/cpp2a/lambda-uneval17.C | 17 + gcc/testsuite/g++.dg/ext/array4.C | 3 +- gcc/testsuite/g++.dg/ext/unary_trait_incomplete.C | 116 +- gcc/testsuite/g++.dg/gcov/gcov.exp | 4 +- gcc/testsuite/g++.dg/gomp/ompx-attrs-1.C | 7 + gcc/testsuite/g++.dg/warn/Wsubobject-linkage-5.C | 7 + gcc/testsuite/g++.dg/warn/anonymous-namespace-3.C | 3 +- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 3 +- .../gcc.dg/analyzer/flexible-array-member-1.c | 100 + gcc/testsuite/gcc.dg/analyzer/out-of-bounds-5.c | 156 ++ .../gcc.dg/analyzer/out-of-bounds-realloc-grow.c | 87 + gcc/testsuite/gcc.dg/analyzer/out-of-bounds-zero.c | 67 + gcc/testsuite/gcc.dg/analyzer/pr106845.c | 11 + gcc/testsuite/gcc.dg/analyzer/symbolic-gt-1.c | 76 + .../gcc.dg/atomic/c2x-stdatomic-var-init-1.c | 9 + gcc/testsuite/gcc.dg/c11-unreachable-1.c | 9 + gcc/testsuite/gcc.dg/c2x-unreachable-1.c | 29 + .../gcc.dg/plugin/analyzer_kernel_plugin.c | 237 +++ .../gcc.dg/plugin/analyzer_known_fns_plugin.c | 201 ++ gcc/testsuite/gcc.dg/plugin/copy_from_user-1.c | 45 + gcc/testsuite/gcc.dg/plugin/infoleak-1.c | 185 ++ gcc/testsuite/gcc.dg/plugin/infoleak-2.c | 33 + gcc/testsuite/gcc.dg/plugin/infoleak-3.c | 145 ++ .../gcc.dg/plugin/infoleak-CVE-2011-1078-1.c | 138 ++ .../gcc.dg/plugin/infoleak-CVE-2011-1078-2.c | 46 + .../gcc.dg/plugin/infoleak-CVE-2014-1446-1.c | 117 ++ .../gcc.dg/plugin/infoleak-CVE-2017-18549-1.c | 105 + .../gcc.dg/plugin/infoleak-CVE-2017-18550-1.c | 175 ++ .../gcc.dg/plugin/infoleak-antipatterns-1.c | 166 ++ gcc/testsuite/gcc.dg/plugin/infoleak-fixit-1.c | 26 + .../gcc.dg/plugin/infoleak-net-ethtool-ioctl.c | 82 + .../gcc.dg/plugin/infoleak-vfio_iommu_type1.c | 44 + gcc/testsuite/gcc.dg/plugin/known-fns-1.c | 61 + gcc/testsuite/gcc.dg/plugin/plugin.exp | 26 + .../gcc.dg/plugin/taint-CVE-2011-0521-1-fixed.c | 115 ++ .../gcc.dg/plugin/taint-CVE-2011-0521-1.c | 115 ++ .../gcc.dg/plugin/taint-CVE-2011-0521-2-fixed.c | 98 + .../gcc.dg/plugin/taint-CVE-2011-0521-2.c | 95 + .../gcc.dg/plugin/taint-CVE-2011-0521-3-fixed.c | 61 + .../gcc.dg/plugin/taint-CVE-2011-0521-3.c | 59 + .../gcc.dg/plugin/taint-CVE-2011-0521-4.c | 45 + .../gcc.dg/plugin/taint-CVE-2011-0521-5-fixed.c | 46 + .../gcc.dg/plugin/taint-CVE-2011-0521-5.c | 45 + .../gcc.dg/plugin/taint-CVE-2011-0521-6.c | 42 + gcc/testsuite/gcc.dg/plugin/taint-CVE-2011-0521.h | 136 ++ gcc/testsuite/gcc.dg/plugin/taint-antipatterns-1.c | 139 ++ gcc/testsuite/gcc.dg/plugin/test-uaccess.h | 10 + gcc/testsuite/gcc.dg/torture/pr106892.c | 30 + gcc/testsuite/gcc.dg/vect/bb-slp-layout-21.c | 23 + gcc/testsuite/gcc.misc-tests/gcov.exp | 4 +- gcc/testsuite/gcc.target/powerpc/pr106833.c | 14 + .../gcc.target/xtensa/constsynth_3insns.c | 11 + gcc/testsuite/gfortran.dg/gomp/ompx-1.f90 | 2 + gcc/testsuite/gfortran.dg/gomp/omx-1.f | 7 + gcc/testsuite/gfortran.dg/gomp/omx-2.f | 9 + gcc/testsuite/gfortran.dg/ieee/fma_1.f90 | 100 + gcc/testsuite/gfortran.dg/ieee/signbit_1.f90 | 166 ++ gcc/testsuite/gnat.dg/aspect2.adb | 5 - gcc/testsuite/gnat.dg/aspect2.ads | 30 - gcc/testsuite/gnat.dg/config_pragma1.adb | 21 - gcc/testsuite/gnat.dg/config_pragma1_pkg.ads | 21 - gcc/testsuite/gnat.dg/equal8.adb | 6 - gcc/testsuite/gnat.dg/equal8.ads | 36 - gcc/testsuite/gnat.dg/equal8_pkg.ads | 58 - gcc/testsuite/gnat.dg/formal_containers.adb | 23 - gcc/testsuite/gnat.dg/iter1.adb | 20 - gcc/testsuite/gnat.dg/iter1.ads | 8 - gcc/tree-cfg.cc | 3 +- gcc/tree-cfgcleanup.cc | 11 +- gcc/tree-eh.cc | 4 +- gcc/tree-predcom.cc | 18 +- gcc/tree-vect-slp.cc | 2 +- gcc/tree.cc | 74 +- gcc/value-range.cc | 8 +- libcpp/ChangeLog | 8 + libcpp/line-map.cc | 41 +- libgfortran/ChangeLog | 5 + libgfortran/ieee/ieee_arithmetic.F90 | 66 + libgomp/ChangeLog | 157 ++ libgomp/config/gcn/icv-device.c | 27 +- libgomp/config/nvptx/icv-device.c | 27 +- libgomp/env.c | 1318 ++++++++++--- libgomp/icv-device.c | 17 + libgomp/icv.c | 15 - libgomp/libgomp-plugin.h | 12 +- libgomp/libgomp.h | 114 ++ libgomp/libgomp.texi | 151 +- libgomp/oacc-host.c | 3 +- libgomp/plugin/plugin-gcn.c | 60 +- libgomp/plugin/plugin-nvptx.c | 43 +- libgomp/target.c | 123 +- libgomp/testsuite/libgomp.c-c++-common/icv-5.c | 25 + libgomp/testsuite/libgomp.c-c++-common/icv-6.c | 53 + libgomp/testsuite/libgomp.c-c++-common/icv-7.c | 26 + libgomp/testsuite/libgomp.c-c++-common/icv-8.c | 26 + .../libgomp.c-c++-common/omp-display-env-1.c | 119 ++ .../libgomp.c-c++-common/omp-display-env-2.c | 22 + .../testsuite/libgomp.c-c++-common/requires-4.c | 1 + .../testsuite/libgomp.c-c++-common/requires-5.c | 1 + .../testsuite/libgomp.c-c++-common/requires-6.c | 2 + .../libgomp.c-c++-common/reverse-offload-1.c | 1 + libgomp/testsuite/libgomp.c/doacross-4.c | 228 +++ libgomp/testsuite/libgomp.c/doacross-5.c | 198 ++ libgomp/testsuite/libgomp.c/doacross-6.c | 231 +++ libgomp/testsuite/libgomp.c/doacross-7.c | 231 +++ libgomp/testsuite/libgomp.c/reverse-offload-sm30.c | 15 + .../libgomp.fortran/reverse-offload-1.f90 | 1 + liboffloadmic/ChangeLog | 5 + liboffloadmic/plugin/libgomp-plugin-intelmic.cpp | 3 +- libstdc++-v3/ChangeLog | 88 + libstdc++-v3/acinclude.m4 | 2 +- libstdc++-v3/config/abi/pre/gnu.ver | 6 +- libstdc++-v3/configure | 2 +- libstdc++-v3/include/bits/atomic_base.h | 98 +- libstdc++-v3/include/bits/basic_string.h | 4 + libstdc++-v3/include/bits/basic_string.tcc | 70 +- libstdc++-v3/include/c_global/cstddef | 13 +- libstdc++-v3/include/std/atomic | 58 +- libstdc++-v3/include/std/ranges | 14 +- libstdc++-v3/include/std/system_error | 18 +- libstdc++-v3/testsuite/17_intro/names.cc | 4 + .../19_diagnostics/error_code/cons/lwg3629.cc | 48 + .../19_diagnostics/error_condition/cons/lwg3629.cc | 48 + .../is_complete_or_unbounded/memoization_neg.cc | 2 + .../is_move_constructible/incomplete_neg.cc | 1 + .../20_util/is_nothrow_swappable/incomplete_neg.cc | 1 + .../is_nothrow_swappable_with/incomplete_neg.cc | 1 + .../20_util/is_swappable_with/incomplete_neg.cc | 1 + .../29_atomics/atomic/compare_exchange_padding.cc | 42 + .../atomic_ref/compare_exchange_padding.cc | 43 + .../testsuite/std/ranges/adaptors/adjacent/1.cc | 12 + libstdc++-v3/testsuite/std/ranges/zip/1.cc | 18 + libstdc++-v3/testsuite/util/testsuite_abi.cc | 3 +- .../testsuite/util/testsuite_performance.h | 63 +- 312 files changed, 13632 insertions(+), 31577 deletions(-)