diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-11-12 10:14:35 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-11-12 14:01:36 -0500 |
| commit | 72f1c1c452198ba1df6f70959180b201cedc506e (patch) | |
| tree | a40e50ed8b4d0a298bc1b67879401d2e05612d1b | |
| parent | 87fcff96db69986cfa8fd6ec4ad8bbbc0c6ca96f (diff) | |
| download | gcc-72f1c1c452198ba1df6f70959180b201cedc506e.zip gcc-72f1c1c452198ba1df6f70959180b201cedc506e.tar.gz gcc-72f1c1c452198ba1df6f70959180b201cedc506e.tar.bz2 | |
analyzer: "__analyzer_dump_state" has no side-effects
gcc/analyzer/ChangeLog:
* engine.cc (exploded_node::on_stmt_pre): Return when handling
"__analyzer_dump_state".
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
| -rw-r--r-- | gcc/analyzer/engine.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index f21f8e5..b29a21c 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1325,8 +1325,11 @@ exploded_node::on_stmt_pre (exploded_graph &eg, return; } else if (is_special_named_call_p (call, "__analyzer_dump_state", 2)) - state->impl_call_analyzer_dump_state (call, eg.get_ext_state (), - ctxt); + { + state->impl_call_analyzer_dump_state (call, eg.get_ext_state (), + ctxt); + return; + } else if (is_setjmp_call_p (call)) { state->m_region_model->on_setjmp (call, this, ctxt); |