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

unknown user pushed a change to branch master in repository gcc.

from 5f557210494 Daily bump. new e40a935db29 analyzer: convert note_adding_context to annotating_context new 2503dd59b58 analyzer: add ability for context to add events to a saved_ [...] new 1e7b0a5d7a4 analyzer: handle NULL inner context in region_model_context [...] new fe97f09a0ca analyzer: replace -Wanalyzer-unterminated-string with scan_ [...] new 4325c82736d analyzer: add kf_fopen new 3b691e0190c analyzer: check format strings for null termination [PR105899]

The 6 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/analyzer.opt | 4 - gcc/analyzer/call-details.cc | 18 +- gcc/analyzer/call-details.h | 34 +- gcc/analyzer/diagnostic-manager.cc | 45 +- gcc/analyzer/diagnostic-manager.h | 12 +- gcc/analyzer/engine.cc | 8 + gcc/analyzer/exploded-graph.h | 1 + gcc/analyzer/kf-analyzer.cc | 15 +- gcc/analyzer/kf.cc | 28 + gcc/analyzer/region-model.cc | 672 +++++++++++++++++---- gcc/analyzer/region-model.h | 119 ++-- gcc/analyzer/store.cc | 9 + gcc/analyzer/store.h | 7 + gcc/doc/invoke.texi | 13 - gcc/testsuite/gcc.dg/analyzer/attr-format-1.c | 31 + gcc/testsuite/gcc.dg/analyzer/error-1.c | 20 +- gcc/testsuite/gcc.dg/analyzer/fopen-1.c | 66 ++ .../gcc.dg/analyzer/null-terminated-strings-1.c | 128 +++- gcc/testsuite/gcc.dg/analyzer/putenv-1.c | 13 +- gcc/testsuite/gcc.dg/analyzer/sprintf-1.c | 6 +- gcc/testsuite/gcc.dg/analyzer/strchr-1.c | 10 +- gcc/testsuite/gcc.dg/analyzer/strcpy-1.c | 10 +- gcc/testsuite/gcc.dg/analyzer/strdup-1.c | 10 +- 23 files changed, 1081 insertions(+), 198 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/attr-format-1.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/fopen-1.c