[Bug analyzer/105285] False positive with -Wanalyzer-null-dereference in git.git's reftable/reader.c

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 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:d8586b00dd00a1783862da5f0c8811a740400074

commit r13-6-gd8586b00dd00a1783862da5f0c8811a740400074
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Thu Apr 28 13:46:15 2022 -0400

    analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibility

    I found this extension to -fdump-analyzer-feasibility very helpful when
    debugging PR analyzer/105285.

    gcc/analyzer/ChangeLog:
            * diagnostic-manager.cc (epath_finder::process_worklist_item):
            Call dump_feasible_path when a path that reaches the the target
            enode is found.
            (epath_finder::dump_feasible_path): New.
            * engine.cc (feasibility_state::dump_to_pp): New.
            * exploded-graph.h (feasibility_state::dump_to_pp): New decl.
            * feasible-graph.cc (feasible_graph::dump_feasible_path): New.
            * feasible-graph.h (feasible_graph::dump_feasible_path): New
            decls.
            * program-point.cc (function_point::print): Fix missing trailing
            newlines.
            * program-point.h (program_point::print_source_line): Remove
            unimplemented decl.

    gcc/ChangeLog:
            * doc/invoke.texi (-fdump-analyzer-feasibility): Mention the
            fpath.txt output.

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