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

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

from cb760f66e0b compiler: determine types of Slice_{value,info} expressions new 985d6480fe5 testsuite: move handle-multiline-outputs to before check fo [...] new 4f01ae3761c diagnostics: add support for "text art" diagrams new 0e466e978c7 analyzer: add text-art visualizations of out-of-bounds acce [...]

The 3 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/unicode/gen-box-drawing-chars.py | 94 + contrib/unicode/gen-combining-chars.py | 75 + contrib/unicode/gen-printable-chars.py | 77 + gcc/Makefile.in | 12 +- gcc/analyzer/access-diagram.cc | 2405 ++++++++++++++++++++ gcc/analyzer/access-diagram.h | 165 ++ gcc/analyzer/analyzer.h | 30 + gcc/analyzer/analyzer.opt | 20 + gcc/analyzer/bounds-checking.cc | 272 ++- gcc/analyzer/diagnostic-manager.cc | 2 +- gcc/analyzer/engine.cc | 4 +- gcc/analyzer/infinite-recursion.cc | 2 +- gcc/analyzer/kf-analyzer.cc | 2 +- gcc/analyzer/kf.cc | 6 +- gcc/analyzer/pending-diagnostic.h | 2 +- gcc/analyzer/region-model-manager.cc | 32 +- gcc/analyzer/region-model-manager.h | 2 +- gcc/analyzer/region-model.cc | 52 +- gcc/analyzer/region-model.h | 4 + gcc/analyzer/region.cc | 369 ++- gcc/analyzer/region.h | 1 + gcc/analyzer/sm-fd.cc | 14 +- gcc/analyzer/sm-file.cc | 4 +- gcc/analyzer/sm-malloc.cc | 20 +- gcc/analyzer/sm-pattern-test.cc | 2 +- gcc/analyzer/sm-sensitive.cc | 3 +- gcc/analyzer/sm-signal.cc | 2 +- gcc/analyzer/sm-taint.cc | 16 +- gcc/analyzer/store.cc | 11 +- gcc/analyzer/store.h | 9 + gcc/analyzer/varargs.cc | 8 +- gcc/color-macros.h | 16 + gcc/common.opt | 23 + gcc/configure | 2 +- gcc/configure.ac | 2 +- gcc/diagnostic-diagram.h | 51 + gcc/diagnostic-format-json.cc | 10 + gcc/diagnostic-format-sarif.cc | 106 +- gcc/diagnostic-text-art.h | 49 + gcc/diagnostic.cc | 72 + gcc/diagnostic.h | 21 + gcc/doc/invoke.texi | 40 +- gcc/gcc.cc | 6 + gcc/opts-common.cc | 1 + gcc/opts.cc | 6 + gcc/pretty-print.cc | 29 + gcc/pretty-print.h | 1 + gcc/selftest-run-tests.cc | 3 + .../c-c++-common/Wlogical-not-parentheses-2.c | 2 + gcc/testsuite/gcc.dg/analyzer/data-model-1.c | 4 +- .../gcc.dg/analyzer/malloc-macro-inline-events.c | 5 - .../analyzer/out-of-bounds-diagram-1-ascii.c | 55 + .../analyzer/out-of-bounds-diagram-1-debug.c | 40 + .../analyzer/out-of-bounds-diagram-1-emoji.c | 55 + .../gcc.dg/analyzer/out-of-bounds-diagram-1-json.c | 13 + .../analyzer/out-of-bounds-diagram-1-sarif.c | 24 + .../analyzer/out-of-bounds-diagram-1-unicode.c | 55 + .../gcc.dg/analyzer/out-of-bounds-diagram-10.c | 29 + .../gcc.dg/analyzer/out-of-bounds-diagram-11.c | 82 + .../gcc.dg/analyzer/out-of-bounds-diagram-12.c | 53 + .../gcc.dg/analyzer/out-of-bounds-diagram-13.c | 43 + .../gcc.dg/analyzer/out-of-bounds-diagram-14.c | 110 + .../gcc.dg/analyzer/out-of-bounds-diagram-15.c | 42 + .../gcc.dg/analyzer/out-of-bounds-diagram-2.c | 30 + .../gcc.dg/analyzer/out-of-bounds-diagram-3.c | 45 + .../gcc.dg/analyzer/out-of-bounds-diagram-4.c | 45 + .../analyzer/out-of-bounds-diagram-5-ascii.c | 40 + .../analyzer/out-of-bounds-diagram-5-unicode.c | 42 + .../gcc.dg/analyzer/out-of-bounds-diagram-6.c | 125 + .../gcc.dg/analyzer/out-of-bounds-diagram-7.c | 36 + .../gcc.dg/analyzer/out-of-bounds-diagram-8.c | 34 + .../gcc.dg/analyzer/out-of-bounds-diagram-9.c | 42 + gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c | 4 +- gcc/testsuite/gcc.dg/analyzer/pr101962.c | 2 +- gcc/testsuite/gcc.dg/missing-header-fixit-5.c | 10 +- gcc/testsuite/gcc.dg/plugin/analyzer_gil_plugin.c | 6 +- .../plugin/diagnostic-test-text-art-ascii-bw.c | 57 + .../plugin/diagnostic-test-text-art-ascii-color.c | 58 + .../gcc.dg/plugin/diagnostic-test-text-art-none.c | 5 + .../plugin/diagnostic-test-text-art-unicode-bw.c | 58 + .../diagnostic-test-text-art-unicode-color.c | 59 + .../plugin/diagnostic_plugin_test_text_art.c | 257 +++ gcc/testsuite/gcc.dg/plugin/plugin.exp | 6 + gcc/testsuite/lib/gcc-dg.exp | 5 + gcc/testsuite/lib/multiline.exp | 7 +- gcc/testsuite/lib/prune.exp | 7 - gcc/text-art/box-drawing-chars.inc | 18 + gcc/text-art/box-drawing.cc | 72 + gcc/{analyzer/engine.h => text-art/box-drawing.h} | 18 +- gcc/text-art/canvas.cc | 437 ++++ gcc/text-art/canvas.h | 74 + gcc/text-art/ruler.cc | 723 ++++++ gcc/text-art/ruler.h | 125 + gcc/text-art/selftests.cc | 77 + gcc/text-art/selftests.h | 60 + gcc/text-art/style.cc | 632 +++++ gcc/text-art/styled-string.cc | 1107 +++++++++ gcc/text-art/table.cc | 1272 +++++++++++ gcc/text-art/table.h | 262 +++ gcc/text-art/theme.cc | 183 ++ gcc/text-art/theme.h | 123 + gcc/text-art/types.h | 504 ++++ gcc/text-art/widget.cc | 275 +++ gcc/text-art/widget.h | 246 ++ libcpp/charset.cc | 89 +- libcpp/combining-chars.inc | 68 + libcpp/include/cpplib.h | 3 + libcpp/printable-chars.inc | 231 ++ 108 files changed, 12142 insertions(+), 204 deletions(-) create mode 100755 contrib/unicode/gen-box-drawing-chars.py create mode 100755 contrib/unicode/gen-combining-chars.py create mode 100755 contrib/unicode/gen-printable-chars.py create mode 100644 gcc/analyzer/access-diagram.cc create mode 100644 gcc/analyzer/access-diagram.h create mode 100644 gcc/diagnostic-diagram.h create mode 100644 gcc/diagnostic-text-art.h create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-ascii.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-debug.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-emoji.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-json.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-sarif.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-1-unicode.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-10.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-11.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-12.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-13.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-14.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-15.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-2.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-3.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-4.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-5-ascii.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-5-unicode.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-6.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-7.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-8.c create mode 100644 gcc/testsuite/gcc.dg/analyzer/out-of-bounds-diagram-9.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-text-art-ascii-bw.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-text-art-ascii-color.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-text-art-none.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-text-art-unicode-bw.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic-test-text-art-unicode-color.c create mode 100644 gcc/testsuite/gcc.dg/plugin/diagnostic_plugin_test_text_art.c create mode 100644 gcc/text-art/box-drawing-chars.inc create mode 100644 gcc/text-art/box-drawing.cc copy gcc/{analyzer/engine.h => text-art/box-drawing.h} (66%) create mode 100644 gcc/text-art/canvas.cc create mode 100644 gcc/text-art/canvas.h create mode 100644 gcc/text-art/ruler.cc create mode 100644 gcc/text-art/ruler.h create mode 100644 gcc/text-art/selftests.cc create mode 100644 gcc/text-art/selftests.h create mode 100644 gcc/text-art/style.cc create mode 100644 gcc/text-art/styled-string.cc create mode 100644 gcc/text-art/table.cc create mode 100644 gcc/text-art/table.h create mode 100644 gcc/text-art/theme.cc create mode 100644 gcc/text-art/theme.h create mode 100644 gcc/text-art/types.h create mode 100644 gcc/text-art/widget.cc create mode 100644 gcc/text-art/widget.h create mode 100644 libcpp/combining-chars.inc create mode 100644 libcpp/printable-chars.inc