[Bug analyzer/107646] RFE: can we reimplement gcc-python-plugin's cpychecker as a -fanalyzer plugin?

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107646

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:fafe2d18f791c6b97b49af7c84b1b5703681c3af

commit r14-2933-gfafe2d18f791c6b97b49af7c84b1b5703681c3af
Author: Eric Feng <ef2...@columbia.edu>
Date:   Wed Aug 2 16:54:55 2023 -0400

    analyzer: stash values for CPython plugin [PR107646]

    This patch adds a hook to the end of ana::on_finish_translation_unit
    which calls relevant stashing-related callbacks registered during plugin
    initialization. This feature is used to stash named types and global
    variables for a CPython analyzer plugin [PR107646].

    gcc/analyzer/ChangeLog:
            PR analyzer/107646
            * analyzer-language.cc (run_callbacks): New function.
            (on_finish_translation_unit): New function.
            * analyzer-language.h (GCC_ANALYZER_LANGUAGE_H): New include.
            (class translation_unit): New vfuncs.

    gcc/c/ChangeLog:
            PR analyzer/107646
            * c-parser.cc: New functions on stashing values for the
            analyzer.

    gcc/testsuite/ChangeLog:
            PR analyzer/107646
            * gcc.dg/plugin/plugin.exp: Add new plugin and test.
            * gcc.dg/plugin/analyzer_cpython_plugin.c: New plugin.
            * gcc.dg/plugin/cpython-plugin-test-1.c: New test.

    Signed-off-by: Eric Feng <ef2...@columbia.edu>