This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 9d68cba5eb2 rs6000: Generates permute index directly for little endian [...] new 45a75fd3d31 analyzer: fix ICE on bind/connect with a constant fd [PR107928] new b82b361af88 analyzer: move bounds checking to a new bounds-checking.cc new d69a95c12cc analyzer: fix wording of 'number of bad bytes' note [PR106626] new 7c655699ed5 analyzer: add note about valid subscripts [PR106626] new df460cf51b2 analyzer: more bounds-checking wording tweaks [PR106626] new 1d86af242bc diagnostics: tweak diagnostic_path::interprocedural_p [PR106626] new 8bc9e4ee874 analyzer: unify bounds-checking class hierarchies new eaaf97b6147 analyzer: fix i18n issues in symbolic out-of-bounds [PR106626]
The 8 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: gcc/Makefile.in | 1 + gcc/analyzer/bounds-checking.cc | 939 +++++++++++++++++++++ gcc/analyzer/engine.cc | 24 +- gcc/analyzer/region-model.cc | 653 -------------- gcc/analyzer/region-model.h | 2 + gcc/analyzer/sm-fd.cc | 6 +- gcc/analyzer/sm-fd.dot | 6 + gcc/diagnostic-path.h | 3 + gcc/diagnostic.cc | 37 +- 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/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-read-char-arr.c | 45 +- .../gcc.dg/analyzer/out-of-bounds-read-int-arr.c | 26 +- .../analyzer/out-of-bounds-read-struct-arr.c | 65 ++ .../gcc.dg/analyzer/out-of-bounds-write-char-arr.c | 39 +- .../gcc.dg/analyzer/out-of-bounds-write-int-arr.c | 20 +- .../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/testsuite/gcc.dg/analyzer/zlib-3.c | 2 +- 30 files changed, 1441 insertions(+), 784 deletions(-) create mode 100644 gcc/analyzer/bounds-checking.cc create mode 100644 gcc/testsuite/gcc.dg/analyzer/fd-bind-pr107928.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fd-connect-pr107928.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-multiline-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-read-struct-arr.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-write-struct-arr.c