* [committed] analyzer: "__analyzer_dump_state" has no side-effects
@ 2021-11-12 19:03 David Malcolm
0 siblings, 0 replies; only message in thread
From: David Malcolm @ 2021-11-12 19:03 UTC (permalink / raw)
To: gcc-patches
Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.
Pushed to trunk as 72f1c1c452198ba1df6f70959180b201cedc506e.
gcc/analyzer/ChangeLog:
* engine.cc (exploded_node::on_stmt_pre): Return when handling
"__analyzer_dump_state".
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
---
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);
--
2.26.3
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-11-12 19:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-12 19:03 [committed] analyzer: "__analyzer_dump_state" has no side-effects David Malcolm
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).