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

    <tr>
        <th>Summary</th>
        <td>
            Implement timeout mechanism in `WatchedLiteralsSolver`
        </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>
    In rare cases, the solver does not terminate in a reasonable amount of time. Add a mechanism to stop the solver after a specified number of iterations. We need to also be sure that the existing code in the dataflow engine handles this case correctly (although it should, since the case is already in the enum, even if the solver hasn't previously used it).

@sgatev 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxMks2O5CoMhZ-GbKwuUVR-Ooss6t5WSS3Nbha9dsAJjAiUsKmZevtRom5Nb4yE8GfO8UHmsCaiSXX_qe6twSo-l-m5YXLNnN1zek9QsBBYZGJl_gfxBJzjgwq4TAwpCwiVLSQUgpAAoRByTjhHAtxyTQJ5AQkbneDqHCBsZD2mwBtIBpZ8_07FRfYKfCcblkAOUt1mKjskCBWUkBOf4IMgEbkdgZEzzARcC4F4lINHfwJLSCvY7I6f7ZcOBZeYfwOlNSQCj8lFYhAf-BAJNpdCVuITlHnFKD7X1UMQYJ9rdLsHHJKlA3d0BAaMhdA9v6ZQqtv-kB6UICzf5XnkpMwgcC_0CLlyfEJlchBEmfGk9JvS18_aal5R6AGNmy5uvIzY0HTuh7YbBj2MjZ-GgRbXayI7nKmj1lJ_Xl5pHPUyW9u6JkxGm4s-m_bcn4duPBlzXvr2ope2w1c3G9Vq2jDEU4yP7ZTL2gTmSlOvTd81EWeKfMTDGBsxrepy_fJQGbOHpkx768tcV1atjoGF_8EkSKTpfbtH2ijJEYNc5VsEQgLV6w8U68n9ODYc-edhlup1U0ucvMid1eWqzE2Z2xrE1_lk86bMbR_0ebzcS_5FVpS5HRJYmduh4m8AAAD__70-_CU">