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

    <tr>
        <th>Summary</th>
        <td>
            Implement `Top` with a singleton value
        </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>
    See https://reviews.llvm.org/D135397?id=465863#inline-1306043 for full discussion when Top was originally implemented. Based on that, we would be better off with a singleton value.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx00TuupDoQBuDV2EmpEX5D4OCc20K68ZwNGFyAR8ZG2DTq3Y-6NQ9NMFFFVfr_r1wpYUmIlqhPou7UnXXNh31uLnk6Zv-03xBhrXUvRHwQPhA-HPgIeJUmxsfW5GMhfLgzoURviBiCJ-Iuteq0IFyEFEPCGxOtbqWAOR8wnzGCD2U6Swk5wbVigq-8w-UK5CMsIbkYnxC2PeKGqaJv4NMV9JAT1NVVwv-DC-HKZ_QwIoxYKx6Q5xmuUFdwUEJaItac4OHiiQ31Vvhe9I6iZdpIZTQ3hq5Wdox13hglZzWJGbue973XE2fITK9GGixvuWgZl-zVwDTTLDo1MymE1lIZRmSLmwvxtwYNpZxodcu1oNGNGMsbl_MpurQQ8eFddXPMF-H8RX7Y1-ptPJdCZBtDqX9oaQ01ov3_lwUQ3X7lnej2H1XpeUT797uWUNdzbKa8ET68Dv8ct_3I33GqhA_vyIXw4Z36RwAAAP__0Xaq4Q">