analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783]
This was crashing inside fd_phase_mismatch's ctor with assertion
failure when the state was "fd-constant".
Fix the ICE by not complaining about constants passed to these APIs.
gcc/analyzer/ChangeLog:
PR analyzer/107783
* sm-fd.cc (fd_state_machine::check_for_new_socket_fd): Don't
complain when old state is "fd-constant".
(fd_state_machine::on_listen): Likewise.
(fd_state_machine::on_accept): Likewise.
gcc/testsuite/ChangeLog:
PR analyzer/107783
* gcc.dg/analyzer/fd-accept.c (test_accept_on_constant): New.
* gcc.dg/analyzer/fd-bind.c (test_bind_on_constant): New.
* gcc.dg/analyzer/fd-connect.c (test_connect_on_constant): New.
* gcc.dg/analyzer/fd-listen.c (test_listen_on_connected_socket):
Fix typo.
(test_listen_on_constant): New.
Signed-off-by:
David Malcolm <dmalcolm@redhat.com>
Showing
- gcc/analyzer/sm-fd.cc 6 additions, 3 deletionsgcc/analyzer/sm-fd.cc
- gcc/testsuite/gcc.dg/analyzer/fd-accept.c 5 additions, 0 deletionsgcc/testsuite/gcc.dg/analyzer/fd-accept.c
- gcc/testsuite/gcc.dg/analyzer/fd-bind.c 5 additions, 0 deletionsgcc/testsuite/gcc.dg/analyzer/fd-bind.c
- gcc/testsuite/gcc.dg/analyzer/fd-connect.c 5 additions, 0 deletionsgcc/testsuite/gcc.dg/analyzer/fd-connect.c
- gcc/testsuite/gcc.dg/analyzer/fd-listen.c 6 additions, 1 deletiongcc/testsuite/gcc.dg/analyzer/fd-listen.c
Loading
Please register or sign in to comment