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

    <tr>
        <th>Summary</th>
        <td>
            Spurious error with -fincremental-extensions in clang 16
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          cov-tprince
      </td>
    </tr>
</table>

<pre>
    We recently started the process to upgrade our frontend to clang 16. However, we discovered a fairly serious regression when using `-fincremental-extensions`:

```
$ cat bad.cpp
struct S {
  ~S();
};
S::~S() {}
$ /opt/pkg/clang-16/bin/clang++ -c bad.cpp
$ /opt/pkg/clang-16/bin/clang++ -c -Xclang -fincremental-extensions bad.cpp
bad.cpp:4:4: error: call to non-static member function without an object argument
S::~S() {}
~~~^
1 error generated.
$ 
```

Godbolt link for the above:
https://godbolt.org/z/89jfE3YWP

It's probably worth a little explanation for why we're using this obscure feature--this is an unfortunate wart relating to constraints imposed by our internal AST. When a type contains a member function template that implements a special member function (e.g. `operator=`) we attempt to instantiate those methods when doing AST translation even if they are not explicitly required by the translation unit. Any errors generated by this instantiation are suppressed and discarded.

However, because we're doing this instantiation after the `ASTUnit` is fully loaded, clang would normally tear down many of the resources needed to do template instantiations, leading to various memory errors/crashes. We use `-fincremental-extensions` to suppress this teardown.

In the future, we hope to do these instantiations inline with the initial `ASTUnit` loading which would allow us to remove our dependency on `-fincremental-extensions`.

We are currently in the process of trying to identify what commit or set of commits introduced this regression.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycVUtv4zYQ_jX0ZWBDpt8HH5xm3e6tgFOkPVLiyOIuRarDob3uIb-9GMlO4n10gQKJLFKc1zcfvzEpuWNA3KrFg1o8jkzmJtK2iqcxd-RChaMy2sv2GYGwwsD-AokNMVrgBqGjWGFKwBFydyRjEWImqCkGxmBlv_ImHGG6nMBv8YwnJKV_gTOCdamKJyS0YKA2jsQ1kos5AeGRMCUXA5wbDJCTC0dQy2Jcu1ARthjY-DF-YQxyKqlloWY7VTyq4vZcFte_YannUBmG0thJ1XXDZmLKFcMB1Oph2AF4OSi9VnqjZtcttXp8fT9IkNnudqa3Wz2-RVB6HztWet99Piq970sfT5dK70sXbhtKPyj9AOPqPpn_YT_-cwD3R6jcB7gtZrv59R-QKJK8VMZ7aVaIYZzYsKugxbZEgjqHivtGOG5iZjABYvkJKwZDxywxf47Ny8uLWnwY3qdDVDhiQDKMdvKu_u-2rn_-Gm0ZPYN34TPUkXr6mTKe8LXxDXOXZKX3Su-Pg8EkkkD5j9L79eZT_WH21_Pv7_1-ZKVXSYhcmtJf4ByJGzDgHbNHwC-dN8H0CEjUc3OBMyq9IryykhuXIJapyoRQo-FMOB73uy4JWjnUkTgHwwhnQwyE3nBvGqGKITEZFziBa7uY0EJ56S-RC4wUjIfd4WkCz3IPDPClQzFi40IC802XGNvOSyRuDItH39NCjqYOK2f8NyZKr3FynMj1ip20RCjxKPDrjVxUw-KUJVsXEpvAbggQE0KL3ESbhmtqo1S1OzwBkwnJD7DhCQO4Whp2AUMIIXKPq6uc6Anh39nRULc09b1tDo4nsAuXgTTpjTXDaQH5NScxEP8pd53IhyhLsL3QGLJvROuf78SoxMrkhK99Hcr4nvOacSCeWha7w9MfwbFaFtLnOnt_AR-NRSs-h4t5jtlbCJFaI58ZDYGN5wCtCReIPSZAmGKmChMERIu9aNr41sm7HJI492jslT8nMyhmi22kG0qiFGRSg2kCz8JT_Il2iqcbakPhkqpkeofZx9AnXGfh-FXGm9jhLeMG09fpggveBezVozd2wbGw8B5BAU4qOjeuaq6wGe_jGXI_XAjbeBpmi8UOg8VQXUDI-5913WX_jD07qkw0DDIX7maYtIMuV1ydxcCuvsBZ7lEV29YxRIKELAeHDamOKdpc9ePQvR9cd6FHdjuzm9nGjHA7Xa71Ui-Wi_mo2ZrpYj0r10ZP9WZdr1b1dDpfzdZ6M1ssys18OXJbXehZMdcrXRTFopjM59PCTBfTclUvZrYu1bzA1jg_8f7UitiNXEoZt0s9n85G3pToUz_dtQ54hv6j0lqGPW3FZlzmY1LzwrvE6c0LO_a4PXR54Neg2X0XfzhtXHgd9qNMfvuVHjtucjmpYqv0XsJcf8YdRRknSu_75IS9ffL_BgAA__-m3uFg">