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

    <tr>
        <th>Summary</th>
        <td>
            [clang static analyzer] some confusion regarding the ipa-always-inline-size parameter
        </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>
    I created null pointer dereference defects for each of the functions: func0, func1, func2, func3, and func4. Additionally, the main function does not call func1, yet the CSA checker only reported the defects in func1.I am unsure what caused this issue, perhaps there is a flaw hidden within the checker.

This issue has persisted from LLVM 9 through LLVM 18. 
https://godbolt.org/z/4fcWYqfj9

  `4804:20: warning: Dereference of undefined pointer value (loaded from variable 'llvm_cbe_ld461') [core.NullDereference]
   4804 |   llvm_cbe_ld462 = *llvm_cbe_ld461;
 |                    ^~~~~~~~~~~~~~~`
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkk8GOpDYQhp_GXEqNjIEGDhx6ptPSSptcEiXKaVXYBXhjbGKb6fQc8uyRme7Z2Y0PUIX9f_WbsjEEPVmintVPrD5nuMXZ-T5qtP9oO82UDU7d-k8gPWEkBXYzBlanbSQPijyN5MlKAkUjyRhgdB4I5QxuhDgTjJuVUTsbWHnaE87E8x4Uj0A8gjIFaNWeVDmclNJJi8bc0lTiLajtOxSUowDWRZBozDfqjeK--PnXE8iZ5F_kwVlzA0-r82kfafZh-Q4s8k-AC2w2bJ7gOmOibmFfrAPoEDZK8JX8jGtICE-gAyCMBq8wa6XIwlXHWdu9wL10zviZ8dPb87d3FswYEizokByN3i3w-fPvP0MHcfZum-a3tGhzeNPOMa7pPzJxYeIyOTU4E3PnJyYur0xcqlH-8eff49fuY0EAduRVyytWngRPXbiit9pOKTx_6KAbYbOKRm1Jvbf4Bc1GwERrHKqHyxf0GgeTvjfGvCxf5EBfjKqOBRMNEx2w-kk6T_kvmzEfSrD6_PAEyRGw5hkAvkMIYOUZmDj9AC6f7tI3zf8Gq3_697vBjjxTfam6ssOM-qIRtWiKY11nc0p4PTZCEbVH0bYdqaMYqqatqxYVDpnuBRcV77goOG_KKlc1b2tVjWLkbVdVBas4LahNnmymFmR7T_uCH7tjmRkcyIT9VgkhDdqJCZEumO-T4DBsU2AVNzrE8A0RdTT7VdwVECJGLQEtmtsreVafIbiFQDo7biEdf08TeqXttB83veIBzRVv4aCt0ZYOQb8SrOhxoUg-27zpfzhDOs7bkEu3MHFJPu6vw-rdV5KRicu-r8DE5b61l178FwAA__8s0l1o">