diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 15:04:07 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-07-15 15:04:07 -0400 |
| commit | 98cd4d123aa14598b1f0d54c22663c8200a96d9c (patch) | |
| tree | 1a9b8245bd7a4bc80609f6e92cc6e897370cc252 /gcc/tree-ssa-strlen.c | |
| parent | e9711fe482b4abef0e7572809d3593631991276e (diff) | |
| download | gcc-98cd4d123aa14598b1f0d54c22663c8200a96d9c.zip gcc-98cd4d123aa14598b1f0d54c22663c8200a96d9c.tar.gz gcc-98cd4d123aa14598b1f0d54c22663c8200a96d9c.tar.bz2 | |
analyzer: add -fdump-analyzer-exploded-paths
gcc/analyzer/ChangeLog:
* analyzer.opt (fdump-analyzer-exploded-paths): New.
* diagnostic-manager.cc
(diagnostic_manager::emit_saved_diagnostic): Implement it.
* engine.cc (exploded_path::dump_to_pp): Add ext_state param and
use it to dump states if non-NULL.
(exploded_path::dump): Likewise.
(exploded_path::dump_to_file): New.
* exploded-graph.h (exploded_path::dump_to_pp): Add ext_state
param.
(exploded_path::dump): Likewise.
(exploded_path::dump): Likewise.
(exploded_path::dump_to_file): New.
gcc/ChangeLog:
* doc/invoke.texi (-fdump-analyzer-exploded-paths): New.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/tree-ssa-strlen.c')
0 files changed, 0 insertions, 0 deletions