OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

analyzer: "__analyzer_dump_state" has no side-effects

Browse Source 
gcc/analyzer/ChangeLog:
	* engine.cc (exploded_node::on_stmt_pre): Return when handling
	"__analyzer_dump_state".

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
This commit is contained in:
David Malcolm 2021-11-12 10:14:35 -05:00
parent 87fcff96db
commit 72f1c1c452
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/analyzer/engine.cc
View File

@ -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);