This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch releases/gcc-13 in repository gcc.
from e30211cb0b3 [PR114415][scheduler]: Fixing wrong code generation new 89feb3557a0 analyzer: add caching to globals with initializers [PR110112] new ccf8d3e3d26 analyzer: Fix allocation size false positive on conjured sv [...] new e0c52905f66 testsuite: Add more allocation size tests for conjured sval [...] new b38472ffc1e jit: avoid using __vector in testcase [PR110466] new 60dcb710b6b jit.exp: handle dwarf version mismatch in jit-check-debug-i [...] new 0df1ee08343 analyzer: fix ICE on division of tainted floating-point val [...] new a0b13d08608 analyzer: fix ICE on zero-sized arrays [PR110882] new 44968a0e00f testsuite, analyzer: add test case [PR108171] new b8c772cae97 jit: dump string literal initializers correctly new a1cb188cb2c analyzer: fix ICE for 2 bits before the start of base regio [...] new 994477c4104 analyzer: fix deref-before-check false positives due to inl [...] new 132eb1a210b analyzer: casting all zeroes should give all zeroes [PR113333] new 0593151221a analyzer: fix defaults in compound assignments from non-zer [...] new 2c688f6afce analyzer: fix skipping of debug stmts [PR113253] new 67d104f3a03 analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on [...] new ed026106ce4 analyzer: fix -Wanalyzer-deref-before-check false positive [...] new 810d35a7e05 analyzer: fix ICE due to type mismatch when replaying call [...] new 96f7a3694c3 analyzer: fix ICE and false positive with -Wanalyzer-deref- [...] new 230f672b3ed diagnostics: fix ICE on sarif output when source file is un [...] new 2a6f99aef7c Fix ICE in -fdiagnostics-generate-patch [PR112684] new b7a2697733d diagnostics: fix corrupt json/SARIF on stderr [PR114348]
The 21 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/call-summary.cc | 12 ++ gcc/analyzer/checker-event.cc | 40 ------ gcc/analyzer/constraint-manager.cc | 131 ++++++++++++++++++ gcc/analyzer/constraint-manager.h | 1 + gcc/analyzer/engine.cc | 7 + gcc/analyzer/inlining-iterator.h | 40 ++++++ gcc/analyzer/kf.cc | 22 +++ gcc/analyzer/region-model-manager.cc | 9 +- gcc/analyzer/region-model.cc | 110 +++++---------- gcc/analyzer/region.cc | 77 ++++++++++- gcc/analyzer/region.h | 14 +- gcc/analyzer/sm-malloc.cc | 40 ++++++ gcc/analyzer/sm-taint.cc | 6 + gcc/analyzer/state-purge.cc | 9 ++ gcc/analyzer/store.cc | 11 +- gcc/analyzer/store.h | 10 +- gcc/analyzer/supergraph.cc | 4 + gcc/analyzer/varargs.cc | 38 ++++- gcc/diagnostic.cc | 24 ++++ gcc/input.cc | 12 +- gcc/jit/jit-recording.cc | 2 +- .../diagnostic-format-sarif-file-pr111700.c | 12 ++ .../c-c++-common/ubsan/analyzer-ice-pr114408.c | 9 ++ gcc/testsuite/gcc.dg/analyzer/allocation-size-2.c | 24 ++-- .../gcc.dg/analyzer/call-summaries-pr114473.c | 31 +++++ gcc/testsuite/gcc.dg/analyzer/calloc-1.c | 34 +++++ .../gcc.dg/analyzer/compound-assignment-5.c | 29 ++-- .../gcc.dg/analyzer/compound-assignment-pr112969.c | 35 +++++ gcc/testsuite/gcc.dg/analyzer/data-model-9.c | 6 +- .../analyzer/deref-before-check-pr109251-1.c | 60 ++++++++ .../analyzer/deref-before-check-pr109251-2.c | 37 +++++ .../gcc.dg/analyzer/deref-before-check-pr112790.c | 27 ++++ .../gcc.dg/analyzer/deref-before-check-pr113253.c | 154 +++++++++++++++++++++ .../gcc.dg/analyzer/deref-before-check-pr114408.c | 22 +++ gcc/testsuite/gcc.dg/analyzer/ice-pr112889.c | 17 +++ gcc/testsuite/gcc.dg/analyzer/pr108171.c | 31 +++++ gcc/testsuite/gcc.dg/analyzer/pr109577.c | 16 +++ gcc/testsuite/gcc.dg/analyzer/pr110882.c | 18 +++ gcc/testsuite/gcc.dg/analyzer/pr96639.c | 2 +- gcc/testsuite/gcc.dg/analyzer/realloc-pr110014.c | 25 ++++ .../gcc.dg/analyzer/stdarg-pr111289-int.c | 69 +++++++++ .../gcc.dg/analyzer/stdarg-pr111289-ptr.c | 39 ++++++ gcc/testsuite/gcc.dg/analyzer/taint-divisor-2.c | 13 ++ gcc/testsuite/gcc.dg/plugin/infoleak-pr112969.c | 52 +++++++ gcc/testsuite/gcc.dg/plugin/plugin.exp | 1 + gcc/testsuite/jit.dg/jit.exp | 4 + gcc/testsuite/jit.dg/test-expressions.c | 22 +-- gcc/toplev.cc | 4 +- 48 files changed, 1231 insertions(+), 181 deletions(-) create mode 100644 gcc/testsuite/c-c++-common/diagnostic-format-sarif-file-pr111700.c create mode 100644 gcc/testsuite/c-c++-common/ubsan/analyzer-ice-pr114408.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/call-summaries-pr114473.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/compound-assignment-pr112969.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/deref-before-check-pr109251-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/deref-before-check-pr109251-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/deref-before-check-pr112790.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/deref-before-check-pr113253.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/deref-before-check-pr114408.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/ice-pr112889.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr108171.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr109577.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr110882.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/realloc-pr110014.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/stdarg-pr111289-int.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/stdarg-pr111289-ptr.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/taint-divisor-2.c create mode 100644 gcc/testsuite/gcc.dg/plugin/infoleak-pr112969.c