diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-11-23 20:43:32 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-11-23 20:43:32 -0500 |
| commit | 5d2908b7bf93051af0ea2be3323d17630f0e3f37 (patch) | |
| tree | 5be8e8fe58a526c2865154c9eaf44a038d6e0bfe /gcc/analyzer/program-state.cc | |
| parent | 50d5b240424d2b16ecd8563f64de04a38296efb8 (diff) | |
| download | gcc-5d2908b7bf93051af0ea2be3323d17630f0e3f37.zip gcc-5d2908b7bf93051af0ea2be3323d17630f0e3f37.tar.gz gcc-5d2908b7bf93051af0ea2be3323d17630f0e3f37.tar.bz2 | |
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>
Diffstat (limited to 'gcc/analyzer/program-state.cc')
0 files changed, 0 insertions, 0 deletions