analyzer: eliminate region_model::on_ fns for sockets
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Nov 2022 01:43:32 +0000 (20:43 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 24 Nov 2022 01:43:32 +0000 (20:43 -0500)
commit5d2908b7bf93051af0ea2be3323d17630f0e3f37
tree5be8e8fe58a526c2865154c9eaf44a038d6e0bfe
parent50d5b240424d2b16ecd8563f64de04a38296efb8
analyzer: eliminate region_model::on_ fns for sockets

This mostly mechanical patch eliminates a confusing extra layer of
redundant calls in the handling of socket-related functions.

gcc/analyzer/ChangeLog:
* region-model.h (region_model::on_socket): Delete decl.
(region_model::on_bind): Likewise.
(region_model::on_listen): Likewise.
(region_model::on_accept): Likewise.
(region_model::on_connect): Likewise.
* sm-fd.cc (kf_socket::outcome_of_socket::update_model): Move body
of region_model::on_socket into here, ...
(region_model::on_socket): ...eliminating this function.
(kf_bind::outcome_of_bind::update_model): Likewise for on_bind...
(region_model::on_bind): ...eliminating this function.
(kf_listen::outcome_of_listen::update_model): Likewise fo
on_listen...
(region_model::on_listen): ...eliminating this function.
(kf_accept::outcome_of_accept::update_model): Likewise fo
on_accept...
(region_model::on_accept): ...eliminating this function.
(kf_connect::outcome_of_connect::update_model): Likewise fo
on_connect...
(region_model::on_connect): ...eliminating this function.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/region-model.h
gcc/analyzer/sm-fd.cc