diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2023-12-14 09:10:10 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2023-12-14 09:10:10 -0500 |
| commit | 8cf5afba5dc482fe7063654720bfb0c45354998c (patch) | |
| tree | d04c3f9b837f31666358110e2576875f1bd4472c /gcc/analyzer/sm-sensitive.cc | |
| parent | 2f46e3578d45ff060a0a329cb39d4f52878f9d5a (diff) | |
| download | gcc-8cf5afba5dc482fe7063654720bfb0c45354998c.zip gcc-8cf5afba5dc482fe7063654720bfb0c45354998c.tar.gz gcc-8cf5afba5dc482fe7063654720bfb0c45354998c.tar.bz2 | |
analyzer: cleanups [PR112655]
Avoid copying eedges in infinite_loop::infinite_loop.
Use initializer lists in the various places reported in
PR analyzer/112655 (apart from coord_test's ctor, which
would require nontrivial refactoring).
gcc/analyzer/ChangeLog:
PR analyzer/112655
* infinite-loop.cc (infinite_loop::infinite_loop): Pass eedges
via rvalue reference rather than by value.
(starts_infinite_loop_p): Move eedges when constructing an
infinite_loop instance.
* sm-file.cc (fileptr_state_machine::fileptr_state_machine): Use
initializer list for states.
* sm-sensitive.cc
(sensitive_state_machine::sensitive_state_machine): Likewise.
* sm-signal.cc (signal_state_machine::signal_state_machine):
Likewise.
* sm-taint.cc (taint_state_machine::taint_state_machine):
Likewise.
* varargs.cc (va_list_state_machine::va_list_state_machine): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/sm-sensitive.cc')
| -rw-r--r-- | gcc/analyzer/sm-sensitive.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/analyzer/sm-sensitive.cc b/gcc/analyzer/sm-sensitive.cc index 4776d64..aea337cd 100644 --- a/gcc/analyzer/sm-sensitive.cc +++ b/gcc/analyzer/sm-sensitive.cc @@ -161,10 +161,10 @@ private: /* sensitive_state_machine's ctor. */ sensitive_state_machine::sensitive_state_machine (logger *logger) -: state_machine ("sensitive", logger) +: state_machine ("sensitive", logger), + m_sensitive (add_state ("sensitive")), + m_stop (add_state ("stop")) { - m_sensitive = add_state ("sensitive"); - m_stop = add_state ("stop"); } /* Warn about an exposure at NODE and STMT if ARG is in the "sensitive" |