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

    <tr>
        <th>Summary</th>
        <td>
            [BoundsSafety] Move `FieldDecl::IsBoundsSafetyCounter` to an attribute.
        </td>
    </tr>

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

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

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

<pre>
    `IsBoundsSafetyCounter` is used to indicate that the field is referred to by another field that has `__counted_by` or friends. `__counted_by` will be extended to be used on a variable. Hence, we would need an attribute to apply to a non-field decl and hold more information about the other variable referring to it.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0Us2OmzAQfhpzGQUZ8xM4cNjdCLWHnvoA0diegCvHjvyTNG9fQVh1D-0JxAzffH8Yo5kd0cjadyZEwJvR0SETgrWnAnNafBg_vxbS6-fIOv49vvvsdPyJF0rPD59dosA6DiZCjqQheTBOG4WJIC2YIC0EF0NWryuBLhTCa00-AZ1PC4V9vq0vGIF1_HxWG7Y-y-cK7wNcgiGnY_mv8cNYC5KAfidyesenFyPvAOGOwaC0VMI3coqY-IAHwcNnq8ERaUAHmFIwMq_EPeDtZp_bCzjvDi-GmpQFdBoWbzVcfSAw7uLDFZNZz0ifX4Jfsj6P7rKNmzd7UlnosdZDPWBBY3UUAx-GthuKZayp1bxvjrpRcmiqY9c3nA-850NVt51qCzMKLpqKV111FB3vS6lq3lKjaq6wr1vJGk5XNLa09n4tfZgLE2OmsapE23eFRUk27pkri25m9ZvcIj3ELdO9AGFcAQ4yz5E13JqY4l_IZJLdivO1DKw9wQ9_pzWfabXrRMqy-o3Vb_9tzervF-PLIgc7Lind4vqjmJiYZpOWLEvlr0xMK4P9cbgF_4tUYmLaFEYmpl3kfRR_AgAA__9CXfVU">