[devel] slang
Mikhail Efremov
sem на altlinux.org
Вт Апр 9 17:34:32 MSK 2019
On Tue, 9 Apr 2019 16:21:24 +0300 Anton Farygin wrote:
> 09.04.2019 16:19, Dmitry V. Levin пишет:
> > On Tue, Apr 09, 2019 at 11:01:11AM +0300, Aleksei Nikiforov wrote:
> >> 08.04.2019 21:58, Dmitry V. Levin пишет:
> >>> Вы не поняли. UB - это не просто нехорошо, UB - это смертельно.
> >>>
> >>> Компилятор вправе определить результат UB так, как ему будет удобно,
> >>> и применить к результату оптимизацию, которая превратит ваш исходный код
> >>> в бинарный мусор.
> >>>
> >> Это неправда. Просто в последнее время так плохо пишут компиляторы.
> > Это ваше оценочное суждение.
> >
> > Авторы компиляторов пишут статьи и рассказывают на конференциях,
> > как их новые трактовки UB позволяют выжать ещё несколько процентов
> > на оптимизации.
> >
> Интересно было бы посмотреть на это же обсуждение в апстриме (с теми же
> участниками с нашей стороны).
Здесь Дима терпеливо пытается объяснить, что undefined behavior
означает undefined behavior. Апстриму вряд ли это интересно, они и так
это знают.
--
WBR, Mikhail Efremov
Подробная информация о списке рассылки Devel