[Bug analyzer/108633] -Wanalyzer-fd-type-mismatch erroneously emitted on missing error-checking in qemu's tests/qtest/libqtest.c

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

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

--- Comment #1 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:d84dc419e692d42c3b1e0c82e972c8a6f4c71389

commit r13-5655-gd84dc419e692d42c3b1e0c82e972c8a6f4c71389
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Feb 2 09:11:36 2023 -0500

    analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633]

    gcc/analyzer/ChangeLog:
            PR analyzer/108633
            * sm-fd.cc (fd_state_machine::check_for_fd_attrs): Add missing
            "continue".
            (fd_state_machine::on_listen): Don't issue phase-mismatch or
            type-mismatch warnings for the "invalid" state.

    gcc/testsuite/ChangeLog:
            PR analyzer/108633
            * gcc.dg/analyzer/fd-pr108633.c: New test.

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