[Bug analyzer/107486] [13 Regression] ICE when pipe's argument is not a pointer type

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

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

--- 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:5acc10a9ea66411e1712fabc94f9f29892b0d607

commit r13-3626-g5acc10a9ea66411e1712fabc94f9f29892b0d607
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Nov 3 10:21:00 2022 -0400

    analyzer: fix ICE when pipe's arg isn't a pointer [PR107486]

    gcc/analyzer/ChangeLog:
            PR analyzer/107486
            * analyzer.cc (is_pipe_call_p): New.
            * analyzer.h (is_pipe_call_p): New decl.
            * region-model.cc (region_model::on_call_pre): Use it.
            (region_model::on_call_post): Likewise.

    gcc/testsuite/ChangeLog:
            PR analyzer/107486
            * gcc.dg/analyzer/pipe-pr107486.c: New test.
            * gcc.dg/analyzer/pipe-void-return.c: New test.

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