From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <darktemplar@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=-2.9 required=5.0 tests=ALL_TRUSTED,BAYES_00
 autolearn=unavailable autolearn_force=no version=3.4.1
To: devel@lists.altlinux.org
References: <20190408060624.GA30368@gyle.altlinux.org>
 <20190408133438.GC7894@altlinux.org> <201904082232.51346.asy@altlinux.org>
 <201904082239.20988.asy@altlinux.org> <20190408185815.GB12717@altlinux.org>
 <c680001c-7e85-d74a-5235-dfa6d16c80ae@altlinux.org>
 <20190409131933.GF26290@altlinux.org>
From: Aleksei Nikiforov <darktemplar@altlinux.org>
Message-ID: <7641b0cc-c88d-b8d8-07e1-428094e043c4@altlinux.org>
Date: Wed, 10 Apr 2019 10:25:46 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.6.1
MIME-Version: 1.0
In-Reply-To: <20190409131933.GF26290@altlinux.org>
Content-Type: text/plain; charset=koi8-r; format=flowed
Content-Language: ru
Content-Transfer-Encoding: 8bit
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: Wed, 10 Apr 2019 07:25:49 -0000
Archived-At: <http://lore.altlinux.org/devel/7641b0cc-c88d-b8d8-07e1-428094e043c4@altlinux.org/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

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 позволяют выжать ещё несколько процентов
> на оптимизации.
> 

А ещё авторы компиляторов пишут статьи и рассказывают на конференциях, 
что *молча* генерировать мусор при UB - плохо, и такое поведение 
компиляторов надо исправлять. Не уверен, пересекаются ли эти два 
множества авторов компиляторов.