Если warning появляется только при оптимизациях это ж баг компилятора?

Question

Если warning появляется только при оптимизациях это ж баг компилятора?

Или скажем совсем безобидный код убираешь, который вообще ничего не должен менять и появляется "may be used unitialized".

Вот тут уменьшил как мог, удаляешь дальше хоть что и уже компилируется: https://godbolt.org/z/s853818zf

#c++ #embedded #programming #russian

0

27.05.2022

10 ответов

4 просмотра

Mike Wazowski Автор вопроса

в багзиле полно репортов на maybe-unitialized

0

27.05.2022

Mike Wazowski Автор вопроса

Bulat Ziganshin
почему баг? компилятор не всеведущ, он не всегда п...

баг потому что если убрать левый код, то ошибка исчезает

0

27.05.2022

Bulat Ziganshin

Mike Wazowski
баг потому что если убрать левый код, то ошибка и...

понятие "левого кода" неформализовано. вы с компилятором работает в разных концептуальных парадигмах

0

27.05.2022

Alexander Karaev

Bulat Ziganshin
почему баг? компилятор не всеведущ, он не всегда п...

Проблема в том, что компилятор, при выдаче предупреждения, должен быть уверен в том, что в коде при каких-то обстоятельствах есть баг. В вышеприведённом коде, с точки зрения пользователя, бага быть не может. Проблема или в реализации std, или в компиляторе, который содержит ошибку в анализе

0

27.05.2022

Kelbon

Alexander Karaev
Проблема в том, что компилятор, при выдаче предупр...

так предупреждение это же как раз предупреждение...

0

27.05.2022

Bulat Ziganshin

Alexander Karaev
Проблема в том, что компилятор, при выдаче предупр...

ещё раз - ни компилятор, ни человек не может проверить все возможные варианты выполнения кода (это не совсем тьюринг-полнота, но всё равно требует много времени) warning - как раз сообщение о том, что возможна ошибка. если он уверен что есть ошибка то должен быть error

0

27.05.2022

Mike Wazowski Автор вопроса

Я не понимаю, в чем ваш аргумент. Как скажем замена reqb << "GET /" << i << " HTTP/1.1" << "\r\n"; на reqb << "GET /" << i << " HTTP/1.1"; может "легально" (== это не баг компилятора) повлиять maybe-unitialized warning ?

0

27.05.2022

Bulat Ziganshin

Mike Wazowski
Я не понимаю, в чем ваш аргумент. Как скажем замен...

какие-нибудь хитрости в исполнении "<<" ? например передача управления лямбде, созданной при компиляции regexp

0

27.05.2022

Alexander Karaev

Bulat Ziganshin
какие-нибудь хитрости в исполнении "<<" ? например...

Предлагаю перестать фантазировать

0

27.05.2022