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

    <tr>
        <th>Summary</th>
        <td>
            Extend `counted_by` support beyond struct fields
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:bounds-safety
      </td>
    </tr>

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

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

<pre>
    Currently, `counted_by` and related attributes are only supported in struct fields. This issue tracks extending support to:

- Function parameters
- Return types
- Global variables
- Local variables

For `typedef`, support would only make sense if the attribute argument is a constexpr or constant literal.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxkkkFvGyEQhX8NexnZAta7jg8c0rTbS09V79UA4zUNhhUMafbfV-vEitpKSIiHZkbfvIe1hjkRGTF8EsPnDhtfcjEFl-Brws5mv5qnVgoljqvQTyBG6XJLTP6nXcUoAZOHQhGZPCBzCbYxVcBCkFNcobZlyWX7DQkql-YYzoGir3v4cQkVQq2NgAu65wr0ypR8SPO9DjiL_lHI7exgaslxyAkWLHglplJv-nfiVhLwutCb8DVmixFesAS08V38lt0_mpCPUy4b1Fbq6SxGuVHeh__OLfo3jis-E1RKlSCcgS_0QQtY5nalxBAqILicKtPrUiCXtwcmhhiYCsZ9503vT_0JOzLqOOrj6XQcVHcxJ9Xj6NBJ57Wlg9WSHrxy8ijPD6PGoQtGSz0opaR66IdB7ZGsU3Q4az0qb5UTB0lXDHEf48t1n8vc3XZr1Hjsx6GLaCnWm9Vau4hpFv2jzS35uqt4Jl6F1lsKitka7GybqzjIGCrXj5YcOJL5cvPp_zTcF2dpzcn_7XfXSjQX5qVujupJ6GkOfGl27_JV6Gkb8X7tlpJ_kWOhpxtCFXp6p3gx-k8AAAD__72F6tw">