This is an automated email from the git hooks/post-receive script.

unknown user pushed a change to branch releases/gcc-12 in repository gcc.

from 2c4b1a39615 Daily bump. new e7a92f415c8 jit: update docs to reflect .c to .cc renaming new 62a565e5676 analyzer: fix missing -Wanalyzer-use-of-uninitialized-value [...] new c63e5a234d0 analyzer: better fix for -Wanalyzer-use-of-uninitialized-va [...] new b414c17e072 analyzer: fold -(-(VAL)) to VAL new 111fb5d3caf analyzer: handle (NULL == &VAR) [PR107345] new e7f7483d500 analyzer: fix feasibility false +ve on jumps through functi [...] new 1c66f1c6d69 analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] new a7cc8ecefb7 analyzer: handle comparisons against negated symbolic value [...] new d49b47112fe analyzer: update internal docs new 02fbda165b7 analyzer: use __attribute__((nonnull)) at top level of anal [...] new dbe78fc879a doc: add notes about limitations of -fanalyzer new 5da2126c4df analyzer: fix overzealous state purging with on-stack struc [...] new 98558117ba8 analyzer: fix further overzealous state purging [PR108733] new 833d822ff0e analyzer: fix uninit false +ves reading from DECL_HARD_REGI [...] new 7903e0bca00 analyzer: fix ICE on certain longjmp calls [PR109094]

The 15 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/analyzer/engine.cc | 14 +- gcc/analyzer/region-model-manager.cc | 33 ++- gcc/analyzer/region-model.cc | 89 +++++++- gcc/analyzer/region-model.h | 8 +- gcc/analyzer/state-purge.cc | 17 +- gcc/doc/analyzer.texi | 10 - gcc/doc/invoke.texi | 7 + gcc/jit/docs/internals/index.rst | 3 +- .../gcc.dg/analyzer/attr-nonnull-pr106325.c | 250 +++++++++++++++++++++ gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 18 ++ gcc/testsuite/gcc.dg/analyzer/error-uninit.c | 29 +++ gcc/testsuite/gcc.dg/analyzer/feasibility-4.c | 42 ++++ .../gcc.dg/analyzer/feasibility-pr107582-1.c | 43 ++++ .../gcc.dg/analyzer/feasibility-pr107582-2.c | 34 +++ .../gcc.dg/analyzer/feasibility-pr107948.c | 49 ++++ gcc/testsuite/gcc.dg/analyzer/file-uninit-1.c | 52 +++++ gcc/testsuite/gcc.dg/analyzer/pr107345.c | 17 ++ gcc/testsuite/gcc.dg/analyzer/setjmp-pr109094.c | 38 ++++ .../analyzer/torture/fold-ptr-arith-pr105784.c | 43 ++++ .../gcc.dg/analyzer/torture/uninit-pr108733.c | 65 ++++++ gcc/testsuite/gcc.dg/analyzer/uninit-7.c | 127 +++++++++++ gcc/testsuite/gcc.dg/analyzer/uninit-pr108704.c | 29 +++ .../gcc.dg/analyzer/uninit-pr108968-register.c | 9 + 23 files changed, 991 insertions(+), 35 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/attr-nonnull-pr106325.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/error-uninit.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-pr107582-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-pr107582-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/feasibility-pr107948.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/file-uninit-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr107345.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/setjmp-pr109094.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/torture/uninit-pr108733.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-pr108704.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/uninit-pr108968-register.c