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

    <tr>
        <th>Summary</th>
        <td>
            Possible NULL dereference in llvm/Transforms/Scalar
        </td>
    </tr>

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

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

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

<pre>
    Hi,

I found possible null pointer dereference with Svace static analyzer.

A `SIUse` pointer is checked on NULL and then dereferenced while casting in isValidSelectInst() at llvm/lib/Transforms/Scalar/DFAJumpThreading.cpp:
https://github.com/llvm/llvm-project/blob/b5a1747c8fec1b49971d2c4e259c844a1242a7cb/llvm/lib/Transforms/Scalar/DFAJumpThreading.cpp#L522-L525
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUksFu3CwUhZ8Gb1BG-GLG9oLF_H9kNdWoqjRJ9xe4HtMy2AI8Ufr01bhJm0U32SEhfffTOQdz9udIpJn6j6n7CtcyzUnjgnaSoq7M7F70J8_gfyYOTBwe-Div0fFlztmbQDyuIfBl9rFQ4o4SjZQoWuLPvkz8dEVLPBcs3nKMGF5-Utr9Rh0424vTw1Mmthd_ED5zO5H9QY7PkX95Oh45RsfLRPE93vHnyQfiFnPx8cx95D5_w-DdiQLZ8hBzYdAx6DkWHsL1wmAI3jAYHhPGPM7pkhkMJ4sBE4Phfjh8Xi_L45QInY_nnV0WJm-eUylLvj1hYDCcfZlWs7PzBnzlhuvlbknzd7KFwWDCfLtjFNZt09puJFubpu_b2oFtCFRvu6bBGhrA1pp3nI_6gTwqgLujAlU5LV0ve6xI161qpewbAdWkLbWIkvaWjKrFKMnAKBEEdrV0nRWV1yBAiV50tQQl6h1Y45DMaOy-a0GMrBF0QR92N83dnM6Vz3klXau2UaIKaCjkbUAAkZ759ssAbntKegvHrOfMGhF8LvkvpvgSSH99m9JW9vsJ-fjW3D8yqdYU9Ie72dxukFf5q4ZfAQAA___LDfrd">