From 72f1c1c452198ba1df6f70959180b201cedc506e Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 12 Nov 2021 10:14:35 -0500 Subject: [PATCH] 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 --- gcc/analyzer/engine.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index f21f8e5b78a..b29a21cce30 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);