From: "Dmitry V. Levin" <ldv@altlinux.org> To: ALT Devel discussion list <devel@lists.altlinux.org> Subject: Re: [devel] slang Date: Mon, 8 Apr 2019 22:29:29 +0300 Message-ID: <20190408192929.GB13323@altlinux.org> (raw) In-Reply-To: <201904082318.29565.asy@altlinux.org> [-- Attachment #1: Type: text/plain, Size: 1930 bytes --] On Mon, Apr 08, 2019 at 11:18:29PM +0400, Sergey Y. Afonin wrote: > On Monday 08 April 2019, Dmitry V. Levin wrote: > > > > И да, я не отрицаю, что UB в Slang - это не хоршо. > > > > Вы не поняли. UB - это не просто нехорошо, UB - это смертельно. > > > > Компилятор вправе определить результат UB так, как ему будет удобно, > > и применить к результату оптимизацию, которая превратит ваш исходный > > код в бинарный мусор. > > 1. В случае Slang есть тесты, которые, как уже выяснилось, вполне > показывают ситуацию вида "превратилось в бинарный мусор". Хотя допускаю, > что что-то могут и не показать. > > 2. Компилятор, надеюсь, не делает это случайным образом? И без смены > версии компилятора другой код не получается? Нет, компилятор не делает это случайным образом, каждый раз один и тот же компилятор с одним и тем же набором параметров производит один и тот же мусор. Новая версия компилятора производит другой мусор, со стороны это выглядит как псевдослучайный процесс. > > Утверждение "UB работало" звучит довольно странно. > > UB согласно спецификации ещё не означает же UB в рамках конкретной > версии компилятора? Иначе бы все UB вылезали на белый свет быстро и > больно, а такого не происходит. Что значит "UB в рамках конкретной версии компилятора"? UB - это свойство кода, а не компилятора. > > Результат применения следующей версии компилятора к UB - это примерно > > то же самое, что и получение следующего псевдослучайного числа. Не стоит > > полагаться на то, что источник псевдослучайных чисел будет всегда выдавать > > вам подходящие числа. > > Это понятно, но результат, тем не менее, можно так или иначе проверить на > предмет "всё сломалось". Если взять прямо данный конкретный случай, то > я пока не вижу на пакете, например, mc багов, связанных с неправильной > сборкой Slang. Значит, от этого класса UB в slang сломалось не всё. -- ldv [-- Attachment #2: signature.asc --] [-- Type: application/pgp-signature, Size: 801 bytes --]
next prev parent reply other threads:[~2019-04-08 19:29 UTC|newest] Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top 2019-04-08 12:05 ` [devel] Q: опять сломали ruby, доколе? Dmitry V. Levin 2019-04-08 12:11 ` Скрылевъ Малъ 2019-04-08 12:14 ` Скрылевъ Малъ 2019-04-08 12:16 ` Dmitry V. Levin 2019-04-08 12:18 ` [devel] [JT] " Michael Shigorin 2019-04-08 12:59 ` [devel] " Скрылевъ Малъ 2019-04-08 13:24 ` Dmitry V. Levin 2019-04-08 13:29 ` Sergey Afonin 2019-04-08 13:34 ` [devel] slang Dmitry V. Levin 2019-04-08 18:32 ` Sergey Y. Afonin 2019-04-08 18:39 ` Sergey Y. Afonin 2019-04-08 18:58 ` Dmitry V. Levin 2019-04-08 19:18 ` Sergey Y. Afonin 2019-04-08 19:29 ` Dmitry V. Levin [this message] 2019-04-08 20:33 ` Sergey Y. Afonin 2019-04-08 21:02 ` Dmitry V. Levin 2019-04-09 8:01 ` Aleksei Nikiforov 2019-04-09 13:19 ` Dmitry V. Levin 2019-04-09 13:21 ` Anton Farygin 2019-04-09 14:34 ` Mikhail Efremov 2019-04-09 14:41 ` Sergey Afonin 2019-04-09 14:46 ` Sergey Afonin 2019-04-09 15:28 ` Mikhail Efremov 2019-04-09 16:25 ` Anton Farygin 2019-04-09 16:31 ` Anton Farygin 2019-04-09 17:22 ` Sergey Y. Afonin 2019-04-09 17:36 ` Dmitry V. Levin 2019-04-09 17:55 ` Sergey Y. Afonin 2019-04-09 18:02 ` Sergey Y. Afonin 2019-04-09 18:15 ` Dmitry V. Levin 2019-04-09 18:24 ` Sergey Y. Afonin 2019-04-09 18:26 ` Andrey Savchenko 2019-04-09 18:30 ` Anton Farygin 2019-04-09 18:51 ` Paul Wolneykien 2019-04-09 19:08 ` Andrey Savchenko 2019-04-09 15:21 ` Anton Farygin 2019-04-10 7:25 ` Aleksei Nikiforov 2019-04-08 18:44 ` [devel] Q: опять сломали ruby, доколе? Dmitry V. Levin 2019-04-08 19:11 ` Скрылевъ Малъ 2019-04-08 19:19 ` Anton Farygin 2019-04-08 20:14 ` Скрылевъ Малъ 2019-04-08 20:18 ` Dmitry V. Levin 2019-04-09 1:19 ` Grigory Ustinov 2019-04-09 10:45 ` Andrey Savchenko 2019-04-09 10:49 ` Andrey Cherepanov 2019-04-09 11:18 ` Andrey Savchenko 2019-04-09 11:27 ` Anton Farygin 2019-04-09 14:01 ` Michael Shigorin 2019-04-09 14:16 ` Andrey Savchenko 2019-04-09 5:23 ` Anton Farygin 2019-04-08 19:20 ` Dmitry V. Levin 2019-04-08 20:00 ` Скрылевъ Малъ 2019-04-08 20:15 ` Dmitry V. Levin 2019-04-08 20:21 ` Скрылевъ Малъ 2019-04-08 20:55 ` Dmitry V. Levin 2019-04-08 19:49 ` Alexey V. Vissarionov 2019-04-08 19:56 ` Michael Shigorin 2019-04-08 19:59 ` Aleksey Novodvorsky 2019-04-09 5:50 ` [devel] JT - выпустить пар Anton Farygin 2019-04-09 6:56 ` Andrey Cherepanov 2019-04-09 13:27 ` Dmitry V. Levin 2019-04-08 20:05 ` [devel] Q: опять сломали ruby, доколе? Dmitry V. Levin 2019-04-09 5:48 ` Anton Farygin 2019-04-09 6:10 ` Sergey Afonin 2019-04-09 6:35 ` Dmitry V. Levin 2019-04-08 12:19 ` Sergey V Turchin
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20190408192929.GB13323@altlinux.org \ --to=ldv@altlinux.org \ --cc=devel@lists.altlinux.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
ALT Linux Team development discussions This inbox may be cloned and mirrored by anyone: git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \ devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru public-inbox-index devel Example config snippet for mirrors. Newsgroup available over NNTP: nntp://lore.altlinux.org/org.altlinux.lists.devel AGPL code for this site: git clone https://public-inbox.org/public-inbox.git