From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <asy@altlinux.org>
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on
 sa.local.altlinux.org
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
 autolearn_force=no version=3.4.1
X-Envelope-From: asy@altlinux.org
X-Envelope-To: <devel@lists.altlinux.org>
From: "Sergey Y. Afonin" <asy@altlinux.org>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Date: Tue, 9 Apr 2019 21:22:15 +0400
User-Agent: KMail/1.9.10 (enterprise35 0.20100827.1168748)
References: <20190408060624.GA30368@gyle.altlinux.org>
 <201904091841.22286.asy@altlinux.org>
 <20190409152847.223325f1@sem.office.basealt.ru>
In-Reply-To: <20190409152847.223325f1@sem.office.basealt.ru>
X-KMail-QuotePrefix: > 
MIME-Version: 1.0
Content-Type: Text/Plain;
  charset="utf-8"
Content-Transfer-Encoding: 8bit
Content-Disposition: inline
Message-Id: <201904092122.15683.asy@altlinux.org>
X-ClamAV-Status: scanned on mail-k.kraft-s.ru at 2019-04-09 21:22:22 +04
Subject: Re: [devel] slang
X-BeenThere: devel@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: ALT Linux Team development discussions <devel@lists.altlinux.org>
List-Id: ALT Linux Team development discussions <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
 <mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Tue, 09 Apr 2019 17:22:24 -0000
Archived-At: <http://lore.altlinux.org/devel/201904092122.15683.asy@altlinux.org/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

On Tuesday 09 April 2019, Mikhail Efremov wrote:

>> А именно о разнице между спецификацией и конкретной реализацией.
 
> Просто нужно осознать, что после того, как в программе случилось
> UB, она может сделать что угодно, на что ей хватит прав

Э, нет. После того, как в программе случилось UB (в том виде, в котором это
обсуждалось), _компилятор_ может сделать какой угодно код, после чего этот
код может сделать что угодно, на что ему хватит прав. И это уточнение про
компилятор тут ключевое. Если каким-то образом известно (тесты там, код
ассемблерный посмотрели промежуточный - мало ли), что какой-то компилятор
это UB обрабатывает так, как хотелось (пусть так совпало) то скомпилированная
программа будет делать ровно то, что хотелось, без всяких "что угодно", пока
её не соберут другим компилятором.

-- 
С уважением, Сергей Афонин