<html>
    <head>
      <base href="https://bugs.llvm.org/">
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Clang not emitting destructor call when assignment constructed with list"
   href="https://bugs.llvm.org/show_bug.cgi?id=51695">51695</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Clang not emitting destructor call when assignment constructed with list
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>clang
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>trunk
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>All
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>C++17
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>unassignedclangbugs@nondot.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>lxfind@gmail.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>blitzrakete@gmail.com, erik.pilkington@gmail.com, llvm-bugs@lists.llvm.org, richard-llvm@metafoo.co.uk
          </td>
        </tr></table>
      <p>
        <div>
        <pre>In the following code: <a href="https://godbolt.org/z/TK7ersK1M">https://godbolt.org/z/TK7ersK1M</a>

#include <string>
#include <utility>

void doSomething();

class FooClass {
 public:
  FooClass() noexcept : ptr_() {}

  FooClass(FooClass&& other) noexcept
      : ptr_(std::exchange(other.ptr_, {})) {}

  ~FooClass() {
    doSomething();
  }

  FooClass& operator=(FooClass other) noexcept {
    std::swap(ptr_, other.ptr_);
    return *this;
  }

 private:
  void *ptr_;
};

template <typename T>
class WrapperClass {
 public:
  void run() noexcept {
    wrapper_ = {};
  }

 private:
  FooClass wrapper_;
};

void foo(WrapperClass<std::string> &A) {
    A.run();
}


When compiled with either GCC (any std version) or Clang with C++14, the line
"wrapper_ = {};" in WrapperClass::run() will always generate a destructor call
in the end, which is expected.
However when compiled with Clang C++17, the destructor call is not generated,
which seems wrong to me.</pre>
        </div>
      </p>


      <hr>
      <span>You are receiving this mail because:</span>

      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>