This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository gcc.
from 81476bc4f4a OpenMP: omp_get_max_teams, omp_set_num_teams, and omp_{gs}e [...] new 861c917a972 analyzer: split out more stuff from region-model-impl-calls.cc new 14b0d6c4bd9 analyzer: update internal docs new fa19bfbb0a1 contrib: doxygen: add gcc/analyzer subdirectory to INPUT new dcfc7ac94db analyzer: use __attribute__((nonnull)) at top level of anal [...]
The 4 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: contrib/gcc.doxy | 2 +- gcc/Makefile.in | 3 + gcc/analyzer/analyzer.h | 2 + gcc/analyzer/call-details.cc | 231 ++++++++ gcc/analyzer/call-details.h | 77 +++ gcc/analyzer/call-info.cc | 1 + gcc/analyzer/call-summary.h | 2 + gcc/analyzer/kf-analyzer.cc | 386 +++++++++++++ gcc/analyzer/kf-lang-cp.cc | 111 ++++ gcc/analyzer/known-function-manager.cc | 1 + gcc/analyzer/region-model-impl-calls.cc | 619 +-------------------- gcc/analyzer/region-model-manager.cc | 11 + gcc/analyzer/region-model-manager.h | 1 + gcc/analyzer/region-model.cc | 29 +- gcc/analyzer/region-model.h | 54 +- gcc/analyzer/sm-fd.cc | 1 + gcc/analyzer/sm-file.cc | 1 + gcc/analyzer/sm-malloc.cc | 1 + gcc/analyzer/varargs.cc | 1 + gcc/doc/analyzer.texi | 10 - .../gcc.dg/analyzer/attr-nonnull-pr106325.c | 250 +++++++++ gcc/testsuite/gcc.dg/analyzer/attribute-nonnull.c | 18 + .../gcc.dg/plugin/analyzer_kernel_plugin.c | 1 + .../gcc.dg/plugin/analyzer_known_fns_plugin.c | 1 + 24 files changed, 1136 insertions(+), 678 deletions(-) create mode 100644 gcc/analyzer/call-details.cc create mode 100644 gcc/analyzer/call-details.h create mode 100644 gcc/analyzer/kf-analyzer.cc create mode 100644 gcc/analyzer/kf-lang-cp.cc create mode 100644 gcc/testsuite/gcc.dg/analyzer/attr-nonnull-pr106325.c