MSVC интерпретирует аргумент структуры только для перемещения как указатель

У меня есть простая структура, состоящая из одного члена, с удаленной копией конструкции / присваивания и конструкцией / назначением перемещения по умолчанию. Я пытаюсь передать одну из этих структур в функцию по значению и вернуть член — довольно просто.

struct NoCopy {
explicit NoCopy(int x) : x{x} {}

NoCopy(const NoCopy&) = delete;
NoCopy& operator=(const NoCopy&) = delete;

NoCopy(NoCopy&&) = default;
NoCopy& operator=(NoCopy&&) = default;

int x;
};

// noinline to ensure the crash is reproducible in release
// not required to reproduce the problem code
__declspec(noinline) int problem_function(NoCopy x) {
return x.x;
}

int main() {
return problem_function(NoCopy{ 1 });
}

Проблема в том, что при компиляции с MSVC эта функция падает.

Глядя на разборку, кажется, что когда конструктор копирования удаляется, MSVC пытается интерпретировать x как будто это было NoCopy* и последующее чтение члена вызывает ошибку сегментации.

Вот пример Godbolt, с gcc и clang для справки: https://godbolt.org/z/jG7kIw

Обратите внимание, что и gcc, и clang ведут себя как положено.
Также обратите внимание, что это происходит как в оптимизированных, так и в неоптимизированных сборках, и, похоже, влияет как на MSVC 2015, так и на 2017 год.

Для справки, я компилирую на своей машине с Visual Studio Professional 2015 (14.0.25431.01 обновление 3) — и я в основном тестирую сборки x64. Мой набор инструментов платформы для аварийного воспроизведения установлен на v140.

Поэтому мой вопрос: есть ли разумные объяснения этому или я смотрю на ошибку компилятора.

редактировать: я отправил отчет об ошибке здесь

edit # 2: Если, как и я, вы застряли с похожей проблемой и не можете легко обновить VS — кажется, что определение конструктора перемещения / оператора присваивания вручную Вместо того, чтобы использовать = default заставляет MSVC выплевывать правильный код на сайте вызовов и избегает сбоев. вот новый крестник

по этой причине такие вещи, как std :: unique_ptr, похоже, не затрагиваются. Размер структуры также, кажется, является фактором.