diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-07-16 15:47:06 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-16 15:47:06 -0400 |
| commit | 9ea10c480565fa42b1804fb436f7e26ca77b71a3 (patch) | |
| tree | 06cc69c3752438b1cdccfa134b6e763d9a1ad303 /gcc/tree-ssa-loop-ivopts.c | |
| parent | 5932dd35eaa816e8d9b6406c6c433395ff5b6162 (diff) | |
| download | gcc-9ea10c480565fa42b1804fb436f7e26ca77b71a3.zip gcc-9ea10c480565fa42b1804fb436f7e26ca77b71a3.tar.gz gcc-9ea10c480565fa42b1804fb436f7e26ca77b71a3.tar.bz2 | |
analyzer: add __analyzer_dump_state
gcc/analyzer/ChangeLog:
* engine.cc (exploded_node::on_stmt_pre): Handle
__analyzer_dump_state.
* program-state.cc (extrinsic_state::get_sm_idx_by_name): New.
(program_state::impl_call_analyzer_dump_state): New.
* program-state.h (extrinsic_state::get_sm_idx_by_name): New decl.
(program_state::impl_call_analyzer_dump_state): New decl.
* region-model-impl-calls.cc
(call_details::get_arg_string_literal): New.
* region-model.h (call_details::get_arg_string_literal): New decl.
gcc/ChangeLog:
* doc/analyzer.texi: Add __analyzer_dump_state.
gcc/testsuite/ChangeLog:
* gcc.dg/analyzer/analyzer-decls.h (__analyzer_dump_state): New.
* gcc.dg/analyzer/dump-state.c: New test.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/tree-ssa-loop-ivopts.c')
0 files changed, 0 insertions, 0 deletions