<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylUk2P2yAU_DX2BRnZ2M7HwYe06VaVtrfV5ozh2WYXg8tH0uyv78NJu60q9VIJmQcPZobx9FZeu9MEhnwh0QMJk_JE2HnmRmbsI_ETaE1sDEsMBFvZpjxxZ5QZs_pAzgouWJLR8WUiDr5F5cAT7j24oKzxeDyhnCYeiLTYCqmagWOrfiAHI3EHHCRoYwk318RApQ04kUFpuHPTG4afbNQStUpLgl35EwD59H3RVoL8vAqxAwngAxU0K49Zebh9n_Dc4-PzV3IG51Hc_cXIXDFa0iQUcfEBIugrElyMthwxVwIHGrjHxcLFKx_xmvEBuExcaNeidPJhcHYm3kYnAHclpLen26s_Z_X2NzWjTUkrmsuulvt6z3Mew2RdN1hXvEQfigvk0eluCmFByw4Ze8AxqjDFniIxLrQ-_5yKxdkX1I9L5X0Ej0Vb77Z1PnVVI7Z13w5M7GRbNbBh27rucXdf82bHmlzzHrTvsvZDxphBY1cIrLP2mP-_AtWxkuGoNiVrWNnSQfRDuavatmx25abZZU0JM1eaJhxq3Zi7boXs4-ixqZUP_r2JIVOjAVgFo8Kggobu6bc03VN7eU_3PdgpY0Jz_GGFEBUpuOH6-ga_CleICcQruKw-SkB6-oxB-zNjt4CllGIOZZyXf-UwX73oViN-AFYiJnM>53873</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            There is no output when I use command `clang -cc1 -analyze -analyzer-checker=debug.ViewExplodedGraph test.c` to dump the ExplodedGraph of test.c
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          for-just-we
      </td>
    </tr>
</table>

<pre>
    When I use this command, shell output is `Warning: viewing graph requires assertions`, What does that means? And there is no any `.dot` file output. What should I do to view the ExplodedGraph of test.c.

The LLVM version I use is 12.0.0,I directly downloaded the released package instead of compiling from source code, the graphviz version I use is 2.40.1.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx9Uk2PmzAQ_TVwsbAcAwk5cEibblVpe1ttzgYP4F1jU38kzf76jkna3apSJQvPeOz33ryhs_LaniYw5BuJHkiYlCe9nWdhZMY_Ez-B1sTGsMRAsJRt2Uk4o8yYlQdyVnDBkIxOLBNx8CMqB54I78EFZY3H6wnlNIlApMVSSNEMAkvlAzkYiSfgIEEbS4S5JgYqbcCNDErDnZveMPxko5aoVVoS7MqfAMiXn4u2EuTXVYgdSAAfaE8zdszY4fZ9wnuPj8_fyRmcR3H3jpF5wymjSSjiYgN90FckuBhtBWKuBA40CI_JIvpXMeIz4wMImbjQrkXp5MPg7Ey8ja4HPJWQek-vV3_O6u1fak4rRjc0l20p9-Ve5EEFDe3TB1Pu5l_eh3SfT7Kq1wJ5i77fkEIYoa9v8CdwRT9B_wouK48SujjSZ_Trb6tuPiWz0U4Z5-V_dubR6XYKYcHhHTL-gGtUYYodRUWYaH3-vRWLsy_oJKbK-wgeg7psdmU-tXInhlLuWNc0O9gKWQ9yYDsoeVVywWCfa9GB9m1Wf8o4NzjiFQLjrD7mquWM49psGa84q-nQdwNrNnXNqoZtqyarGMxCaZp0UOvG3LWrJHTAY1ErH_x7EX9WNRqAlQ7xRQyTde1gXfESfSgukK_07Sr_F2aWEfQ">