From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id D9014382F99C; Sat, 8 Oct 2022 08:19:48 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D9014382F99C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665217188; bh=Xd+LyUZ9Vx8g0gJwl9XIkPVu/lOGAcmAD8PfLQWodAw=; h=From:To:Subject:Date:From; b=avtjrmMXICFFVuvQ/h1QN62A+nNr4H1XWuEX7zrNdEKe9TdCl8KkCVCoxkhhxvgdN ZVHlFdrDh5VajL+cn2ChiBfGbF7PZUnbsKDT2VdGmbP+86kWBg+t++LuC1pEpA0dor DSHHzMEN9NINoNwKAA17etJtXR6Kt9ZTdzHN8dXo= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Martin Liska To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc/devel/sphinx] Merge branch 'master' into devel/sphinx X-Act-Checkin: gcc X-Git-Author: Martin Liska X-Git-Refname: refs/heads/devel/sphinx X-Git-Oldrev: da0970e441345f8349522ff1abac5c223044ebb1 X-Git-Newrev: d9e7934d25da4a78ffef1f738206aa1d897911df Message-Id: <20221008081948.D9014382F99C@sourceware.org> Date: Sat, 8 Oct 2022 08:19:48 +0000 (GMT) List-Id: https://gcc.gnu.org/g:d9e7934d25da4a78ffef1f738206aa1d897911df commit d9e7934d25da4a78ffef1f738206aa1d897911df Merge: da0970e4413 6ffbf87ca66 Author: Martin Liska Date: Sat Oct 8 10:19:23 2022 +0200 Merge branch 'master' into devel/sphinx Diff: contrib/ChangeLog | 13 + contrib/gcc-changelog/git_update_version.py | 37 +- fixincludes/ChangeLog | 15 + fixincludes/fixincl.x | 103 ++- fixincludes/inclhack.def | 41 +- fixincludes/tests/base/bits/floatn.h | 22 + gcc/ChangeLog | 394 +++++++++ gcc/DATESTAMP | 2 +- gcc/Makefile.in | 1 + gcc/ada/ChangeLog | 147 ++++ .../doc/gnat_rm/implementation_defined_pragmas.rst | 6 +- .../doc/gnat_rm/security_hardening_features.rst | 132 ++- gcc/ada/exp_ch5.adb | 16 +- gcc/ada/exp_ch9.adb | 2 +- gcc/ada/exp_util.adb | 17 +- gcc/ada/fe.h | 10 + gcc/ada/gcc-interface/ada-tree.def | 4 + gcc/ada/gcc-interface/decl.cc | 6 +- gcc/ada/gcc-interface/gigi.h | 28 + gcc/ada/gcc-interface/misc.cc | 1 + gcc/ada/gcc-interface/trans.cc | 326 +++++++- gcc/ada/gcc-interface/utils.cc | 7 + gcc/ada/gcc-interface/utils2.cc | 294 ++++++- gcc/ada/gnat_rm.texi | 132 ++- gcc/ada/sem_ch4.adb | 7 +- gcc/ada/sem_ch6.adb | 2 +- gcc/ada/sem_ch9.adb | 10 +- gcc/ada/sem_prag.adb | 18 +- gcc/ada/sem_util.ads | 10 + gcc/analyzer/ChangeLog | 202 +++++ gcc/analyzer/analysis-plan.cc | 2 - gcc/analyzer/analyzer-logging.h | 2 + gcc/analyzer/analyzer-pass.cc | 1 - gcc/analyzer/analyzer-selftests.cc | 1 - gcc/analyzer/analyzer.cc | 1 - gcc/analyzer/analyzer.h | 13 + gcc/analyzer/call-info.cc | 19 +- gcc/analyzer/call-string.cc | 1 - gcc/analyzer/call-summary.cc | 889 +++++++++++++++++++++ gcc/analyzer/call-summary.h | 117 +++ gcc/analyzer/checker-path.cc | 8 - gcc/analyzer/complexity.cc | 4 - gcc/analyzer/constraint-manager.cc | 58 +- gcc/analyzer/constraint-manager.h | 3 + gcc/analyzer/diagnostic-manager.cc | 7 - gcc/analyzer/engine.cc | 206 ++++- gcc/analyzer/exploded-graph.h | 34 +- gcc/analyzer/feasible-graph.cc | 7 - gcc/analyzer/known-function-manager.cc | 1 - gcc/analyzer/known-function-manager.h | 2 + gcc/analyzer/pending-diagnostic.cc | 8 - gcc/analyzer/program-point.cc | 4 - gcc/analyzer/program-point.h | 3 + gcc/analyzer/program-state.cc | 54 +- gcc/analyzer/program-state.h | 6 + gcc/analyzer/region-model-asm.cc | 3 - gcc/analyzer/region-model-impl-calls.cc | 17 +- gcc/analyzer/region-model-manager.cc | 54 +- gcc/analyzer/region-model-manager.h | 318 ++++++++ gcc/analyzer/region-model-reachability.cc | 9 +- gcc/analyzer/region-model.cc | 113 ++- gcc/analyzer/region-model.h | 300 +------ gcc/analyzer/region.cc | 4 - gcc/analyzer/sm-fd.cc | 4 - gcc/analyzer/sm-file.cc | 3 - gcc/analyzer/sm-malloc.cc | 4 - gcc/analyzer/sm-pattern-test.cc | 4 - gcc/analyzer/sm-sensitive.cc | 3 - gcc/analyzer/sm-signal.cc | 6 - gcc/analyzer/sm-taint.cc | 4 - gcc/analyzer/sm.cc | 2 - gcc/analyzer/state-purge.cc | 10 +- gcc/analyzer/store.cc | 148 +++- gcc/analyzer/store.h | 14 + gcc/analyzer/supergraph.cc | 10 +- gcc/analyzer/supergraph.h | 10 +- gcc/analyzer/svalue.cc | 39 +- gcc/analyzer/svalue.h | 11 +- gcc/analyzer/trimmed-graph.cc | 13 - gcc/analyzer/varargs.cc | 11 - gcc/attribs.cc | 69 ++ gcc/attribs.h | 59 +- gcc/auto-profile.cc | 2 - gcc/c-family/ChangeLog | 37 + gcc/c-family/c-attribs.cc | 62 ++ gcc/c-family/c-common.cc | 10 +- gcc/c-family/c-common.h | 24 +- gcc/c-family/c-lex.cc | 2 + gcc/c-family/c.opt | 7 + gcc/c-family/name-hint.h | 2 +- gcc/c/ChangeLog | 69 ++ gcc/c/c-decl.cc | 130 ++- gcc/c/c-parser.cc | 167 +++- gcc/c/c-typeck.cc | 15 +- gcc/common.opt | 2 +- gcc/config.gcc | 1 + gcc/config/aarch64/aarch64-arches.def | 2 +- gcc/config/aarch64/aarch64-c.cc | 1 + gcc/config/aarch64/aarch64-cores.def | 12 +- gcc/config/aarch64/aarch64.h | 1 + gcc/config/aarch64/atomics.md | 17 + gcc/config/aarch64/driver-aarch64.cc | 4 +- gcc/config/arc/linux.h | 1 - gcc/config/i386/i386-protos.h | 4 +- gcc/config/riscv/riscv-builtins.cc | 2 +- gcc/config/riscv/riscv-c.cc | 46 +- gcc/config/riscv/riscv-protos.h | 11 + gcc/config/riscv/riscv-vector-builtins.cc | 45 ++ gcc/config/riscv/riscv-vector-builtins.h | 13 +- gcc/config/riscv/riscv.cc | 7 +- gcc/config/riscv/riscv.h | 2 + gcc/config/riscv/riscv_vector.h | 100 +++ gcc/config/riscv/t-riscv | 2 +- gcc/config/rs6000/constraints.md | 6 - gcc/config/rs6000/vsx.md | 85 +- gcc/config/vxworks.cc | 10 +- gcc/config/vxworks.h | 8 +- gcc/config/vxworks/_vxworks-versions.h | 19 +- gcc/cp/ChangeLog | 151 ++++ gcc/cp/Make-lang.in | 2 +- gcc/cp/call.cc | 60 +- gcc/cp/constexpr.cc | 90 +++ gcc/cp/coroutines.cc | 48 +- gcc/cp/cp-gimplify.cc | 92 ++- gcc/cp/cp-tree.h | 17 +- gcc/cp/decl.cc | 2 +- gcc/cp/except.cc | 2 +- gcc/cp/init.cc | 50 +- gcc/cp/lex.cc | 4 +- gcc/cp/method.cc | 6 +- gcc/cp/module.cc | 43 +- gcc/cp/name-lookup.cc | 2 +- gcc/cp/parser.cc | 117 +-- gcc/cp/pt.cc | 184 ++--- gcc/cp/semantics.cc | 87 +- gcc/cp/tree.cc | 16 +- gcc/cp/typeck.cc | 6 +- gcc/cp/typeck2.cc | 56 +- gcc/cselib.cc | 1 + gcc/defaults.h | 6 + gcc/df-scan.cc | 24 +- gcc/doc/analyzer.texi | 4 + gcc/doc/extend.texi | 75 +- gcc/doc/invoke.texi | 45 +- gcc/doc/md.texi | 3 - gcc/doc/tm.texi | 6 + gcc/doc/tm.texi.in | 6 + gcc/expr.cc | 4 +- gcc/fold-const.cc | 28 +- gcc/fold-const.h | 1 + gcc/fortran/ChangeLog | 50 ++ gcc/fortran/dump-parse-tree.cc | 41 + gcc/fortran/gfortran.h | 23 +- gcc/fortran/match.h | 2 + gcc/fortran/openmp.cc | 403 ++++++++++ gcc/fortran/parse.cc | 37 +- gcc/fortran/parse.h | 2 +- gcc/fortran/resolve.cc | 5 + gcc/fortran/st.cc | 1 + gcc/fortran/symbol.cc | 8 +- gcc/fortran/trans-openmp.cc | 37 + gcc/fortran/trans.cc | 1 + gcc/function.cc | 13 +- gcc/gimple-loop-jam.cc | 18 +- gcc/gimple-predicate-analysis.cc | 2 +- gcc/gimple-range-op.cc | 15 +- gcc/gimplify.cc | 34 +- gcc/ginclude/stddef.h | 1 + gcc/go/gofrontend/MERGE | 2 +- gcc/go/gofrontend/expressions.cc | 7 +- gcc/internal-fn.cc | 6 + gcc/internal-fn.def | 4 + gcc/internal-fn.h | 1 + gcc/ipa-prop.h | 2 +- gcc/objc/ChangeLog | 5 + gcc/objc/objc-gnu-runtime-abi-01.cc | 6 +- gcc/opts.cc | 5 +- gcc/pointer-query.cc | 19 +- gcc/print-tree.cc | 8 +- gcc/range-op-float.cc | 12 +- gcc/range-op.cc | 12 + gcc/testsuite/ChangeLog | 260 ++++++ gcc/testsuite/c-c++-common/gomp/assume-4.c | 23 + gcc/testsuite/g++.dg/cpp0x/elision4.C | 15 + gcc/testsuite/g++.dg/cpp1z/fallthrough2.C | 24 + gcc/testsuite/g++.dg/cpp23/attr-assume1.C | 191 +++++ gcc/testsuite/g++.dg/cpp23/attr-assume2.C | 83 ++ gcc/testsuite/g++.dg/cpp23/attr-assume3.C | 198 +++++ gcc/testsuite/g++.dg/cpp23/attr-assume4.C | 136 ++++ gcc/testsuite/g++.dg/cpp23/feat-cxx2b.C | 88 +- gcc/testsuite/g++.dg/cpp2a/attr-likely7.C | 38 + gcc/testsuite/g++.dg/cpp2a/feat-cxx2a.C | 76 +- gcc/testsuite/g++.dg/debug/dwarf2/lineno-array1.C | 25 + .../ext/reference_constructs_from_temporary1.C | 2 +- .../ext/reference_converts_from_temporary1.C | 2 +- gcc/testsuite/g++.dg/init/elide9.C | 25 + gcc/testsuite/g++.dg/modules/bad-mapper-1.C | 2 +- gcc/testsuite/g++.dg/modules/bfield-3.H | 8 + gcc/testsuite/g++.dg/modules/indirect-3_b.C | 2 +- gcc/testsuite/g++.dg/modules/static-2_a.H | 8 + gcc/testsuite/g++.dg/modules/static-2_b.C | 9 + gcc/testsuite/g++.dg/modules/tpl-spec-8_a.H | 10 + gcc/testsuite/g++.dg/modules/tpl-spec-8_b.C | 8 + gcc/testsuite/g++.dg/strict-flex-array-1.C | 31 + gcc/testsuite/gcc.c-torture/execute/20221006-1.c | 29 + gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 3 + gcc/testsuite/gcc.dg/analyzer/call-summaries-2.c | 653 +++++++++++++++ gcc/testsuite/gcc.dg/analyzer/call-summaries-3.c | 29 + .../gcc.dg/analyzer/call-summaries-asm-x86.c | 20 + .../gcc.dg/analyzer/call-summaries-malloc.c | 80 ++ .../gcc.dg/analyzer/call-summaries-pr107072.c | 90 +++ .../gcc.dg/analyzer/call-summaries-pr107158-2.c | 108 +++ .../gcc.dg/analyzer/call-summaries-pr107158.c | 83 ++ gcc/testsuite/gcc.dg/analyzer/pr105783.c | 26 + gcc/testsuite/gcc.dg/attr-assume-1.c | 69 ++ gcc/testsuite/gcc.dg/attr-assume-2.c | 66 ++ gcc/testsuite/gcc.dg/attr-assume-3.c | 35 + gcc/testsuite/gcc.dg/autopar/pr107153.c | 17 + gcc/testsuite/gcc.dg/c11-typeof-1.c | 6 + gcc/testsuite/gcc.dg/c2x-typeof-1.c | 208 +++++ gcc/testsuite/gcc.dg/c2x-typeof-2.c | 27 + gcc/testsuite/gcc.dg/c2x-typeof-3.c | 7 + gcc/testsuite/gcc.dg/gnu11-typeof-1.c | 6 + gcc/testsuite/gcc.dg/gnu11-typeof-2.c | 39 + gcc/testsuite/gcc.dg/gnu2x-typeof-1.c | 39 + gcc/testsuite/gcc.dg/live-patching-2.c | 4 +- gcc/testsuite/gcc.dg/live-patching-5.c | 8 + gcc/testsuite/gcc.dg/pr101836.c | 60 ++ gcc/testsuite/gcc.dg/pr101836_1.c | 60 ++ gcc/testsuite/gcc.dg/pr101836_2.c | 60 ++ gcc/testsuite/gcc.dg/pr101836_3.c | 60 ++ gcc/testsuite/gcc.dg/pr101836_4.c | 60 ++ gcc/testsuite/gcc.dg/pr101836_5.c | 60 ++ gcc/testsuite/gcc.dg/pr107107.c | 25 + gcc/testsuite/gcc.dg/strict-flex-array-1.c | 33 + gcc/testsuite/gcc.dg/strict-flex-array-2.c | 60 ++ gcc/testsuite/gcc.dg/strict-flex-array-3.c | 60 ++ gcc/testsuite/gcc.dg/torture/pr107115.c | 37 + gcc/testsuite/gcc.dg/tree-prof/cmpsf-1.c | 2 +- gcc/testsuite/gcc.dg/tree-ssa/pr107052.c | 13 + gcc/testsuite/gcc.dg/tree-ssa/pr107170.c | 8 + gcc/testsuite/gcc.misc-tests/outputs.exp | 17 +- gcc/testsuite/gcc.target/aarch64/cpunative/info_18 | 8 + .../gcc.target/aarch64/cpunative/native_cpu_18.c | 15 + gcc/testsuite/gcc.target/aarch64/ldar_1.c | 66 ++ gcc/testsuite/gcc.target/aarch64/ldar_2.c | 27 + .../gcc.target/aarch64/pragma_cpp_predefs_1.c | 20 + gcc/testsuite/gcc.target/arm/stack-protector-1.c | 4 +- gcc/testsuite/gcc.target/arm/stack-protector-3.c | 2 +- gcc/testsuite/gcc.target/riscv/predef-1.c | 3 - gcc/testsuite/gcc.target/riscv/predef-2.c | 3 - gcc/testsuite/gcc.target/riscv/predef-3.c | 3 - gcc/testsuite/gcc.target/riscv/predef-4.c | 3 - gcc/testsuite/gcc.target/riscv/predef-5.c | 3 - gcc/testsuite/gcc.target/riscv/predef-6.c | 3 - gcc/testsuite/gcc.target/riscv/predef-7.c | 3 - gcc/testsuite/gcc.target/riscv/predef-8.c | 3 - gcc/testsuite/gcc.target/riscv/rvv/base/pragma-1.c | 4 + gcc/testsuite/gcc.target/riscv/rvv/base/pragma-2.c | 4 + gcc/testsuite/gcc.target/riscv/rvv/base/pragma-3.c | 4 + gcc/testsuite/gcc.target/riscv/rvv/base/user-1.c | 65 ++ gcc/testsuite/gcc.target/riscv/rvv/base/user-2.c | 65 ++ gcc/testsuite/gcc.target/riscv/rvv/base/user-3.c | 65 ++ gcc/testsuite/gcc.target/riscv/rvv/base/user-4.c | 65 ++ gcc/testsuite/gcc.target/riscv/rvv/base/user-5.c | 65 ++ gcc/testsuite/gcc.target/riscv/rvv/base/user-6.c | 65 ++ .../gcc.target/riscv/rvv/base/vread_csr.c | 26 + .../gcc.target/riscv/rvv/base/vwrite_csr.c | 26 + gcc/testsuite/gfortran.dg/gomp/assume-1.f90 | 24 + gcc/testsuite/gfortran.dg/gomp/assume-2.f90 | 27 + gcc/testsuite/gfortran.dg/gomp/assume-3.f90 | 46 ++ gcc/testsuite/gfortran.dg/gomp/assume-4.f90 | 50 ++ gcc/testsuite/gfortran.dg/gomp/assumes-1.f90 | 82 ++ gcc/testsuite/gfortran.dg/gomp/assumes-2.f90 | 19 + gcc/testsuite/gfortran.dg/gomp/openmp-simd-7.f90 | 23 + gcc/testsuite/gnat.dg/lto26.adb | 13 + gcc/testsuite/gnat.dg/lto26_pkg1.adb | 11 + gcc/testsuite/gnat.dg/lto26_pkg1.ads | 11 + gcc/testsuite/gnat.dg/lto26_pkg2.adb | 15 + gcc/testsuite/gnat.dg/lto26_pkg2.ads | 9 + gcc/tree-cfg.cc | 34 +- gcc/tree-core.h | 5 +- gcc/tree-inline.cc | 2 +- gcc/tree-object-size.cc | 16 +- gcc/tree-parloops.cc | 5 + gcc/tree-ssa-sccvn.cc | 17 +- gcc/tree-streamer-in.cc | 1 + gcc/tree-streamer-out.cc | 1 + gcc/tree.cc | 45 +- gcc/tree.h | 14 +- gcc/value-range-pretty-print.cc | 6 +- gcc/value-range.cc | 147 ++-- gcc/value-range.h | 79 +- gcc/value-relation.cc | 2 +- gcc/vr-values.cc | 24 +- libdecnumber/ChangeLog | 4 + libdecnumber/dpd/decimal64.c | 3 +- libgcc/ChangeLog | 68 ++ libgcc/config/aarch64/aarch64-unwind.h | 2 +- libgcc/config/aarch64/freebsd-unwind.h | 4 +- libgcc/config/aarch64/linux-unwind.h | 8 +- libgcc/config/alpha/linux-unwind.h | 6 +- libgcc/config/alpha/vms-unwind.h | 6 +- libgcc/config/arc/linux-unwind.h | 6 +- libgcc/config/bfin/linux-unwind.h | 84 +- libgcc/config/csky/linux-unwind.h | 16 +- libgcc/config/i386/dragonfly-unwind.h | 48 +- libgcc/config/i386/freebsd-unwind.h | 48 +- libgcc/config/i386/gnu-unwind.h | 16 +- libgcc/config/i386/linux-unwind.h | 48 +- libgcc/config/i386/sol2-unwind.h | 48 +- libgcc/config/i386/w32-unwind.h | 20 +- libgcc/config/loongarch/linux-unwind.h | 4 +- libgcc/config/m68k/linux-unwind.h | 22 +- libgcc/config/mips/linux-unwind.h | 4 +- libgcc/config/nds32/linux-unwind.h | 2 +- libgcc/config/nios2/linux-unwind.h | 2 +- libgcc/config/or1k/linux-unwind.h | 4 +- libgcc/config/pa/hpux-unwind.h | 12 +- libgcc/config/pa/linux-unwind.h | 10 +- libgcc/config/riscv/linux-unwind.h | 4 +- libgcc/config/rs6000/aix-unwind.h | 6 +- libgcc/config/rs6000/darwin-fallback.c | 2 +- libgcc/config/rs6000/freebsd-unwind.h | 2 +- libgcc/config/rs6000/linux-unwind.h | 24 +- libgcc/config/s390/linux-unwind.h | 6 +- libgcc/config/s390/tpf-unwind.h | 10 +- libgcc/config/sh/linux-unwind.h | 22 +- libgcc/config/sparc/linux-unwind.h | 18 +- libgcc/config/sparc/sol2-unwind.h | 12 +- libgcc/config/xtensa/linux-unwind.h | 4 +- libgcc/unwind-dw2.c | 40 +- libgcc/unwind-dw2.h | 20 +- libgomp/ChangeLog | 9 + libgomp/libgomp.texi | 2 +- libiberty/ChangeLog | 6 + libiberty/cp-demangle.c | 30 +- libiberty/testsuite/demangle-expected | 7 + libstdc++-v3/ChangeLog | 102 +++ libstdc++-v3/acinclude.m4 | 22 +- libstdc++-v3/configure | 37 +- libstdc++-v3/doc/html/manual/bugs.html | 400 ++++----- libstdc++-v3/doc/xml/manual/intro.xml | 387 +++++---- libstdc++-v3/include/Makefile.in | 101 ++- libstdc++-v3/include/bits/functexcept.h | 25 + libstdc++-v3/include/bits/invoke.h | 2 + libstdc++-v3/include/bits/random.h | 39 +- libstdc++-v3/include/bits/std_function.h | 10 +- libstdc++-v3/include/c_global/cstdint | 59 +- libstdc++-v3/include/ext/random | 6 +- libstdc++-v3/include/std/bitset | 8 +- libstdc++-v3/include/std/coroutine | 10 +- libstdc++-v3/include/std/functional | 7 +- libstdc++-v3/include/std/ranges | 483 +++++++++++ libstdc++-v3/include/std/type_traits | 33 +- .../25_algorithms/stable_sort/mem_check.cc | 2 + .../testsuite/std/ranges/adaptors/join_with/1.cc | 103 +++ 357 files changed, 12791 insertions(+), 2289 deletions(-) diff --cc gcc/doc/tm.texi index 4f4f09044b0,110f8dfa0a9..4ce75740bd3 --- a/gcc/doc/tm.texi +++ b/gcc/doc/tm.texi @@@ -3423,8 -3294,13 +3423,14 @@@ someone decided it was a good idea to u terminate the stack backtrace. New ports should avoid this. @end defmac + @defmac DWARF_VERSION_DEFAULT + A C expression whose value is the default dwarf standard version we'll honor + and advertise when generating dwarf debug information, in absence of + an explicit @option{-gdwarf-@var{version}} option on the command line. + @end defmac + @deftypefn {Target Hook} void TARGET_DWARF_HANDLE_FRAME_UNSPEC (const char *@var{label}, rtx @var{pattern}, int @var{index}) +@c hook-start:TARGET_DWARF_HANDLE_FRAME_UNSPEC This target hook allows the backend to emit frame-related insns that contain UNSPECs or UNSPEC_VOLATILEs. The DWARF 2 call frame debugging info engine will invoke it on insns of the form