[Bug analyzer/107486] [13 Regression] ICE when pipe's argument is not a pointer type
cvs-commit at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Thu Nov 3 14:22:08 GMT 2022
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 <dmalcolm@gcc.gnu.org>:
https://gcc.gnu.org/g:5acc10a9ea66411e1712fabc94f9f29892b0d607
commit r13-3626-g5acc10a9ea66411e1712fabc94f9f29892b0d607
Author: David Malcolm <dmalcolm@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 <dmalcolm@redhat.com>
More information about the Gcc-bugs
mailing list