From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id 19BD9381EC92; Wed, 7 Dec 2022 19:51:50 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 19BD9381EC92 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1670442710; bh=6ImssOpqvc3b4PeQIfGT60tH9n7fdmrZXCOOyyyd9p0=; h=From:To:Subject:Date:From; b=yNM9pM4WfzvkKfpRaNUI1xvmprTrjR9Bx/u5gJZcHFiRmr05UFw+OPS8HdUFS2JyB /Mnfh7AODRQwpJkknAZm0r5Ev+pguQbVihHeVW1DqDYg7kmSgYXRRspL89KU4m+8RJ +mzBgMUVZ0cjknKI2P6KL97NgcKGwA6bXibmEGwE= 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: 442bcd0e9f6650c611fec17c5558637e13c0ac21 X-Git-Newrev: aaa673daca2fd4fd159dae2a88f2b68dfc9f58b1 Message-Id: <20221207195150.19BD9381EC92@sourceware.org> Date: Wed, 7 Dec 2022 19:51:50 +0000 (GMT) List-Id: https://gcc.gnu.org/g:aaa673daca2fd4fd159dae2a88f2b68dfc9f58b1 commit aaa673daca2fd4fd159dae2a88f2b68dfc9f58b1 Merge: 442bcd0e9f6 952c8a1dc62 Author: Gaius Mulley Date: Wed Dec 7 19:51:10 2022 +0000 Merge branch 'master' into devel/modula-2. Signed-off-by: Gaius Mulley Diff: MAINTAINERS | 1 + Makefile.def | 13 +- Makefile.in | 120 +- configure | 11 + configure.ac | 10 + contrib/ChangeLog | 4 + contrib/gcc.doxy | 2 +- gcc/ChangeLog | 458 ++++ gcc/DATESTAMP | 2 +- gcc/Makefile.in | 4 + gcc/ada/ChangeLog | 223 ++ gcc/ada/accessibility.adb | 2305 ++++++++++++++++++++ gcc/ada/accessibility.ads | 222 ++ gcc/ada/checks.adb | 113 - gcc/ada/checks.ads | 10 - gcc/ada/contracts.adb | 32 +- gcc/ada/doc/gnat_rm/the_gnat_library.rst | 40 +- .../doc/gnat_ugn/gnat_and_program_execution.rst | 15 +- gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst | 16 + gcc/ada/doc/share/conf.py | 100 +- gcc/ada/einfo.ads | 8 +- gcc/ada/exp_aggr.adb | 2 +- gcc/ada/exp_attr.adb | 15 +- gcc/ada/exp_ch3.adb | 469 +++- gcc/ada/exp_ch4.adb | 442 ++-- gcc/ada/exp_ch5.adb | 1 + gcc/ada/exp_ch6.adb | 109 +- gcc/ada/exp_ch6.ads | 27 +- gcc/ada/exp_ch9.adb | 1 + gcc/ada/exp_disp.adb | 1 + gcc/ada/exp_util.adb | 6 +- gcc/ada/gcc-interface/Make-lang.in | 1 + gcc/ada/gcc-interface/trans.cc | 17 +- gcc/ada/gen_il-fields.ads | 3 +- gcc/ada/gen_il-gen-gen_nodes.adb | 3 +- gcc/ada/gen_il-internals.adb | 2 - gcc/ada/gnat_rm.texi | 66 +- gcc/ada/gnat_ugn.texi | 19 +- gcc/ada/lib-xref.adb | 2 +- gcc/ada/libgnat/i-c.adb | 15 +- gcc/ada/sem_aggr.adb | 2 +- gcc/ada/sem_attr.adb | 162 +- gcc/ada/sem_ch13.adb | 7 + gcc/ada/sem_ch3.adb | 140 ++ gcc/ada/sem_ch4.adb | 65 +- gcc/ada/sem_ch5.adb | 7 +- gcc/ada/sem_ch6.adb | 654 +----- gcc/ada/sem_ch9.adb | 1 + gcc/ada/sem_elab.adb | 24 +- gcc/ada/sem_prag.adb | 49 +- gcc/ada/sem_res.adb | 53 +- gcc/ada/sem_util.adb | 1338 +----------- gcc/ada/sem_util.ads | 141 +- gcc/ada/sem_warn.adb | 41 +- gcc/ada/sinfo.ads | 15 +- gcc/ada/treepr.adb | 5 +- gcc/analyzer/ChangeLog | 329 +++ gcc/analyzer/analyzer.cc | 2 +- gcc/analyzer/analyzer.h | 6 +- gcc/analyzer/bounds-checking.cc | 943 ++++++++ gcc/analyzer/call-details.cc | 231 ++ gcc/analyzer/call-details.h | 77 + gcc/analyzer/call-info.cc | 16 +- gcc/analyzer/call-summary.h | 2 + gcc/analyzer/checker-event.cc | 166 +- gcc/analyzer/checker-event.h | 187 +- gcc/analyzer/checker-path.cc | 17 +- gcc/analyzer/checker-path.h | 6 +- gcc/analyzer/diagnostic-manager.cc | 103 +- gcc/analyzer/diagnostic-manager.h | 3 +- gcc/analyzer/engine.cc | 87 +- gcc/analyzer/infinite-recursion.cc | 7 +- gcc/analyzer/kf-analyzer.cc | 386 ++++ gcc/analyzer/kf-lang-cp.cc | 111 + gcc/analyzer/known-function-manager.cc | 1 + gcc/analyzer/pending-diagnostic.cc | 38 +- gcc/analyzer/pending-diagnostic.h | 36 +- gcc/analyzer/region-model-impl-calls.cc | 619 +----- gcc/analyzer/region-model-manager.cc | 14 + gcc/analyzer/region-model-manager.h | 1 + gcc/analyzer/region-model.cc | 748 +------ gcc/analyzer/region-model.h | 56 +- gcc/analyzer/region.cc | 12 + gcc/analyzer/region.h | 2 + gcc/analyzer/sm-fd.cc | 7 +- gcc/analyzer/sm-fd.dot | 6 + gcc/analyzer/sm-file.cc | 1 + gcc/analyzer/sm-malloc.cc | 1 + gcc/analyzer/sm-signal.cc | 2 +- gcc/analyzer/state-purge.cc | 4 + gcc/analyzer/store.cc | 30 +- gcc/analyzer/store.h | 8 +- gcc/analyzer/varargs.cc | 18 +- gcc/attribs.cc | 30 + gcc/attribs.h | 2 + gcc/c-family/ChangeLog | 20 + gcc/c-family/c-attribs.cc | 2 +- gcc/c-family/c-omp.cc | 9 +- gcc/c/ChangeLog | 5 + gcc/c/c-decl.cc | 21 +- gcc/cfghooks.cc | 1 + gcc/config/aarch64/aarch64-protos.h | 7 +- gcc/config/aarch64/aarch64-sve-builtins-base.cc | 15 +- gcc/config/aarch64/aarch64.cc | 193 +- gcc/config/aarch64/aarch64.md | 17 +- gcc/config/aarch64/constraints.md | 5 + gcc/config/arm/mve.md | 10 +- gcc/config/gcn/gcn-opts.h | 6 + gcc/config/gcn/gcn.h | 40 +- gcc/config/i386/i386-expand.cc | 47 +- gcc/config/i386/i386.md | 36 +- gcc/config/i386/mmx.md | 3 +- gcc/config/i386/x86-tune.def | 3 +- gcc/config/riscv/constraints.md | 5 + gcc/config/riscv/predicates.md | 5 + gcc/config/riscv/riscv-protos.h | 15 + gcc/config/riscv/riscv-selftests.cc | 127 ++ gcc/config/riscv/riscv-v.cc | 130 +- gcc/config/riscv/riscv-vector-switch.def | 97 +- gcc/config/riscv/riscv.cc | 15 +- gcc/config/riscv/riscv.h | 3 + gcc/config/riscv/vector-iterators.md | 9 + gcc/config/riscv/vector.md | 240 +- gcc/config/rs6000/rs6000-call.cc | 10 +- gcc/config/rs6000/vsx.md | 4 +- gcc/configure | 266 +-- gcc/configure.ac | 2 +- gcc/cp/ChangeLog | 84 + gcc/cp/Make-lang.in | 4 +- gcc/cp/constraint.cc | 18 +- gcc/cp/contracts.cc | 2 +- gcc/cp/coroutines.cc | 1 + gcc/cp/cp-tree.h | 10 +- gcc/cp/decl.cc | 25 +- gcc/cp/g++spec.cc | 4 +- gcc/cp/method.cc | 2 +- gcc/cp/parser.cc | 32 +- gcc/cp/pt.cc | 31 +- gcc/cp/semantics.cc | 15 +- gcc/cp/tree.cc | 21 +- gcc/d/ChangeLog | 28 + gcc/diagnostic-path.h | 3 + gcc/diagnostic.cc | 37 +- gcc/doc/analyzer.texi | 10 - gcc/doc/install.texi | 3 +- gcc/doc/invoke.texi | 30 +- gcc/fold-const.cc | 6 +- gcc/fortran/ChangeLog | 23 + gcc/fortran/intrinsic.texi | 60 +- gcc/fortran/resolve.cc | 2 +- gcc/fortran/simplify.cc | 11 +- gcc/function.cc | 3 +- gcc/gcc.cc | 7 +- gcc/gimple-array-bounds.cc | 150 +- gcc/gimple-fold.cc | 17 +- gcc/gimple-fold.h | 1 + gcc/gimple-predicate-analysis.cc | 24 +- gcc/gimple-predicate-analysis.h | 23 +- gcc/gimple-ssa-warn-access.cc | 52 +- gcc/gimplify.cc | 3 +- gcc/ipa-pure-const.cc | 5 +- gcc/jit/jit-playback.cc | 27 +- gcc/jit/jit-playback.h | 2 +- gcc/jit/jit-recording.cc | 3 +- gcc/jit/jit-recording.h | 18 +- gcc/lra-constraints.cc | 13 +- gcc/match.pd | 26 + gcc/params.opt | 4 + gcc/pointer-query.cc | 20 +- gcc/pointer-query.h | 5 +- gcc/range-op-float.cc | 109 +- gcc/testsuite/ChangeLog | 410 ++++ gcc/testsuite/c-c++-common/gomp/target-teams-1.c | 2 +- gcc/testsuite/c-c++-common/pr57371-4.c | 8 +- gcc/testsuite/c-c++-common/pr57371-5.c | 47 + gcc/testsuite/g++.dg/coroutines/pr100611.C | 94 + gcc/testsuite/g++.dg/coroutines/pr101367.C | 72 + gcc/testsuite/g++.dg/coroutines/pr101976.C | 78 + gcc/testsuite/g++.dg/coroutines/pr99576_1.C | 124 ++ gcc/testsuite/g++.dg/coroutines/pr99576_2.C | 72 + gcc/testsuite/g++.dg/cpp0x/constexpr-ex1.C | 6 +- gcc/testsuite/g++.dg/cpp1z/decomp56.C | 29 + gcc/testsuite/g++.dg/cpp23/constexpr-nonlit10.C | 4 +- gcc/testsuite/g++.dg/cpp23/constexpr-nonlit11.C | 4 +- gcc/testsuite/g++.dg/cpp2a/concepts-requires33.C | 10 + gcc/testsuite/g++.dg/cpp2a/spaceship-eq3.C | 1 + gcc/testsuite/g++.dg/cpp2a/using-enum-10.C | 16 + gcc/testsuite/g++.dg/cpp2a/using-enum-10a.C | 19 + gcc/testsuite/g++.dg/diagnostic/return-type-loc1.C | 20 + gcc/testsuite/g++.dg/gomp/for-21.C | 18 +- gcc/testsuite/g++.dg/gomp/for-22.C | 57 + gcc/testsuite/g++.dg/gomp/pr84469.C | 24 + gcc/testsuite/g++.dg/gomp/target-teams-1.C | 2 +- gcc/testsuite/g++.dg/template/canon-type-19.C | 18 + .../g++.dg/warn/Warray-bounds-pr104165-1.C | 27 + gcc/testsuite/g++.target/aarch64/sve/pr107920.C | 19 + .../gcc.c-torture/execute/ieee/fp-cmp-6.x | 1 + .../gcc.c-torture/execute/ieee/fp-cmp-9.c | 31 + .../gcc.c-torture/execute/ieee/fp-cmp-9.x | 16 + gcc/testsuite/gcc.c-torture/execute/ieee/ieee.exp | 3 + gcc/testsuite/gcc.c-torture/execute/pr107879.c | 25 + gcc/testsuite/gcc.dg/Warray-bounds-11.c | 2 +- gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-1.c | 39 + gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c | 39 + gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-3.c | 39 + gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-4.c | 39 + gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-5.c | 39 + gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-6.c | 39 + gcc/testsuite/gcc.dg/Wdangling-pointer-pr106868.c | 14 + gcc/testsuite/gcc.dg/analyzer/allocation-size-4.c | 2 +- .../gcc.dg/analyzer/allocation-size-multiline-1.c | 59 + .../gcc.dg/analyzer/allocation-size-multiline-2.c | 62 + .../gcc.dg/analyzer/attr-nonnull-pr106325.c | 250 +++ gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 18 + gcc/testsuite/gcc.dg/analyzer/call-summaries-2.c | 3 +- gcc/testsuite/gcc.dg/analyzer/fd-bind-pr107928.c | 10 + .../gcc.dg/analyzer/fd-connect-pr107928.c | 10 + .../gcc.dg/analyzer/fd-stream-socket-active-open.c | 31 + .../analyzer/fd-stream-socket-passive-open.c | 98 + .../gcc.dg/analyzer/feasibility-pr107948.c | 49 + gcc/testsuite/gcc.dg/analyzer/memcpy-pr107882.c | 8 + gcc/testsuite/gcc.dg/analyzer/out-of-bounds-1.c | 18 +- gcc/testsuite/gcc.dg/analyzer/out-of-bounds-2.c | 15 +- gcc/testsuite/gcc.dg/analyzer/out-of-bounds-3.c | 27 +- gcc/testsuite/gcc.dg/analyzer/out-of-bounds-4.c | 15 +- gcc/testsuite/gcc.dg/analyzer/out-of-bounds-5.c | 20 +- .../gcc.dg/analyzer/out-of-bounds-container_of.c | 4 +- .../gcc.dg/analyzer/out-of-bounds-multiline-1.c | 37 + .../gcc.dg/analyzer/out-of-bounds-multiline-2.c | 32 + .../gcc.dg/analyzer/out-of-bounds-read-char-arr.c | 47 +- .../gcc.dg/analyzer/out-of-bounds-read-int-arr.c | 28 +- .../analyzer/out-of-bounds-read-struct-arr.c | 65 + .../gcc.dg/analyzer/out-of-bounds-write-char-arr.c | 41 +- .../gcc.dg/analyzer/out-of-bounds-write-int-arr.c | 22 +- .../analyzer/out-of-bounds-write-struct-arr.c | 65 + gcc/testsuite/gcc.dg/analyzer/pr101962.c | 2 +- gcc/testsuite/gcc.dg/analyzer/realloc-5.c | 2 +- .../gcc.dg/analyzer/string-ops-concat-pair.c | 67 + gcc/testsuite/gcc.dg/analyzer/string-ops-dup.c | 61 + gcc/testsuite/gcc.dg/analyzer/zlib-3.c | 2 +- .../gcc.dg/plugin/analyzer_kernel_plugin.c | 1 + .../gcc.dg/plugin/analyzer_known_fns_plugin.c | 1 + gcc/testsuite/gcc.dg/pr105676.c | 14 + gcc/testsuite/gcc.dg/pr107937.c | 24 + gcc/testsuite/gcc.dg/pr107975.c | 15 + gcc/testsuite/gcc.dg/torture/pr107833.c | 33 + gcc/testsuite/gcc.dg/torture/pr107935.c | 18 + gcc/testsuite/gcc.dg/tree-ssa/branchless-cond.c | 26 + gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-18.c | 7 +- gcc/testsuite/gcc.dg/uninit-pr107839.c | 13 + gcc/testsuite/gcc.dg/uninit-pr40635.c | 33 + gcc/testsuite/gcc.dg/uninit-pred-9_b.c | 2 +- .../gcc.target/aarch64/interleave-init-1.c | 37 + .../gcc.target/aarch64/sve/acle/general/pr107920.c | 10 + gcc/testsuite/gcc.target/arm/mve/pr107987.c | 11 + gcc/testsuite/gcc.target/arm/simd/mve-compare-1.c | 48 +- .../gcc.target/arm/simd/mve-compare-scalar-1.c | 48 +- gcc/testsuite/gcc.target/arm/simd/mve-vabs.c | 2 +- gcc/testsuite/gcc.target/arm/simd/mve-vadd-1.c | 10 +- .../gcc.target/arm/simd/mve-vadd-scalar-1.c | 10 +- gcc/testsuite/gcc.target/arm/simd/mve-vcmp.c | 16 +- gcc/testsuite/gcc.target/arm/simd/pr101325.c | 4 +- gcc/testsuite/gcc.target/i386/cbranchbf4.c | 15 + gcc/testsuite/gcc.target/i386/pr106577.c | 10 + gcc/testsuite/gcc.target/i386/pr107627-1.c | 22 + gcc/testsuite/gcc.target/i386/pr107627-2.c | 22 + gcc/testsuite/gcc.target/i386/pr107863.c | 8 + gcc/testsuite/gcc.target/i386/pr107934.c | 8 + gcc/testsuite/gcc.target/i386/pr107969.c | 12 + gcc/testsuite/gcc.target/i386/pr107970.c | 10 + gcc/testsuite/gcc.target/mips/pr106462.c | 12 + gcc/testsuite/gcc.target/powerpc/pr100866-1.c | 11 + gcc/testsuite/gcc.target/riscv/rvv/base/dup-1.c | 521 +++++ gcc/testsuite/gcc.target/riscv/rvv/base/dup-2.c | 75 + .../gcc.target/x86_64/abi/bf16/abi-bf16.exp | 12 +- gcc/testsuite/gcc.target/x86_64/abi/bf16/args.h | 4 +- .../x86_64/abi/bf16/asm-support-darwin.S | 97 + .../x86_64/abi/bf16/m256bf16/abi-bf16-ymm.exp | 12 +- .../gcc.target/x86_64/abi/bf16/m256bf16/args.h | 4 +- .../x86_64/abi/bf16/m256bf16/asm-support-darwin.S | 97 + .../x86_64/abi/bf16/m512bf16/abi-bf16-zmm.exp | 12 +- .../gcc.target/x86_64/abi/bf16/m512bf16/args.h | 4 +- .../x86_64/abi/bf16/m512bf16/asm-support-darwin.S | 113 + gcc/testsuite/gfortran.dg/gomp/defaultmap-4.f90 | 4 +- gcc/testsuite/gfortran.dg/gomp/defaultmap-5.f90 | 4 +- gcc/testsuite/gfortran.dg/gomp/defaultmap-6.f90 | 2 +- gcc/testsuite/gfortran.dg/merge_1.f90 | 22 +- gcc/testsuite/gfortran.dg/pr107899.f90 | 13 + gcc/testsuite/gfortran.dg/unpack_field_1.f90 | 15 + gcc/testsuite/jit.dg/harness.h | 15 + gcc/testsuite/jit.dg/test-expressions.c | 234 +- gcc/tree-into-ssa.cc | 11 +- gcc/tree-ssa-loop-im.cc | 24 +- gcc/tree-ssa-loop-ivopts.cc | 111 - gcc/tree-ssa-loop-unswitch.cc | 4 +- gcc/tree-ssa-sccvn.cc | 7 +- gcc/tree-ssa.cc | 93 + gcc/tree-ssa.h | 25 + gcc/tree-vect-patterns.cc | 2 + gcc/tree.cc | 159 +- gcc/tree.h | 12 +- gcc/varasm.cc | 2 +- libgomp/ChangeLog | 57 + libgomp/config/gcn/icv-device.c | 15 + libgomp/config/nvptx/icv-device.c | 15 + libgomp/icv-device.c | 17 + libgomp/icv.c | 15 - libgomp/libgomp.texi | 10 +- libgomp/plugin/plugin-gcn.c | 14 +- libgomp/target.c | 188 +- libgomp/testsuite/libgomp.c-c++-common/icv-4.c | 2 +- libgomp/testsuite/libgomp.c-c++-common/icv-5.c | 198 +- libgomp/testsuite/libgomp.c-c++-common/icv-6.c | 61 +- libgomp/testsuite/libgomp.c-c++-common/icv-7.c | 83 +- libgomp/testsuite/libgomp.c-c++-common/icv-9.c | 72 + libgomp/testsuite/libgomp.fortran/icv-5.f90 | 226 ++ libgomp/testsuite/libgomp.fortran/icv-6.f90 | 140 ++ libsanitizer/ChangeLog | 4 + libsanitizer/configure.tgt | 2 +- libstdc++-v3/ChangeLog | 94 + libstdc++-v3/config/os/bsd/darwin/os_defines.h | 18 +- libstdc++-v3/include/bits/std_mutex.h | 1 + libstdc++-v3/include/bits/unique_lock.h | 5 + libstdc++-v3/include/bits/vector.tcc | 40 +- libstdc++-v3/include/std/chrono | 145 +- libstdc++-v3/include/std/format | 37 +- libstdc++-v3/include/std/mutex | 14 + libstdc++-v3/include/std/shared_mutex | 22 +- libstdc++-v3/include/std/stacktrace | 19 +- libstdc++-v3/testsuite/17_intro/names.cc | 7 + .../try_lock_until/clock_neg.cc | 4 +- .../testsuite/30_threads/shared_lock/locking/3.cc | 2 +- .../testsuite/30_threads/shared_lock/locking/4.cc | 2 +- .../30_threads/shared_lock/locking/clock_neg.cc | 4 +- .../shared_timed_mutex/try_lock_until/clock_neg.cc | 4 +- .../timed_mutex/try_lock_until/clock_neg.cc | 4 +- libstdc++-v3/testsuite/30_threads/try_lock/4.cc | 2 +- .../testsuite/30_threads/unique_lock/cons/60497.cc | 2 +- .../testsuite/30_threads/unique_lock/locking/3.cc | 2 +- .../30_threads/unique_lock/locking/clock_neg.cc | 4 +- .../testsuite/std/format/functions/107871.cc | 14 + .../testsuite/std/format/functions/format.cc | 4 + libstdc++-v3/testsuite/std/format/parse_ctx.cc | 45 +- libstdc++-v3/testsuite/std/time/hh_mm_ss/1.cc | 56 +- maintainer-scripts/ChangeLog | 5 + 345 files changed, 14711 insertions(+), 6135 deletions(-)