analyzer: add -fdump-analyzer-json

[gcc.git] / gcc / doc / analyzer.texi

diff --git a/gcc/doc/analyzer.texi b/gcc/doc/analyzer.texi
index 92c12e19401ec4cc29c2417dbabc38db02278891..6b7d70cccaae3ebeb51ddb51bbc074a4dae64abb 100644 (file)
--- a/gcc/doc/analyzer.texi
+++ b/gcc/doc/analyzer.texi
@@ -488,6 +488,9 @@ truthfulness of the argument.  This is useful for writing DejaGnu tests.
 
 @subsection Other Debugging Techniques
 
+The option @option{-fdump-analyzer-json} will dump both the supergraph
+and the exploded graph in compressed JSON form.
+
 One approach when tracking down where a particular bogus state is
 introduced into the @code{exploded_graph} is to add custom code to
 @code{program_state::validate}.