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>

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index f21f8e5b78a3c85215832ce0b46217f0250fff54..b29a21cce303ca1c8b2e67446f879e607dcbebf4 100644 (file)
--- 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);