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

    <tr>
        <th>Summary</th>
        <td>
            Assertion failed when using CSA dump ExplodedGraph 
        </td>
    </tr>

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

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

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

<pre>
    ## intro:
I tried to dump ExplodedGraph from bzip2-1.0.8 , when I process fallbackQSort3 function in blocksort.c  CSA crashed. 
## info
`llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:3304: void {anonymous}::RangeConstraintManager::printConstraints(llvm::raw_ostream&, clang::ento::ProgramStateRef, const char*, unsigned int, bool) const: Assertion `insertion_took_place && "two symbols should not have the same dump"' failed.`

script、source and backtrace are both in zip.
[bug_report.zip](https://github.com/llvm/llvm-project/files/13995563/bug_report.zip)







</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUk0-PpDYQxT9NcSktArv5d-DATC_RHiIlO7dcRsYU4IyxkW2m0_3pI8Mos4pWkXIx2M8uP7-fSnivZkPUQvEExTURe1isa_9Y1G2_i8dCeTLY8d4C48A4KhOcBd5BdoWs-4bBKRoxWBz3dcOvf23ajjT-4sS24OTsisNDbexLnmZpjcCe8baQwW-4OSvJe5yE1oOQb7-_WBc4TruRQVmDyuCgrXzz1oVUIj6_dCid8AuNKZ6X_-Nosh8LZab1-_plc_ZPkgFYL7UwM7BeqwFY_xJEULIzQt8f5ID1z9YRsP67MDM9W-ODE8qEX4URM7lUbhvwjvPsArzDd6tGhOpJGGvuq909VNeYA-9-fvzUNqdM-NQ8sDpaPEUnbq_WB0diBVbGcE6_h0gm2PPvN2dnJ9bonr7TdOyLFVEuwgHr4sJuDopj5BPng7UaWHNujPY778kdyUKZKfMxeQ3Wvr1uWkjCw0KJwFi4WfT3dbDao1_srkc0NuAi3gnDQujFSgdvYAxYhZNQmsYUyuyDwzF66dQW4CuHOoM693Z3klCYESPv4OKdwhEONiwR90Nt6cf54mnY51dHW4T_UBsUV2D1EsLmYySsB9bPKiz7kEq7Rr4x0_PzA_1JafLA-pw3TVGUHFj_r7qs-dHxf4_J2PKx4Y1IqM2rrKiyOr_UydKWNOVNWVxq3hTFkJVSVBUTVcHGcSorwRPVsoxdsjxvGL80WZFSPbG8rC4Vl5LEwOCS0SqUTuMDUuvmRHm_U1vVdVYnWgyk_dGfjBm64SHG7Itr4trj0cM-e7hkWvngP6sEFTS1n-hPUGcL7l6Z-Wirn3Rusjvd_u-8D18x8MP33wEAAP__iiFkAA">