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

    <tr>
        <th>Summary</th>
        <td>
            Add bounds checking to unique_ptr<T[]> and shared_ptr<T[]>
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            enhancement,
            libc++
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            var-const
      </td>
    </tr>

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

<pre>
    The array specialization of `unique_ptr` and the base specialization of `shared_ptr` have `operator[]`. There should be an ABI configuration that makes it possible to do bounds checking for these types.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxskUGP2yAQhX8NvozWwuONvTlwSHYbqffcqwHGhi4BF3Ck9NdXcVM1UishIcHTm_fmo1L8HJmV2B0F4pXyi0mxVIEodh8NrdWlrIL1KUZudLI3dXYMlDPdoCxsPAX_k6pPEdIEYpBr9D9W_rbULAYJFC1Ux6Cp8P_1xVFm-0fv6Mr317RwppryPdbuQwyyhbPjzFBcWoMFzUARDsevYFKc_Lzm357VUYULfXIBX2FJpXgdGGoCm0CnNdoCxrH59HGGKeV7uMJQbwuXtrGqt_t-Tw2rbtjvhnEYXrvGqQkNTSTlG2kkaacB2ZIeWaLscexM4xVK7OUed9h1I3ZtR9q-9ahH4o7sxOJV8oV8aEO4XtqU58aXsrIaxn7EJpDmUB4MODqKhi8cNwr4LhCD10bgcTsbmKzuRi96nYt4lcGXWv5aV18Dq4O1_zSuCZ749O_nx377LxupJxbPf82ag3K1LkX0B4EngafZV7fq1qSLwNN98ON6WXL6zqYKPG0Fi8DT1vFXAAAA__-3xsoE">