https://gcc.gnu.org/g:acd9cdbb8fe24046f661a304830f7be0c2a0fa46
commit acd9cdbb8fe24046f661a304830f7be0c2a0fa46
Merge: 84994ca72b60 4ced8363622b
Author: Thomas Schwinge <tschwi...@baylibre.com>
Date: Sun Mar 10 23:34:09 2024 +0100
Merge commit '33ebb0dff9bb022f1e0709e0e73faabfc3df7931^' into HEAD
Diff:
gcc/Makefile.in | 1 +
gcc/analyzer/access-diagram.cc | 2405 ++++++++++++++++++++
gcc/analyzer/access-diagram.h | 165 ++
gcc/analyzer/analyzer.h | 30 +
gcc/analyzer/analyzer.opt | 20 +
gcc/analyzer/bounds-checking.cc | 272 ++-
gcc/analyzer/diagnostic-manager.cc | 2 +-
gcc/analyzer/engine.cc | 4 +-
gcc/analyzer/infinite-recursion.cc | 2 +-
gcc/analyzer/kf-analyzer.cc | 2 +-
gcc/analyzer/kf.cc | 6 +-
gcc/analyzer/pending-diagnostic.h | 2 +-
gcc/analyzer/region-model-manager.cc | 32 +-
gcc/analyzer/region-model-manager.h | 2 +-
gcc/analyzer/region-model.cc | 52 +-
gcc/analyzer/region-model.h | 4 +
gcc/analyzer/region.cc | 369 ++-
gcc/analyzer/region.h | 1 +
gcc/analyzer/sm-fd.cc | 14 +-
gcc/analyzer/sm-file.cc | 4 +-
gcc/analyzer/sm-malloc.cc | 20 +-
gcc/analyzer/sm-pattern-test.cc | 2 +-
gcc/analyzer/sm-sensitive.cc | 3 +-
gcc/analyzer/sm-signal.cc | 2 +-
gcc/analyzer/sm-taint.cc | 16 +-
gcc/analyzer/store.cc | 11 +-
gcc/analyzer/store.h | 9 +
gcc/analyzer/varargs.cc | 8 +-
gcc/config/aarch64/aarch64.cc | 2 +-
gcc/config/i386/i386-expand.cc | 12 +
gcc/config/i386/i386.cc | 23 +-
gcc/config/i386/sse.md | 64 +
gcc/doc/invoke.texi | 15 +
gcc/testsuite/g++.dg/torture/pr110332.C | 16 +
gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 4 +-
.../analyzer/out-of-bounds-diagram-1-ascii.c | 55 +
.../analyzer/out-of-bounds-diagram-1-debug.c | 40 +
.../analyzer/out-of-bounds-diagram-1-emoji.c | 55 +
.../gcc.dg/analyzer/out-of-bounds-diagram-1-json.c | 13 +
.../analyzer/out-of-bounds-diagram-1-sarif.c | 24 +
.../analyzer/out-of-bounds-diagram-1-unicode.c | 55 +
.../gcc.dg/analyzer/out-of-bounds-diagram-10.c | 29 +
.../gcc.dg/analyzer/out-of-bounds-diagram-11.c | 82 +
.../gcc.dg/analyzer/out-of-bounds-diagram-12.c | 53 +
.../gcc.dg/analyzer/out-of-bounds-diagram-13.c | 43 +
.../gcc.dg/analyzer/out-of-bounds-diagram-14.c | 110 +
.../gcc.dg/analyzer/out-of-bounds-diagram-15.c | 42 +
.../gcc.dg/analyzer/out-of-bounds-diagram-2.c | 30 +
.../gcc.dg/analyzer/out-of-bounds-diagram-3.c | 45 +
.../gcc.dg/analyzer/out-of-bounds-diagram-4.c | 45 +
.../analyzer/out-of-bounds-diagram-5-ascii.c | 40 +
.../analyzer/out-of-bounds-diagram-5-unicode.c | 42 +
.../gcc.dg/analyzer/out-of-bounds-diagram-6.c | 125 +
.../gcc.dg/analyzer/out-of-bounds-diagram-7.c | 36 +
.../gcc.dg/analyzer/out-of-bounds-diagram-8.c | 34 +
.../gcc.dg/analyzer/out-of-bounds-diagram-9.c | 42 +
gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c | 4 +-
gcc/testsuite/gcc.dg/analyzer/pr101962.c | 2 +-
gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 6 +-
gcc/testsuite/gcc.dg/torture/pr110332-1.c | 13 +
gcc/testsuite/gcc.dg/torture/pr110332-2.c | 10 +
gcc/testsuite/gcc.target/i386/avx-vptest-4.c | 21 +
gcc/testsuite/gcc.target/i386/avx-vptest-5.c | 21 +
gcc/testsuite/gcc.target/i386/avx-vptest-6.c | 40 +
gcc/testsuite/gcc.target/i386/pr109973-1.c | 2 +-
gcc/testsuite/gcc.target/i386/pr109973-2.c | 2 +-
gcc/testsuite/gcc.target/i386/sse4_1-ptest-4.c | 22 +
gcc/testsuite/gcc.target/i386/sse4_1-ptest-5.c | 22 +
gcc/testsuite/gcc.target/i386/sse4_1-ptest-6.c | 40 +
gcc/tree-ssa-phiprop.cc | 10 +-
libgomp/libgomp.texi | 129 +-
71 files changed, 4806 insertions(+), 174 deletions(-)
