[Bug analyzer/106284] False positives from -Wanalyzer-tainted-array-index with optimized conditionals

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

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

--- Comment #4 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:434d521d118fc7e7759b2b42bdddfa70caec637b

commit r13-1747-g434d521d118fc7e7759b2b42bdddfa70caec637b
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jul 19 09:53:39 2022 -0400

    analyzer: log out-edge description in exploded_graph::process_node

    I found this logging tweak very helpful when working on
    PR analyzer/106284.

    gcc/analyzer/ChangeLog:
            * engine.cc (exploded_graph::process_node): Show any description
            of the out-edge when logging it for consideration.

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