[Bug analyzer/103546] Analyzer reports null dereference in flex scanners

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r12-6376-gc1b7d28a5987e74232b7f054849f8bd8ccc7e7de
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Jan 7 13:49:28 2022 -0500

    analyzer: add region::is_named_decl_p

    This patch adds a debug function that I've found handy when debugging
    a problem with handling the decl "yy_buffer_stack" in PR analyzer/103546.

    gcc/analyzer/ChangeLog:
            * region.cc (region::is_named_decl_p): New.
            * region.h (region::is_named_decl_p): New decl.

    gcc/ChangeLog:
            * doc/analyzer.texi (Other Debugging Techniques): Document
            region::is_named_decl_p.

    Signed-off-by: David Malcolm <dmalcolm@redhat.com>