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

    <tr>
        <th>Summary</th>
        <td>
            Ensure deterministic execution of the dataflow analysis framework
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:dataflow
      </td>
    </tr>

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

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

<pre>
    There are a number of factors in the implementation of the analysis framework that result in non deterministic behavior. Taken together, it makes it quite difficult to evaluate the impact of performance changes and/or debug results. We should eliminate all sources of (observable) non-determinism in the framework. This issue tracks the known issues and progress on eliminating them.

@sam-mccall 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsUs2O2zwMfBr5QsTwyk6cHHzY79vmCRbomZJpW41-UpHKdt--UPavKHrQD4jhcIYYZHZrJJrU_j-1f2qwyJby9Bowzo1J8-v0vFEmwHoglmAoQ1pgQSspM7gIshG4cPUUKAqKS7ECahUj-ld2DEvGQC8pX0A2FMjExUvtjSnCTEI5uOhYnAVDG95cyi0844UiSFpJNspK_w9OIOCFuH5-FicEs1sWZyuZJKAb-oJCH4rQSlVypbykHDBaArthXIkB46z0OWWYyZT1XRC38J2At1T8DORdcLGyoffAqWRLXOmUPibDlG9oPCl9qh52Xx7Cx0o-PbfwvDkGx1wIJKO98B1wieklvpXvguCa05qJGVL8HO_iWsGhVd2T6h7f76FjDLtgbdXWzFM_n_oTNjQ9HI7jcNj349hs02jRHB9OQ4dH89CPvZnNuNBwMvpoTE_UuEl3uu8OWutO6_3Y7vsR8dQtaHsyw_Goho4COt96fwttymtzlzsd-mG_bzwa8nxPjtbWY1xV_zij4OLTi9K65ilPtXVnyspq6Lxj4S8yceJp-ha5ZPorBvSLbPkzSx-8_whVU7KfNpErq_5R6bPS59XJVkxrU1D6XOe9P7trTj_IitLnt8Urfb6b-R0AAP__7dANwQ">