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

    <tr>
        <th>Summary</th>
        <td>
            Interception of explicit specification of implicit types is fragile, and easily broken
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    This bug technically results in incorrect codegen, but in practice it is not a real issue as you only hit it in cases where you specify non-spec compliant definitions of core types.

There are a number of types that are needed to evaluate new and delete, that are declared implicitly if needed. However clang does need to track the explicit definitions provided by users or libraries, so that the same internal types are used.

The root of the problem is that we perform the interception during sema of the declaration, not when the declarations are inserted into the std namespace. This approach carries an implicit assumption that these types will be specified via the correct declaration, which it does not need to be, e.g:

```cpp
namespace std {
   struct align_val_t {
 align_val_t(__SIZE_TYPE__);
   };
}
```

As clang assumes `align_val_t` is an enum it does not detect this user specified `align_val_t`, this becomes problematic because Sema ends up with multiple `align_val_t` types, and then as a result the calling conventions can become mismatched, e.g. 
```cpp
// continued from above

void *operator new(__SIZE_TYPE__ size, std::align_val_t) {
  return nullptr; // Totes fine
}

struct __attribute__((aligned(64))) S {
    int i;
 S();
};

void f() {
    new S;
}
```

If we look at the codegen, we can see that despite the nonsense align_val_t struct, clang still passes the alignment parameter as the implicit enum type. This resolves as the implicit align_val_t matches the type used in the implicitly declared aligned operator new. If we try to force the use of our align_val_t via a placement argument

```cpp
struct Context;
void *operator new(__SIZE_TYPE__ size, std::align_val_t, Context&) {
  return nullptr; // Totes fine
}

void f(Context& Ctx) {
    new (Ctx) S;
}
```

Clang cannot resolve the operator new, as the candidate resolution is based on the implicit align_val_t, which does not match the explicit align_val_t used in the declaration.

To get the correct behavior here we should probably just be performing this interception at the point where declarations are inserted into scopes, not during validation of specific kinds of declaration.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVkFv4zoO_jXOhZjAcZK2OeTQ6bxi57ZAe9m9BLREx5rKkiFRyWR__YKyk9jd9_bNYYA0dUyKIvl9-iiM0Rwd0b7Yfi223xaYuPVh73-0yfGi9vqyf29NhDodgUm1zii09gKBYrIcwTgwTvkQSDEor-lIrqheoE4stj6gYqMIDIOJ4DwDQiC0YGJMBBjh4hN4Zy_Qik9epTBShHNLgbI59qRMcwHn3Rd5BuW73hp0DJoa4wwb7yL4BpQPBHzpKS6L8ltRPg_f7zkUyh-41NUUxDn7AbfI2eSINGlgD3RCm5Dl1RnQadBkiUnqunlrUhYDaTCSijJsL2CaMcgS_uHPdKIAyqI7gvYUs0mic0D1AdwS0M9h6ayKPviTkUTqC6RIIYIPYE0dMBiKkkP0QxoSImJHYBxTcGjHiiS9FEl_bgEE7zkX3pJsU1vqBJUc7EzQU2h86LI5h1TUS06gUzDuCJE6vC4fykcxS0oC7Lkl99k2JGNcpMDSKyf1S9qswWFHsUdFS8gUw74PHlULCoOUCuhuzQWMMXVDNtfa44g0nI21UNNIE0MaTgbzNldifsr23BrVCtcGXDzfsKkzyLQ8FuvnafeKh3L4qL4f3tyyz7UUj1-H1wAQOSTFgNYc3eGE9sAT8-RtUT0dDm_f__3H4f1f__zjcCiqXbG-hykev91-yvM8j2lyz3GkWW4SRSgeyuk-D6WgjA7IpW5WtiaW9rC0X7g2aeH_xBjYL1JAyssuI4OQjZJ3mCLBm1CEnI6QejgbbqFLlk1v6U-SyuhJWDliLOzBmOVBpGXAD60V5invTuQGQil0YwrQmdghq5b0iNoS_gquonotqlcJxMYl0tAE3wHW_kTTVp680VBUz76ngOyDKMBnnCCa_2SaRNZCk_XzDNTdlAyBOAUHLlnbcyjWX2FM5N0zRWiMo88I5--RQ4cDMgdTJybhx1NRPeW9pOCnh40wJn_gbcZAOWdg7mR6y0t3Mzrdnu91N4PbPJRI4NsvEvF7IzJivf-AUZ4mE-FMGbpINJxgTbE3TNnNeRfJRZodmqEHsnRgd2Q55z3GmFV7dO7IMfQYsCOmIAzK8nXVjUx5IdooMoGitycRl0-O050HUg0OsjarqQym6Qp7uc-AERSY0mYJQzs4XERZGh_UUKycE9-AT2G2qWgWQm9RUa4JwzHJw_-XoZEoL94x_eQbTr-Bxy-3oNXDb2L1jWX3yPDCP_-Uc-I1mH6VfS-ZJQqdKNuIc274vAkvV-gVOm20jPnsnPJwEX1DQdu7v-THfYTchDQzZj7Tp9hO-TOZRfMB7eFIPBtbNbV4Mj5Avr6cCWLrk9VZebG2F_iRonhdJ7dIZZbo2fQej2LvRRWGS9XfTOio_KjMeUgM0_-EVrolEX1zHRQKPoyovW9mdS30fq136x0uaL96rHZltVlX20W7XzXrXb1C3eCuLLebNalNrR6ftH7CFW62m4XZV2W1WZWrbVWuq3K7pF2Fj9vqaad328fycVNsSurQ2KW1p27pw3GRb5L71ararDcLizXZmG-zVSU8ytaiquRyG_ay6EudjrHYlNZEjvcwbNjS_vu0c765w3kt-NaBGzOGS4iJ0AQ8GkvXiUYYjb1AHfwHuUUKdt8y91GOWj4tR8NtqpfKd0X1KmmM_770wf8gUb7XnHwsqtexutO--m8AAAD__4U243M">