This is an automated email from the git hooks/post-receive script.
tcwg-buildslave pushed a change to branch linaro-local/ci/tcwg_bmk_tk1/llvm-master-arm-spec2k6-Oz in repository toolchain/ci/gcc.
from 94d4f4387de testsuite, Darwin: XFAIL runs for two timode conversion tests. adds 71197a5d13d middle-end: Correct calculation of mul_widen_cost and mul_h [...] adds 39984c4e61b Daily bump. adds 99e4891ed55 Using UNSPEC for vector compare to mask register. adds 359815ad136 This patch fixes PR96102. See the explanatory comment in th [...] adds abb276d0eca This patch fixes PR96312. Cures a used uninitialized warning. adds 5fb34b41a79 Correct ChangeLog foul ups. adds 527bf3bc8db Fix remove_predictions_associated_with_edge adds 9939be5758b libstdc++: Use _wstat64 for Windows [PR 95749] adds 287522613d6 Simplify X * C1 == C2 with wrapping overflow adds 7b7bbbcf510 Declare gt_* functions inline in value-range.h. adds 8bd92d8097d libstdc++: Check __cpp_exceptions in basic_string::reserve() adds 2203a80a72c libstdc++: Implement LWG 561 for std::inserter adds 90f7636bf8d libstdc++: Make C++17 ignore --disable-libstdcxx-filesystem [...] adds 41fd9d26108 c++: constraints and address of template-id adds 5c64df80df2 c++: Fix constexpr evaluation of SPACESHIP_EXPR [PR96497] adds a5da50ed65a Fix NULL pointer dereference in doloop_contained_function_call. adds ed11f7e84bc libstdc++: Fix compatibility support in unique_ptr pretty printer adds 5b065f05632 libstdc++: Fix build for targets without lstat [PR 94681] adds e4ced0b60cc i386: Improve code generation of smin(x,0) with -m32. adds 63668666232 testsuite: Introduce dg-ice. adds f4b9b136808 runtime: revert eqtype for AIX adds c01b22f1229 c++: Add unfixed test [PR88003] adds 84005b8abf9 Daily bump. adds 6c2583c14a8 Add debug counter for IPA bits CP. adds 1118a3ff9d3 Do not combine PRED_LOOP_GUARD and PRED_LOOP_GUARD_WITH_RECURSION adds 6b815e113c9 tree: Fix up get_narrower [PR96549] adds 299c98578bd expr: Optimize noop copies [PR96539] adds 7840b4dc055 c-family: Fix ICE in get_atomic_generic_size [PR96545] adds 5bbb1f3000c libstdc++: Make std::this_thread functions work without gthreads adds 35e5294c4b7 libstdc++: Fix <stop_token> to compile without gthreads adds 61759518adc libstdc++: Fix net::system_context stop condition adds 2a6918e4fa5 libstdc++: Make net::system_context tag type constructor explicit adds 18095be1701 libstdc++: Make Networking TS work without gthreads [PR 89760] adds fe8d7fec4db libstdc++: Fix failing tests for AIX adds ebd203778cc [testsuite] Add missing require-effective-target directives [...] adds 09c683a39c5 testsuite: remove xfail flifetime-dse[24].C adds 8f9fd3c4ee5 internal/syscall/unix: restore ppc build tag adds 8b7af071b0c libstdc++: Implement DR 526 on [forward_]list remove_if/uni [...] adds a64938091bf Daily bump. adds 2ba0674c657 Re: PR96493, powerpc local call linkage failure adds 1d17c38ac1d IBM Z: Fix PR96456 adds 220ffae474d IBM Z: Fix PR96308 adds 82c4b78dbef Replace std::vector<> usage in ipa-fnsummary.c with GCC's vec<>. adds 778c15d3ca1 x86_64: Use peephole2 to eliminate redundant moves. adds 73d2b6d4a3f testsuite: Fix gcc.target/arm/multilib.exp use of gcc_opts adds 6606fdc0aad testsuite: Fix gcc.target/arm/stack-protector-1.c for Cortex-M adds fb8e8392461 MAINTAINERS: Update my email address adds b9c7fe59f9f [nvptx] Fix array dimension in nvptx_assemble_decl_begin adds fb9b3c0ff7d [testsuite] Add effective target large_initializer adds 36507a2c9cb Fix gcc.dg/ia64-sync-5.c for architectures with unsigned ch [...] adds a12026e9dd1 [testsuite, nvptx] Borrow ia64-sync-*.c test-cases in gcc.t [...] adds fe9458c280d Fix up flag_cunroll_grow_size handling in presence of optim [...] adds 21cfe724cbd Fortran: Add support for OpenMP's nontemporal clause adds b418ccb358e AArch64: Add if condition in aarch64_function_value [PR96479] adds d58f078ce2d ipa: fix bit CPP when combined with IPA bit CP adds d040555a061 libgo: correctly handle AIX FAT library creation adds c2fb0a1a2e7 libstdc++: Make self-move well-defined for containers [PR 85828] adds 86f87414856 libstdc++: ChangeLog corrections adds 32c69a56981 PR target/96558: Only call ix86_expand_clear with GENERAL_REGS. adds afdd220a0cc Daily bump. adds 2ec803e768a c++: Fixing the wording of () aggregate-init [PR92812] adds 5db1fa9bc69 gcc.dg/pr94600-5.c .. -8.c: Align struct t0 explictly, as a [...] adds 7123217afb3 Merge two define_insn: <avx512>_blendm<mode>, <avx512>_load [...] adds 2e47c8c6eac openmp: Add support for non-rectangular loops in taskloop c [...] adds 2b5490f5d16 docs: Fix typos in -fallow-argument-mismatch description adds f91770216ea ipa: fix ICE in get_default_value adds 17dc08edc28 nvptx: Add support for subword compare-and-swap adds db461538083 Revert "AArch64: Add if condition in aarch64_function_value [...] adds e00464a5cb4 Fix PR fortran/93671; ICE in reffing coarray alloc. comps. adds 55484a0f816 libstdc++: Deprecate the --enable-cheaders=c_std configuration adds 0c5f6bbfe2e [c++]: Unconfuse lookup_name_real API a bit adds 0ad7e730c14 rs6000: ICE when using an MMA type as a function param or r [...] adds b5034abbaa4 i386: Improve CET builtin expanders. adds 808f4dfeb3a analyzer: rewrite of region and value-handling new 2ec32ddf822 analyzer: add regression test [PR96598] new b3cb56060bc Daily bump. new 04630cd6ec2 [testsuite] Add missing require-effective-target allloca
The 3 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: ChangeLog | 4 + MAINTAINERS | 2 +- gcc/ChangeLog | 243 + gcc/DATESTAMP | 2 +- gcc/Makefile.in | 8 +- gcc/analyzer/ChangeLog | 1393 +++ gcc/analyzer/analyzer-logging.cc | 8 +- gcc/analyzer/analyzer-logging.h | 2 + gcc/analyzer/analyzer-selftests.cc | 1 + gcc/analyzer/analyzer-selftests.h | 1 + gcc/analyzer/analyzer.cc | 30 + gcc/analyzer/analyzer.h | 192 +- gcc/analyzer/analyzer.opt | 8 + gcc/analyzer/call-string.cc | 2 + gcc/analyzer/checker-path.cc | 52 +- gcc/analyzer/checker-path.h | 12 +- gcc/analyzer/constraint-manager.cc | 1226 ++- gcc/analyzer/constraint-manager.h | 113 +- gcc/analyzer/diagnostic-manager.cc | 451 +- gcc/analyzer/diagnostic-manager.h | 20 +- gcc/analyzer/engine.cc | 790 +- gcc/analyzer/exploded-graph.h | 55 +- gcc/analyzer/program-point.cc | 61 + gcc/analyzer/program-point.h | 52 +- gcc/analyzer/program-state.cc | 1271 ++- gcc/analyzer/program-state.h | 240 +- gcc/analyzer/region-model-impl-calls.cc | 352 + gcc/analyzer/region-model-manager.cc | 1088 +++ gcc/analyzer/region-model-reachability.cc | 280 + gcc/analyzer/region-model-reachability.h | 117 + gcc/analyzer/region-model.cc | 8931 +++++--------------- gcc/analyzer/region-model.h | 3140 ++++--- gcc/analyzer/region.cc | 1064 +++ gcc/analyzer/sm-file.cc | 26 +- gcc/analyzer/sm-malloc.cc | 164 +- gcc/analyzer/sm-sensitive.cc | 3 +- gcc/analyzer/sm-signal.cc | 15 +- gcc/analyzer/sm-taint.cc | 9 +- gcc/analyzer/sm.cc | 21 +- gcc/analyzer/sm.h | 35 +- gcc/analyzer/store.cc | 2008 +++++ gcc/analyzer/store.h | 613 ++ gcc/analyzer/svalue.cc | 1004 +++ gcc/c-family/ChangeLog | 7 + gcc/c-family/c-common.c | 9 +- gcc/common.opt | 2 +- gcc/config/i386/i386-builtin.def | 22 +- gcc/config/i386/i386-builtins.c | 19 +- gcc/config/i386/i386-expand.c | 111 +- gcc/config/i386/i386-protos.h | 2 +- gcc/config/i386/i386.c | 35 - gcc/config/i386/i386.md | 76 +- gcc/config/i386/sse.md | 106 +- gcc/config/nvptx/nvptx.c | 4 +- gcc/config/rs6000/rs6000-call.c | 34 +- gcc/config/rs6000/rs6000.c | 50 +- gcc/config/s390/s390.c | 25 + gcc/config/s390/s390.h | 5 + gcc/config/s390/vector.md | 6 +- gcc/cp/ChangeLog | 38 + gcc/cp/call.c | 5 +- gcc/cp/constexpr.c | 4 +- gcc/cp/name-lookup.c | 39 +- gcc/cp/name-lookup.h | 27 +- gcc/cp/parser.c | 12 +- gcc/cp/pt.c | 20 +- gcc/cp/semantics.c | 4 +- gcc/cp/typeck.c | 14 + gcc/dbgcnt.def | 1 + gcc/doc/analyzer.texi | 110 +- gcc/doc/sourcebuild.texi | 10 + gcc/expmed.c | 3 + gcc/expr.c | 40 +- gcc/fortran/ChangeLog | 54 +- gcc/fortran/dump-parse-tree.c | 1 + gcc/fortran/frontend-passes.c | 3 +- gcc/fortran/gfortran.h | 1 + gcc/fortran/invoke.texi | 6 +- gcc/fortran/openmp.c | 8 +- gcc/fortran/resolve.c | 10 + gcc/fortran/trans-array.c | 26 +- gcc/fortran/trans-expr.c | 27 +- gcc/fortran/trans-openmp.c | 3 + gcc/gimplify.c | 145 +- gcc/go/ChangeLog | 5 + gcc/go/go-c.h | 1 + gcc/go/go-lang.c | 1 + gcc/go/gofrontend/MERGE | 2 +- gcc/go/gofrontend/expressions.cc | 27 +- gcc/go/gofrontend/expressions.h | 2 +- gcc/go/gofrontend/go.cc | 2 + gcc/go/gofrontend/gogo.cc | 1 + gcc/go/gofrontend/gogo.h | 14 + gcc/go/gofrontend/runtime.def | 3 + gcc/ipa-cp.c | 14 +- gcc/ipa-fnsummary.c | 17 +- gcc/match.pd | 19 +- gcc/omp-expand.c | 20 +- gcc/omp-general.c | 12 +- gcc/opts.c | 20 +- gcc/predict.c | 51 +- gcc/testsuite/ChangeLog | 454 +- gcc/testsuite/c-c++-common/pr96545.c | 31 + gcc/testsuite/g++.dg/analyzer/pr93212.C | 5 +- gcc/testsuite/g++.dg/analyzer/pr93950.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr94011.C | 16 + gcc/testsuite/g++.dg/analyzer/pr94028.C | 4 +- gcc/testsuite/g++.dg/analyzer/pr94503.C | 25 + gcc/testsuite/g++.dg/analyzer/pr95042.C | 28 + gcc/testsuite/g++.dg/concepts/fn8.C | 2 +- gcc/testsuite/g++.dg/cpp1y/auto-fn61.C | 13 + gcc/testsuite/g++.dg/cpp2a/concepts-fn1.C | 2 +- gcc/testsuite/g++.dg/cpp2a/concepts-fn5.C | 17 + gcc/testsuite/g++.dg/cpp2a/concepts-ts2.C | 2 +- gcc/testsuite/g++.dg/cpp2a/concepts-ts3.C | 2 +- gcc/testsuite/g++.dg/cpp2a/paren-init27.C | 24 + gcc/testsuite/g++.dg/cpp2a/paren-init28.C | 15 + gcc/testsuite/g++.dg/cpp2a/paren-init29.C | 15 + gcc/testsuite/g++.dg/cpp2a/paren-init30.C | 23 + gcc/testsuite/g++.dg/cpp2a/paren-init31.C | 10 + gcc/testsuite/g++.dg/cpp2a/paren-init32.C | 21 + gcc/testsuite/g++.dg/cpp2a/spaceship-constexpr3.C | 7 + gcc/testsuite/g++.dg/opt/flifetime-dse2.C | 1 - gcc/testsuite/g++.dg/opt/flifetime-dse4.C | 1 - gcc/testsuite/g++.dg/pr96308.C | 7 + gcc/testsuite/gcc.c-torture/execute/pr96549.c | 12 + gcc/testsuite/gcc.dg/Warray-bounds-46.c | 3 +- gcc/testsuite/gcc.dg/Warray-bounds-48.c | 3 +- gcc/testsuite/gcc.dg/Warray-bounds-50.c | 3 +- gcc/testsuite/gcc.dg/Wreturn-local-addr-2.c | 3 +- gcc/testsuite/gcc.dg/Wreturn-local-addr-3.c | 3 +- gcc/testsuite/gcc.dg/Wreturn-local-addr-4.c | 3 +- gcc/testsuite/gcc.dg/Wreturn-local-addr-6.c | 3 +- gcc/testsuite/gcc.dg/Wstack-usage.c | 3 +- gcc/testsuite/gcc.dg/Wstringop-overflow-15.c | 3 +- gcc/testsuite/gcc.dg/Wstringop-overflow-23.c | 3 +- gcc/testsuite/gcc.dg/Wstringop-overflow-25.c | 3 +- gcc/testsuite/gcc.dg/Wstringop-overflow-27.c | 3 +- gcc/testsuite/gcc.dg/Wstringop-overflow-39.c | 3 +- .../gcc.dg/analyzer/CVE-2005-1689-dedupe-issue-2.c | 30 + .../gcc.dg/analyzer/CVE-2005-1689-dedupe-issue.c | 2 +- .../gcc.dg/analyzer/CVE-2005-1689-minimal.c | 61 + gcc/testsuite/gcc.dg/analyzer/abs-1.c | 22 + gcc/testsuite/gcc.dg/analyzer/aliasing-1.c | 25 + gcc/testsuite/gcc.dg/analyzer/aliasing-2.c | 32 + gcc/testsuite/gcc.dg/analyzer/alloca-leak.c | 2 + gcc/testsuite/gcc.dg/analyzer/analyzer-decls.h | 7 +- gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 12 +- gcc/testsuite/gcc.dg/analyzer/bzero-1.c | 11 + gcc/testsuite/gcc.dg/analyzer/casts-1.c | 49 + gcc/testsuite/gcc.dg/analyzer/casts-2.c | 15 + .../gcc.dg/analyzer/compound-assignment-1.c | 9 +- .../gcc.dg/analyzer/compound-assignment-3.c | 2 +- .../gcc.dg/analyzer/compound-assignment-4.c | 28 + .../gcc.dg/analyzer/compound-assignment-5.c | 142 + .../gcc.dg/analyzer/conditionals-notrans.c | 33 +- gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 98 +- gcc/testsuite/gcc.dg/analyzer/data-model-13.c | 7 +- gcc/testsuite/gcc.dg/analyzer/data-model-14.c | 9 +- gcc/testsuite/gcc.dg/analyzer/data-model-16.c | 2 + gcc/testsuite/gcc.dg/analyzer/data-model-18.c | 4 +- gcc/testsuite/gcc.dg/analyzer/data-model-20.c | 25 + gcc/testsuite/gcc.dg/analyzer/data-model-5.c | 13 +- gcc/testsuite/gcc.dg/analyzer/data-model-5b.c | 12 +- gcc/testsuite/gcc.dg/analyzer/data-model-5c.c | 13 +- gcc/testsuite/gcc.dg/analyzer/data-model-5d.c | 61 +- gcc/testsuite/gcc.dg/analyzer/data-model-6.c | 14 - gcc/testsuite/gcc.dg/analyzer/data-model-8.c | 3 +- gcc/testsuite/gcc.dg/analyzer/describe-1.c | 11 + gcc/testsuite/gcc.dg/analyzer/dot-output.c | 3 +- gcc/testsuite/gcc.dg/analyzer/explode-1.c | 2 +- gcc/testsuite/gcc.dg/analyzer/explode-2.c | 16 +- gcc/testsuite/gcc.dg/analyzer/feasibility-1.c | 62 + gcc/testsuite/gcc.dg/analyzer/first-field-1.c | 24 + gcc/testsuite/gcc.dg/analyzer/first-field-2.c | 33 + gcc/testsuite/gcc.dg/analyzer/init.c | 136 + gcc/testsuite/gcc.dg/analyzer/leak-2.c | 9 + .../analyzer/loop-0-up-to-n-by-1-with-iter-obj.c | 73 + .../analyzer/{loop.c => loop-0-up-to-n-by-1.c} | 20 +- gcc/testsuite/gcc.dg/analyzer/loop-2a.c | 10 +- gcc/testsuite/gcc.dg/analyzer/loop-3.c | 7 +- gcc/testsuite/gcc.dg/analyzer/loop-4.c | 13 +- .../analyzer/{loop.c => loop-n-down-to-1-by-1.c} | 20 +- .../gcc.dg/analyzer/loop-start-down-to-end-by-1.c | 35 + .../analyzer/loop-start-down-to-end-by-step.c | 30 + .../gcc.dg/analyzer/loop-start-to-end-by-step.c | 36 + .../gcc.dg/analyzer/loop-start-up-to-end-by-1.c | 34 + gcc/testsuite/gcc.dg/analyzer/loop.c | 9 +- gcc/testsuite/gcc.dg/analyzer/malloc-1.c | 28 +- gcc/testsuite/gcc.dg/analyzer/malloc-4.c | 4 +- gcc/testsuite/gcc.dg/analyzer/malloc-in-loop.c | 19 + .../gcc.dg/analyzer/malloc-ipa-8-double-free.c | 82 +- .../gcc.dg/analyzer/malloc-ipa-8-unchecked.c | 6 +- gcc/testsuite/gcc.dg/analyzer/malloc-paths-8.c | 1 + gcc/testsuite/gcc.dg/analyzer/malloc-paths-9.c | 59 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-1a.c | 22 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-2.c | 16 +- gcc/testsuite/gcc.dg/analyzer/malloc-vs-local-3.c | 7 +- gcc/testsuite/gcc.dg/analyzer/memset-1.c | 100 + gcc/testsuite/gcc.dg/analyzer/paths-3.c | 4 +- gcc/testsuite/gcc.dg/analyzer/paths-4.c | 10 +- gcc/testsuite/gcc.dg/analyzer/paths-6.c | 4 +- gcc/testsuite/gcc.dg/analyzer/paths-7.c | 3 +- .../gcc.dg/analyzer/pr93032-mztools-simplified.c | 22 + gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c | 331 + gcc/testsuite/gcc.dg/analyzer/pr93382.c | 6 +- gcc/testsuite/gcc.dg/analyzer/pr93546.c | 1 + gcc/testsuite/gcc.dg/analyzer/pr93938.c | 13 + gcc/testsuite/gcc.dg/analyzer/pr94099.c | 3 +- gcc/testsuite/gcc.dg/analyzer/pr94399.c | 13 + gcc/testsuite/gcc.dg/analyzer/pr94447.c | 2 +- gcc/testsuite/gcc.dg/analyzer/pr94458.c | 23 + gcc/testsuite/gcc.dg/analyzer/pr94640.c | 17 + gcc/testsuite/gcc.dg/analyzer/pr94688.c | 6 + gcc/testsuite/gcc.dg/analyzer/pr94689.c | 8 + gcc/testsuite/gcc.dg/analyzer/pr94839.c | 20 + gcc/testsuite/gcc.dg/analyzer/pr95026.c | 17 + gcc/testsuite/gcc.dg/analyzer/pr95240.c | 27 + gcc/testsuite/gcc.dg/analyzer/pr96598.c | 26 + gcc/testsuite/gcc.dg/analyzer/refcounting-1.c | 31 + gcc/testsuite/gcc.dg/analyzer/setjmp-1.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-2.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-3.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-4.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-5.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-6.c | 2 + gcc/testsuite/gcc.dg/analyzer/setjmp-7.c | 2 + gcc/testsuite/gcc.dg/analyzer/setjmp-7a.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-8.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-9.c | 1 + gcc/testsuite/gcc.dg/analyzer/setjmp-pr93378.c | 1 + gcc/testsuite/gcc.dg/analyzer/single-field.c | 37 + gcc/testsuite/gcc.dg/analyzer/stale-frame-1.c | 15 + gcc/testsuite/gcc.dg/analyzer/symbolic-1.c | 43 + gcc/testsuite/gcc.dg/analyzer/symbolic-2.c | 32 + gcc/testsuite/gcc.dg/analyzer/symbolic-3.c | 12 + gcc/testsuite/gcc.dg/analyzer/symbolic-4.c | 20 + gcc/testsuite/gcc.dg/analyzer/symbolic-5.c | 29 + gcc/testsuite/gcc.dg/analyzer/symbolic-6.c | 24 + gcc/testsuite/gcc.dg/analyzer/taint-1.c | 22 +- .../gcc.dg/analyzer/torture/loop-inc-ptr-1.c | 15 + .../gcc.dg/analyzer/torture/loop-inc-ptr-2.c | 17 + .../gcc.dg/analyzer/torture/loop-inc-ptr-3.c | 18 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-2.c | 238 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-3.c | 67 + gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c | 15 + gcc/testsuite/gcc.dg/analyzer/unknown-fns.c | 8 +- gcc/testsuite/gcc.dg/analyzer/use-after-free.c | 12 + gcc/testsuite/gcc.dg/analyzer/vla-1.c | 13 + gcc/testsuite/gcc.dg/analyzer/zlib-4.c | 10 +- gcc/testsuite/gcc.dg/builtin-object-size-21.c | 3 +- gcc/testsuite/gcc.dg/gimplefe-44.c | 1 + gcc/testsuite/gcc.dg/ia64-sync-5.c | 6 +- gcc/testsuite/gcc.dg/ipa/ipa-clone-2.c | 2 +- gcc/testsuite/gcc.dg/ipa/pr96482-2.c | 33 + gcc/testsuite/gcc.dg/ipa/pr96482.c | 44 + gcc/testsuite/gcc.dg/pr84131.c | 3 +- gcc/testsuite/gcc.dg/pr93986.c | 3 +- gcc/testsuite/gcc.dg/pr94600-5.c | 2 +- gcc/testsuite/gcc.dg/pr94600-6.c | 2 +- gcc/testsuite/gcc.dg/pr94600-7.c | 2 +- gcc/testsuite/gcc.dg/pr94600-8.c | 2 +- gcc/testsuite/gcc.dg/pr95133.c | 1 + gcc/testsuite/gcc.dg/pr95857.c | 1 + gcc/testsuite/gcc.dg/pr96558.c | 32 + gcc/testsuite/gcc.dg/strlenopt-55.c | 3 +- gcc/testsuite/gcc.dg/strlenopt-83.c | 3 +- gcc/testsuite/gcc.dg/strlenopt-84.c | 3 +- gcc/testsuite/gcc.dg/strlenopt-91.c | 3 +- gcc/testsuite/gcc.dg/torture/pr92088-1.c | 1 + gcc/testsuite/gcc.dg/torture/pr92088-2.c | 1 + gcc/testsuite/gcc.dg/torture/pr93124.c | 1 + gcc/testsuite/gcc.dg/torture/pr94479.c | 1 + .../gcc.dg/tree-ssa/builtin-sprintf-warn-22.c | 3 +- gcc/testsuite/gcc.dg/tree-ssa/pr95433-2.c | 15 + gcc/testsuite/gcc.dg/uninit-32.c | 3 +- gcc/testsuite/gcc.dg/uninit-36.c | 3 +- gcc/testsuite/gcc.target/arm/multilib.exp | 2 +- gcc/testsuite/gcc.target/arm/stack-protector-1.c | 4 +- gcc/testsuite/gcc.target/i386/avx512bw-pr96246-1.c | 30 + gcc/testsuite/gcc.target/i386/avx512bw-pr96246-2.c | 47 + .../gcc.target/i386/avx512bw-vmovdqu16-1.c | 6 +- .../gcc.target/i386/avx512bw-vmovdqu8-1.c | 6 +- gcc/testsuite/gcc.target/i386/avx512f-vmovapd-1.c | 2 +- gcc/testsuite/gcc.target/i386/avx512f-vmovaps-1.c | 2 +- .../gcc.target/i386/avx512f-vmovdqa32-1.c | 2 +- .../gcc.target/i386/avx512f-vmovdqa64-1.c | 2 +- .../gcc.target/i386/avx512vl-pr92686-movcc-1.c | 8 +- gcc/testsuite/gcc.target/i386/avx512vl-pr96246-1.c | 36 + gcc/testsuite/gcc.target/i386/avx512vl-pr96246-2.c | 51 + gcc/testsuite/gcc.target/i386/avx512vl-vmovapd-1.c | 4 +- gcc/testsuite/gcc.target/i386/avx512vl-vmovaps-1.c | 4 +- .../gcc.target/i386/avx512vl-vmovdqa32-1.c | 4 +- .../gcc.target/i386/avx512vl-vmovdqa64-1.c | 4 +- gcc/testsuite/gcc.target/i386/minmax-12.c | 17 + gcc/testsuite/gcc.target/i386/pr71321.c | 3 +- gcc/testsuite/gcc.target/i386/pr92865-1.c | 10 +- gcc/testsuite/gcc.target/i386/pr96539.c | 16 + gcc/testsuite/gcc.target/nvptx/ia64-sync-1.c | 2 + gcc/testsuite/gcc.target/nvptx/ia64-sync-2.c | 2 + gcc/testsuite/gcc.target/nvptx/ia64-sync-3.c | 2 + gcc/testsuite/gcc.target/nvptx/ia64-sync-4.c | 3 + gcc/testsuite/gcc.target/nvptx/ia64-sync-5.c | 2 + gcc/testsuite/gcc.target/powerpc/pr96493.c | 4 +- gcc/testsuite/gcc.target/powerpc/pr96506.c | 66 + gcc/testsuite/gcc.target/s390/pr96456.c | 13 + gcc/testsuite/gfortran.dg/analyzer/pr93993.f90 | 2 +- gcc/testsuite/gfortran.dg/coarray/pr93671.f90 | 24 + gcc/testsuite/gfortran.dg/do_check_15.f90 | 58 + gcc/testsuite/gfortran.dg/gomp/nontemporal-1.f90 | 25 + gcc/testsuite/gfortran.dg/gomp/nontemporal-2.f90 | 26 + gcc/testsuite/gfortran.dg/pr96102.f90 | 27 + gcc/testsuite/gfortran.dg/pr96312.f90 | 30 + gcc/testsuite/lib/gcc-dg.exp | 20 +- gcc/testsuite/lib/prune.exp | 9 + gcc/testsuite/lib/target-supports-dg.exp | 28 + gcc/testsuite/lib/target-supports.exp | 11 + gcc/toplev.c | 10 - gcc/tree-ssa-ccp.c | 3 + gcc/tree.c | 2 +- gcc/tristate.h | 2 + gcc/value-range.h | 6 +- gcc/vec.h | 5 +- gcc/wide-int.cc | 33 + gcc/wide-int.h | 2 + libcc1/ChangeLog | 4 + libcc1/libcp1plugin.cc | 2 +- libgcc/ChangeLog | 5 + libgcc/config/nvptx/atomic.c | 73 + libgcc/config/nvptx/t-nvptx | 3 +- libgo/Makefile.am | 11 +- libgo/Makefile.in | 13 +- libgo/configure | 8 +- libgo/configure.ac | 8 +- .../internal/syscall/unix/sysnum_linux_ppc64x.go | 2 +- libgo/go/runtime/alg.go | 10 +- libgo/go/runtime/eqtype.go | 21 + libgo/go/runtime/eqtype_aix_gccgo.go | 32 + libgo/go/runtime/iface.go | 12 +- libgo/testsuite/Makefile.in | 2 +- libgomp/ChangeLog | 10 + .../testsuite/libgomp.c-c++-common/reduction-16.c | 53 + libgomp/testsuite/libgomp.c/loop-22.c | 235 + libgomp/testsuite/libgomp.c/loop-23.c | 235 + libgomp/testsuite/libgomp.c/loop-24.c | 424 + libstdc++-v3/ChangeLog | 160 + libstdc++-v3/acinclude.m4 | 429 +- libstdc++-v3/configure | 330 +- libstdc++-v3/include/bits/basic_string.h | 13 +- libstdc++-v3/include/bits/basic_string.tcc | 2 + libstdc++-v3/include/bits/forward_list.tcc | 65 +- libstdc++-v3/include/bits/hashtable.h | 3 + libstdc++-v3/include/bits/list.tcc | 70 +- libstdc++-v3/include/bits/stl_deque.h | 3 + libstdc++-v3/include/bits/stl_iterator.h | 9 +- libstdc++-v3/include/bits/stl_list.h | 2 +- libstdc++-v3/include/debug/formatter.h | 2 +- libstdc++-v3/include/debug/forward_list | 82 +- libstdc++-v3/include/debug/list | 91 +- libstdc++-v3/include/debug/macros.h | 6 - libstdc++-v3/include/debug/safe_container.h | 9 +- libstdc++-v3/include/debug/safe_iterator.h | 6 +- libstdc++-v3/include/debug/safe_local_iterator.h | 6 +- libstdc++-v3/include/experimental/executor | 69 +- libstdc++-v3/include/experimental/io_context | 53 +- libstdc++-v3/include/std/stop_token | 10 +- libstdc++-v3/include/std/thread | 29 +- libstdc++-v3/python/libstdcxx/v6/printers.py | 6 +- libstdc++-v3/src/c++11/thread.cc | 33 +- libstdc++-v3/src/c++17/fs_ops.cc | 2 +- libstdc++-v3/src/filesystem/ops-common.h | 6 +- libstdc++-v3/src/filesystem/ops.cc | 2 +- .../basic_string/cons/char/self_move.cc} | 39 +- .../deque/cons/self_move.cc} | 31 +- .../forward_list/cons/self_move.cc} | 31 +- .../23_containers/forward_list/operations/91620.cc | 88 + .../list/cons/self_move.cc} | 31 +- .../23_containers/list/operations/91620.cc | 110 + .../set/cons/self_move.cc} | 34 +- .../unordered_set/cons/self_move.cc} | 37 +- .../vector/cons/self_move.cc} | 31 +- .../insert_iterator/dr561.cc} | 39 +- .../testsuite/30_threads/this_thread/58038.cc | 1 + .../testsuite/30_threads/this_thread/60421.cc | 1 + .../this_thread/{3.cc => sleep_for-mt.cc} | 0 .../30_threads/this_thread/{3.cc => sleep_for.cc} | 33 +- .../this_thread/{4.cc => sleep_until-mt.cc} | 0 .../this_thread/{4.cc => sleep_until.cc} | 33 +- .../30_threads/this_thread/{2.cc => yield.cc} | 9 +- .../testsuite/30_threads/thread/cons/84535.cc | 3 + .../testsuite/30_threads/thread/cons/lwg2097.cc | 3 + .../net/execution_context/use_service.cc | 7 +- .../2.cc => experimental/net/system_context/1.cc} | 43 +- .../testsuite/libstdc++-prettyprinters/compat.cc | 4 +- 394 files changed, 22448 insertions(+), 11816 deletions(-) create mode 100644 gcc/analyzer/region-model-impl-calls.cc create mode 100644 gcc/analyzer/region-model-manager.cc create mode 100644 gcc/analyzer/region-model-reachability.cc create mode 100644 gcc/analyzer/region-model-reachability.h create mode 100644 gcc/analyzer/region.cc create mode 100644 gcc/analyzer/store.cc create mode 100644 gcc/analyzer/store.h create mode 100644 gcc/analyzer/svalue.cc create mode 100644 gcc/testsuite/c-c++-common/pr96545.c create mode 100644 gcc/testsuite/g++.dg/analyzer/pr94011.C create mode 100644 gcc/testsuite/g++.dg/analyzer/pr94503.C create mode 100644 gcc/testsuite/g++.dg/analyzer/pr95042.C create mode 100644 gcc/testsuite/g++.dg/cpp1y/auto-fn61.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/concepts-fn5.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init27.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init28.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init29.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init30.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init31.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/paren-init32.C create mode 100644 gcc/testsuite/g++.dg/cpp2a/spaceship-constexpr3.C create mode 100644 gcc/testsuite/g++.dg/pr96308.C create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr96549.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/CVE-2005-1689-dedupe-issue-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/abs-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/aliasing-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/aliasing-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/bzero-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/casts-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/casts-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/compound-assignment-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/compound-assignment-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-20.c delete mode 100644 gcc/testsuite/gcc.dg/analyzer/data-model-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/describe-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/first-field-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/first-field-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/init.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/leak-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-0-up-to-n-by-1-with-iter-obj.c copy gcc/testsuite/gcc.dg/analyzer/{loop.c => loop-0-up-to-n-by-1.c} (51%) copy gcc/testsuite/gcc.dg/analyzer/{loop.c => loop-n-down-to-1-by-1.c} (60%) create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-down-to-end-by-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-down-to-end-by-step.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-to-end-by-step.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/loop-start-up-to-end-by-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/malloc-in-loop.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/memset-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93032-mztools-simplified.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93032-mztools.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93938.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94399.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94458.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94640.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94688.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94689.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr94839.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95026.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr95240.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr96598.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/refcounting-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/single-field.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/stale-frame-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-5.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/symbolic-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/loop-inc-ptr-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/unknown-fns-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/use-after-free.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/vla-1.c create mode 100644 gcc/testsuite/gcc.dg/ipa/pr96482-2.c create mode 100644 gcc/testsuite/gcc.dg/ipa/pr96482.c create mode 100644 gcc/testsuite/gcc.dg/pr96558.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr95433-2.c create mode 100644 gcc/testsuite/gcc.target/i386/avx512bw-pr96246-1.c create mode 100644 gcc/testsuite/gcc.target/i386/avx512bw-pr96246-2.c create mode 100644 gcc/testsuite/gcc.target/i386/avx512vl-pr96246-1.c create mode 100644 gcc/testsuite/gcc.target/i386/avx512vl-pr96246-2.c create mode 100644 gcc/testsuite/gcc.target/i386/minmax-12.c create mode 100644 gcc/testsuite/gcc.target/i386/pr96539.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-1.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-2.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-3.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-4.c create mode 100644 gcc/testsuite/gcc.target/nvptx/ia64-sync-5.c create mode 100644 gcc/testsuite/gcc.target/powerpc/pr96506.c create mode 100644 gcc/testsuite/gcc.target/s390/pr96456.c create mode 100644 gcc/testsuite/gfortran.dg/coarray/pr93671.f90 create mode 100644 gcc/testsuite/gfortran.dg/do_check_15.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/nontemporal-1.f90 create mode 100644 gcc/testsuite/gfortran.dg/gomp/nontemporal-2.f90 create mode 100644 gcc/testsuite/gfortran.dg/pr96102.f90 create mode 100644 gcc/testsuite/gfortran.dg/pr96312.f90 create mode 100644 libgcc/config/nvptx/atomic.c create mode 100644 libgo/go/runtime/eqtype.go create mode 100644 libgo/go/runtime/eqtype_aix_gccgo.go create mode 100644 libgomp/testsuite/libgomp.c-c++-common/reduction-16.c create mode 100644 libgomp/testsuite/libgomp.c/loop-24.c copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 21_strings/basic_s [...] copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/dequ [...] copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/forw [...] create mode 100644 libstdc++-v3/testsuite/23_containers/forward_list/operations/91620.cc copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/list [...] create mode 100644 libstdc++-v3/testsuite/23_containers/list/operations/91620.cc copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/set/ [...] copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/unor [...] copy libstdc++-v3/testsuite/{30_threads/this_thread/58038.cc => 23_containers/vect [...] copy libstdc++-v3/testsuite/{30_threads/thread/cons/lwg2097.cc => 24_iterators/ins [...] copy libstdc++-v3/testsuite/30_threads/this_thread/{3.cc => sleep_for-mt.cc} (100%) rename libstdc++-v3/testsuite/30_threads/this_thread/{3.cc => sleep_for.cc} (69%) copy libstdc++-v3/testsuite/30_threads/this_thread/{4.cc => sleep_until-mt.cc} (100%) rename libstdc++-v3/testsuite/30_threads/this_thread/{4.cc => sleep_until.cc} (70%) copy libstdc++-v3/testsuite/30_threads/this_thread/{2.cc => yield.cc} (85%) rename libstdc++-v3/testsuite/{30_threads/this_thread/2.cc => experimental/net/sys [...]