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

    <tr>
        <th>Summary</th>
        <td>
            destruction order not respected
        </td>
    </tr>

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

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

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

<pre>
    This web page:

[cppquiz](https://cppquiz.org/quiz/question/323?result=OK&answer=bcad&did_answer=Answer)

shows an error of Clang about destruction order in case of exception while destructing local objects after having constructed the returned object.

It seems no one reported yet to Clang, is it ?


The code recalls an example from the standard, in [ [except.ctor]-p2 ](https://timsong-cpp.github.io/cppwp/std23/except.ctor#2).

I have elaborated a bit more with some std::cout and some few additional stuff, here: [godbolt](https://godbolt.org/z/a454Ge5oY)



Original code is:

struct A { };

struct Y { ~Y() noexcept(false) { throw 0; } };

A f() {
  try {
    A a;
    Y y;
    A b;
    return {};      // #1
  } catch (...) {
  }
  return {};        // #2
}

and the problem is that after the exception throw by y-destruction, the returned object constructed in #1 is not destroyed, also determining a memory leak as shown on godbolt link.



My code elaboration is:

#include <iostream>
#include <stdexcept>

unsigned d = 0;
struct A {
    A(char c) : c_(c), p(new int()) {std::cout << "constr. " << c_ << '\n';}
    ~A() { std::cout << "destr. " << c_ << '\n'; delete p;}
    char c_;
    int *p;
};

struct Y { ~Y() noexcept(false) { throw std::runtime_error(""); } };

A f() {
    try {
        A a('a');
        Y y;
        A b('b');
        return {'c'};
    } catch (...) {
    }
    return {'d'};
}

int main()
{
    A x = f();
}
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykVk1v4zYT_jX0ZRBDJiUrPuig2K9fFG2xl73kFFDi2GKXIlWSiuMe9rcXQ8kfyabFAg0USOIMn_l6HsoyBH20iBUrnlixW8gxds5XvR9DcL-Nb-4QF41T5-prpwOcsIFBHpGJmmXpKp7aYfhz1H-xYsf4YxfjEMjK94zvZ9PS-SPj--RFNwxRO8v4XnDBxN5jGE1kYvflV8bX0oYTeiZ2TSsV42ul1ct1rZ4e-GaKHjp3CiAtoPfOgzvA1kh7BNm4MYLCEP3YUixwXqEHbaGVAckR31ockunUaYM3Z3sE41ppwDV_YBsDyENED518JVPr7OSHCmKH4DGO3qKavZdTXr9ECIh9AOvAWfIanKctZ4wQ3ZQl41vQAXQEJvZzN7P6a4fQOkV7WmnMVN2b7AeDcPCuT1FDlFZJrxKEBVY80f9U0rKNzrNi9zBw-GwmUffB2eNDOwzLo47d2Cy1m2Z1Ghjfh6i4YHx_j8YFZ3xzKY56gYBGNs5LqkpCoyP0ziOcdOwguJ5yVBRT1C3NQlo1LR_wBFIpTa2XBkIcDwcqo0NPrKI6jk41zsTPkp9NM6GITTIv8v9j4Z6vpJiuL14fNUVIzdThythpfFADK5-AlTsmnt4ZnpPh-zPjj4xvwLqpEYw_HqQJSGvkEDvvTpAxkUDeAdVwmDezkpYAoj9fnwFqkJMvvTzD-fZSQ3N7maiV9iVwSH9TH4BxsUp-FLyVse2A8cflcnkflvbR_XOkeyxOmSdvltU0K2LZ4F1jsCeSxk7GWQhkuYlnakNzhvPDndxooJ-o4516iLdcrAjdulms7oyJ09IEBwoj-l5bkp2EHnvnz2BQfgMZgJRvwVmYGQFG22_LewL8fp5Gf-EpZXtHA8aFtq0ZFQITW-1C9Ch7Jv73gy1ENVNgMmb1aNOZqUABE7tEgg_EusyT8ce2kx7aNBZRQ_tCS8RVvoWB8UeLJ9A2ToSZh_deOkxsmdgC43xq35IeL6vty81esmJr6SaeLpMH-F7fuAj_BJya_zO4oNBgRBjexZhKfLlRV9sIjNfDLIn_KLJr1n60Uff4kk77tJWna_NzKvyow4sWyauUVGBCurO-E-dFoMm9-cz9Tme8bMnjkk9S278o9abVDyjqHuWqUOpvL7WdWUOW2xHylkg5F3_duFCVUBuxkQusVqUoS7He8NWiq-QKSyURm1WRl5iX8rDebFA2Ml9zKTe40BXPeJGteL5a5zxbLYtV0eYNYt5wwbNcsjzDXmqzNOa1p6N5oUMYsVrxXGTrhZENmpB-X3Ce6E5WGlyxW_iKNj004zGwPDM6xHCDiToarH78jNN54TEMSAfJYvSm-vCVmD5rresZ3xPafHsYvKNziPF9yiEwvp-TfK343wEAAP__4AOmrA">