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

    <tr>
        <th>Summary</th>
        <td>
            [msan] Better handling of signed compare
        </td>
    </tr>

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

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

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

<pre>
    https://github.com/llvm/llvm-project/pull/110880 triggers a false positive in MSan.

Improve handleSignedRelationalComparison to handle the kind of IR generated with that change; or enable exact handling (-msan-handle-icmp-exact) at the cost of ~3% code size and (unknown) CPU.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUks2O3CAQhJ8GX1pjQft3Dj7sj0baQ6RoV3mAtumxyWKwAM8mOeTZIzOJ9pwLHGiqS1UfxWhmxzyI5lE0zwXtafFh4H1mZ2Ixev1zWFLaoqgeBF4EXmaTln0sJ78KvFh7-3edtuC_85QEXrbdWoEXpWTfS0jBzDOHCARXspFh89Ekc2MwDr68kSuFfBby4X6-rFvwN4aFnLb8dpjTr2wpGe_IPvl1o2Cid5D83xlIC8O7cRr8FV5eYWbHgRJr-DBpgbRQgmkhN7OoHsEHYEejZeAfNKW7hnEzCOxPayR3uquezLRupzwj8AyU8prJx3Ss-V0JbGDymiGaXwzk9CGwu3fnP9zx4enrt7LQQ6XP1ZkKHlSHvew6hXWxDK3EtqJOXXuidmyxkkqRrjt9bqoWKyrMgBJrJWWNChusy6ljqmvSfc9Ut2cSteSVjC2P6Esf5sLEuPOglEKFhaWRbcylIjr-gPwqEI-Ow5D7Gvc5ilpaE1P8lEkm2UzDkYVonuGRU-LwmZO_QkZGw5TL4GIP9v8ZyYZipiQ7vg34JwAA___8xtTq">