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

    <tr>
        <th>Summary</th>
        <td>
            [clang static analyzer] False negatives in medium-sized codebase
        </td>
    </tr>

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

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

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

<pre>
    version : Clang 18.1.0
https://godbolt.org/z/jbTTWTY75

The inputs that can trigger the defect I generated could be: ./program -4294967070 -2807524095 -1126604335

I have ruled out all the factors I believe could cause the checker to stop prematurely: there are no loops, floating-point numbers, unions, or multiple function calls in this test case. The size of this test case also does not exceed the upper limit that CSA claims it can handle.

I observed that after removing some variables that are never used, the checker was able to correctly detect defects, which also confirms that the test case is within the checker's scope. These code snippets could be:

`llvm_cbe_ld1045 = *llvm_cbe_inptr;` in **func** main **block** llvm_cbe_block14
`llvm_cbe_ld1106 = *llvm_cbe_gep1105;` in **func** main **block** llvm_cbe_block14

I apologize for not providing a minimized version of the test case. I suspect this issue may occur in larger codebases
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVEGP2zgP_TXKhUggy44TH3xIZxBgzt8AH_ZUyDJtq5UlQ6Q9zfz6hZR0Ou3ucS-JQUl8fO-R1ER29IitOH4Rx-edXnkKsWWr_Q_rxwl3Xehv7YaRbPAgygs8Oe1HKM6H4iCFfBbyMjEvJMqLUFehrmPou-D4EOIo1PVdqOu37vX1_69_nY736_ff1wnB-mVlAp40g9EeONpxxAg8IfQ4oGF4gRE9Rs3Ygwmr66HDVMVBqOsSwxj1DPtKNVVTn-RJwl6d5emoKtkcYV8Uqq5lVZa_Ib_ApDeEuDrsIawM2rkMOWjDIRK8QIfO4oYPRKNXwnzDTGi-pwIDEIcFloiz5jWiu6WieMKIoCOCD-BCWEioJxhc0Gz9uF-C9Qx-nTuM-WT1Nvj8FSLMq2O7OIRh9YaT2kY7R2A98GQJGCmpRHiApB3Zd4Qw_HEG2lGAPiCBDwz4wyD2ufR1WTCCs7Plu-BP_7uAcdrOBPYu_6R97_Dwu1ahI4xbTqIZ9MAYIeIcNutHoDAjbDpa3Tl8GJnp44YRVsI-kfus3JsmSJeThCbEiIbdDXrkZPbd8yzI22TNdGdjgh9snB_pU7JfdC3Bm-Upa_QBItSJgExY7lJR8rFHIG-XBZk-99FnrqKWzm3zV9PhV9cXsjqCKJ9BqMtH2PqFoyi_iFomX4S6CHVJft2_YNYf0c4F8_0R_nifg0X1r3iFrP-BN-JSFPL4nyE-PNVLcGFMDTSEmBtliWGzfbJUw2y9ne079vBz7HOb4ecOfAFaaUme5f6zRCvCrG8QjFljqtTpmEY5Kd9pQtr1bdk3ZaN32BYndayqomma3dQOTVcYHMz5XFayLgclVWHU8VwVfXWuCtzZVsk00LKSjarL5lDXp9qcsOnO3akYCiMqibO27pBYp72zy_W0hTwpWe2c7tBR3nBKmbS9hFJp2cU2Pdh360iiks4S068UbNnltZhfALFma0B77W7vGMXxGa7aUWr1UbPdMA_qjL1d5z1l9X5S363RtX_sSMvT2h1MmIW6JsjH336J4RsaFuqaKZBQ1weLrVV_BwAA__8pgd2z">