А с чего это так вообще?

As part of the C++ forward progress guarantee, the behavior is undefined if a loop that has no observable behavior (does not make calls to I/O functions, access volatile objects, or perform atomic or synchronization operations) does not terminate. Compilers are permitted to remove such loops.

0

04.12.2021

CodeDetector

Пашечка
As part of the C++ forward progress guarantee, the...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

0

04.12.2021

Пашечка

CodeDetector
Оберните код в теги: 3 символа ` до и после кода (...

Это не код!

0

04.12.2021

Vlad

Пашечка
As part of the C++ forward progress guarantee, the...

предлагаю читать стандарт, а не cppref

0

04.12.2021

Пашечка

Vlad
предлагаю читать стандарт, а не cppref

Предлагаю смотреть ассемблерный выхлоп компиляторов. https://godbolt.org/z/eGbcTKP3e

0

04.12.2021

Пашечка

Пашечка
Предлагаю смотреть ассемблерный выхлоп компиляторо...

Четко видно, что clang выкидывает цикл. gcc и msvc оставляют.

0

04.12.2021

Пашечка

Vlad
предлагаю читать стандарт, а не cppref

Но вообще, если в последнем стандарте ситуация изменилась, то я только за, потому что бесконечные циклы - это удобно. Но на сегодняшний день они могут быть выкинуты, и ничего тут не поделаешь.

0

04.12.2021

Vlad

Пашечка
Предлагаю смотреть ассемблерный выхлоп компиляторо...

quality of implementation аргументы в вопросах UB?

0

04.12.2021

Vlad

Пашечка
Но вообще, если в последнем стандарте ситуация изм...

вы точно с тем человеком спорите?

0

04.12.2021

Пашечка

Vlad
вы точно с тем человеком спорите?

Я не капли не сомневаюсь, что вы в вопросе стандарта намного компетентнее меня) Тем более, что стандарты после 11 я даже не читал, ибо мне не светит их пропихнуть на работе в ближайшие лет 5. Но я четко помню, что бесконечный цикл без побочных эффектов был UB, и его можно было выкидывать. И, собственно, если это действительно происходит в одном из трех мастодонтов-компиляторов, то придется с этим жить.

0

04.12.2021

Vlad

Пашечка
Я не капли не сомневаюсь, что вы в вопросе стандар...

не, я не имел в виду, что я компетентнее мой тезис, что бесконечный цикл это не UB, а не то, что он никогда не будет оптимизирован (optimized out) или всегда будет оптимизирован

0

04.12.2021

🐈

Пашечка
Я не капли не сомневаюсь, что вы в вопросе стандар...

а чем заменялся бесконечный цикл без эффектов при выкидывании? здравый смысл говорит что это должна быть инструкция для остановки деятельности цпу.

0

04.12.2021

Sergey Skvortsov

Vlad
не, я не имел в виду, что я компетентнее мой тезис...

Что значит "никогда не будет оптимизирован"?

0

04.12.2021