From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: [Emacs-diffs] master 74f54af: Use eassume (false) for branch
	that's never taken.
Date: Fri, 19 Apr 2019 23:16:25 +0300
Message-ID: <83wojpbvja.fsf@gnu.org>
References: <83ftqecrms.fsf@gnu.org>
	<CAArVCkS7kr8Yhbrx_4vd9QphpsY1MZ6L9-nz76NqecF4uUaubg@mail.gmail.com>
	<83ef5ycnny.fsf@gnu.org>
	<9b3a1717-64de-795a-2acf-0698576caf02@cs.ucla.edu>
	<CAArVCkQitxmFhBVa96p2mmcgYDsAsa_8Y6MtNe9Mzny8Fc1GPg@mail.gmail.com>
Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226";
	logging-data="84699"; mail-complaints-to="usenet@blaine.gmane.org"
Cc: phst@google.com, eggert@cs.ucla.edu, emacs-devel@gnu.org
To: Philipp Stephani <p.stephani2@gmail.com>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Apr 19 22:16:51 2019
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256)
	(Exim 4.89)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1hHZwJ-000Lv7-6O
	for ged-emacs-devel@m.gmane.org; Fri, 19 Apr 2019 22:16:51 +0200
Original-Received: from localhost ([127.0.0.1]:60969 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1hHZwI-0002gR-6r
	for ged-emacs-devel@m.gmane.org; Fri, 19 Apr 2019 16:16:50 -0400
Original-Received: from eggs.gnu.org ([209.51.188.92]:41657)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1hHZw9-0002fP-8L
	for emacs-devel@gnu.org; Fri, 19 Apr 2019 16:16:41 -0400
Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:41077)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1hHZw9-0001y0-5v; Fri, 19 Apr 2019 16:16:41 -0400
Original-Received: from [176.228.60.248] (port=2412 helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1hHZw8-00058J-NG; Fri, 19 Apr 2019 16:16:41 -0400
In-reply-to: <CAArVCkQitxmFhBVa96p2mmcgYDsAsa_8Y6MtNe9Mzny8Fc1GPg@mail.gmail.com>
	(message from Philipp Stephani on Fri, 19 Apr 2019 21:14:52 +0200)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel/>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:235676
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/235676>

> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Fri, 19 Apr 2019 21:14:52 +0200
> Cc: Eli Zaretskii <eliz@gnu.org>, Philipp Stephani <phst@google.com>, 
> 	Emacs developers <emacs-devel@gnu.org>
> 
> FWIW, I'm fine with both eassume(false) and emacs_abort.

Then please use the latter.