From: "Sergey Y. Afonin" <asy@altlinux.org>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: Re: [devel] slang
Date: Tue, 9 Apr 2019 21:22:15 +0400
Message-ID: <201904092122.15683.asy@altlinux.org> (raw)
In-Reply-To: <20190409152847.223325f1@sem.office.basealt.ru>
On Tuesday 09 April 2019, Mikhail Efremov wrote:
>> А именно о разнице между спецификацией и конкретной реализацией.
> Просто нужно осознать, что после того, как в программе случилось
> UB, она может сделать что угодно, на что ей хватит прав
Э, нет. После того, как в программе случилось UB (в том виде, в котором это
обсуждалось), _компилятор_ может сделать какой угодно код, после чего этот
код может сделать что угодно, на что ему хватит прав. И это уточнение про
компилятор тут ключевое. Если каким-то образом известно (тесты там, код
ассемблерный посмотрели промежуточный - мало ли), что какой-то компилятор
это UB обрабатывает так, как хотелось (пусть так совпало) то скомпилированная
программа будет делать ровно то, что хотелось, без всяких "что угодно", пока
её не соберут другим компилятором.
--
С уважением, Сергей Афонин
next prev parent reply other threads:[~2019-04-09 17:22 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
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 [this message]
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=201904092122.15683.asy@altlinux.org \
--to=asy@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