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

    <tr>
        <th>Summary</th>
        <td>
            [nsan] Add support for checking inlined functions
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            enhancement,
            compiler-rt:nsan
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          alexander-shaposhnikov
      </td>
    </tr>
</table>

<pre>
    Currently nsan uses functions as "boundaries", i.e. the tool checks the accuracy of return values and arguments.
The compiler is aware of inlining decisions, therefore we still can make the instrumentation pass emit checks for such values
is some cases (if they still exist after optimizations).
This needs further investigation, the complexity of this task is currently unclear.
Users may use explicit checks, but this requires source-level changes.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxEUkuy6jgMXY0zUUElhvAZZEA_ihV0L0CxlUSNY6ctmwe9-lcO3HsnSblsnY_OQREePVGn2r9Ue60wpynEDh090VuKG5lwCTJ5vodH1Qf76n7lGMkn9wIv6CELCQzZm8TBC6CA0roP2VuMTKK0VvoX8Ja2kCaCFIIDM5G5y3pGY3JE84IwQKSUo4cHukwC6C1gHPNMPslW1VdVX_6eCEyYF3YUgQXwN0Yqo-wde_YjWDIsRUlhTRNFGkIk-E0giZ0Dgx5mvNNKzl5SXAmwqIcFRYBmTl8KhxBBspk-mt4iWEDCTGCwWFf6xENBe30Y6MmSAIdEEcKSeOb_V3RR-vxtgwU8kS2bi0UlsH-QJB7Xpx_tq1VHT07relKZSij34tx8p5C9cYTxA_2PUBSY8VWCAXoujs23n4Lb5_RGivRf5kjFTI6GNo4eVKJBP9LXvt_fynY7e96dsaKuOWpd63NzPlRTt9O0b82xP_W9OWjbG9rR0LTWHpuhqQ-nijtd63191Afd6MOu3dq6Jm1a01Bz2OvhoPY1zchu69xj3oY4ViySqWvq-tQcK4c9OVnLqTX5Cb2hEte7VUrrrzJsYlK7SylkuWqvVewK4qbPo6h97ViS_HAkTm6t_DrQXuFiLUhelhDTmvm6rlKntVdkfwpe5ei6KaVF1O6i9E3p28hpyv3WhFnpW-H4_DZLDP-SSUrfVlOi9O3j69HpPwEAAP__4TwwmQ">