Функция не может быть вызвана после STD :: недоступно, если объект, построенный в стеке? ⇐ C++

[Anonymous]

Обычно я могу разместить функциональные вызовы после std :: недоступный , и это не имеет никакого эффекта. Это работает на MSVC, Clang и GCC, за исключением GCC, есть дополнительная деталь, которая делает его сбой: < /p>

Код: Выделить всё

#include 
#include 

int anotherFunc()
{
return 42;
}

int my_func()
{
std::string s; // IF std::string APPEARS HERE YOU CAN NO LONGER CALL
// ANOTHER FUNCTION AFTER std::unreachable

if (rand() % 2 == 0)
return {};

std::unreachable();

anotherFunc(); //THIS WON'T COMPILE IF std::string APPEARS ABOVE
}

int main(int argc, char* argv[])
{
my_func();
}
< /code>
: In function 'int my_func()':
:24:1: error: control reaches end of non-void function [-Werror=return-type]
24 | }
| ^
cc1plus: some warnings being treated as errors

Вот сравнение MSVC и Clang и GCC.
Ссылка на Godbolt
В GCC функция вызывает функцию после STD :: Unreachable не будет компиляция, если объект появляется, построенный в стеке ранее. Я попробовал с целой кучей разных объектов и std :: string , std :: vector и std :: unomordered_map все не удалось скомпилироваться, но затем я попробовал свой собственный класс, и он скомпилирован. Таким образом, кажется, что он не будет компилироваться только со стандартными библиотечными объектами? Это происходит до самого новейшего GCC, 15.

Подробнее здесь: https://stackoverflow.com/questions/796 ... d-on-stack