<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56846>56846</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            StaticAnalyzer Readme isn't correct
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          Karina5005
      </td>
    </tr>
</table>

<pre>
    I found the examples in the StaticAnalyzer Readme:

> There are some useful command-line options for debugging.  For example:
> 
> $ clang -cc1 -help | grep analyze
>  ...
>  -analyzer-viz-egraph-graphviz
>  ...
> 
> ...  The third generates a graphviz dot file of the ExplodedGraph.

I wanted to look at ExplodedGraph so I use it like this:
`clang -cc1 -analyzer-viz-egraph-graphviz <test file>`

It finished correctly, but nothing happened.
How can I get an ExplodedGraph?
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx9UtuOmzAQ_Rp4GYG4Xx542GY3bdS3tj9g7AHcNTayzWazX98JmyiJ1FYCM8NczkXujTh1BxjMqgX4CQHf2bwodCD1lv_0zEv-pJk6faCFH8jEjEH-FCTPQXI98xf4NaFFYPQ6MyOsDodVATfzzLSIlNQIZvHSaEdgFgT26zhKPcYAe8ovsLfFtPIuygrgiukRIs5TiCZUCwT1DkaLC7BPcrd2iOP4LosuDTZ6kx8RjpYtU7SdlP9r6hbRbzjLIzukFTCiRss8OcTgugSE8TBIRRqHzbWX90UZgeLruSG-9-oAR6Y9ktkGlDGvwPxjN_kHh7N_ID0o-brhupsxVXLvxP-kQZDviOcnM1JCow9MzgUt3URkuLEWuVenINtBv3rQhlAJZWLLQoLFRcM3cwTONBEc0ZPxj9SDfB9il1Zlm-dN1jah6HLR5i0LvfQKu7_eJZBOB1ntrxzC1apu8n7ZNGd7ekbpp7WP6TJRotTb9RMt1vymEUqlcys6CsqqKapw6ooirRlv-mFIq7zveSsKkfAm531TNljxULEeleuC8kuQZRqPsK2gOCifQ9llSZYlTZImddqkdVw3RVm2omo4srbv66BIcGZSxWcesbFjaLuNEl1rR0UlnXe3InNOjhpxg6P9bPWTsd13ZqVmZZKU4Ybebez_ABgqI4A">