From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Suspicious warning in W64 build
Date: Fri, 15 Sep 2017 18:45:07 +0300
Message-ID: <83vakkklto.fsf@gnu.org>
References: <1017454172.910810.1504618695244@mail.libero.it>
	<1146932094.13821.1504798935795@mail.libero.it>
	<CAPM58og=_Dsr7QeOYsw0WO60Bq2q2dy3=uDFbRG6SL0gTYTEZw@mail.gmail.com>
	<83mv66z66p.fsf@gnu.org>
	<102a4c21-c275-c73e-ec53-0d85975dc968@cs.ucla.edu>
	<CAPM58ogBf4syf3mThgL9VFD=L1KO7JRP3ZU623d8C51CzKs+Ow@mail.gmail.com>
	<CAPM58ojeSMdmB+v8jF5_2k0v=o_0kdLS0WUAjNg6QNdZ6bhi7Q@mail.gmail.com>
	<83a825znuf.fsf@gnu.org> <831snhzkgw.fsf@gnu.org>
	<CAPM58ohSuTxdzJFeyyrX2Tqep+7Q-_5o-_5h4-+Gzah74wCcuA@mail.gmail.com>
	<837ex9x7vf.fsf@gnu.org>
	<CAPM58oj46LmqzZCsfD6TM4QhSRUROCdYdBrq0=Q=6t_Qwy3e5w@mail.gmail.com>
	<83tw0cwcle.fsf@gnu.org>
	<CAPM58ohvLiJcJc6ymzvxgcOP64btShU9FnVxBUMgxKbHT60quw@mail.gmail.com>
	<83h8wcw3td.fsf@gnu.org>
	<CAPM58oisvOXcYH7sUTqpAxCwcM-j+qSHQVt=JgFLRUcpUm-xLg@mail.gmail.com>
	<83377vx3d0.fsf@gnu.org> <83ingnq01t.fsf@gnu.org>
	<CAFgFV9NEv0aa7VObkYsf2dTxU1BrH+pJcDKTRxi5xyKnVjDk5Q@mail.gmail.com>
	<83fubrpxsv.fsf@gnu.org> <83r2v9masw.fsf@gnu.org>
	<86a81xrndl.fsf@gmail.com>
	<CAFgFV9ObnxGW=dBZfgsP8dwhAF_SrP-dWtHfVeXa5GTJh7dotQ@mail.gmail.com>
	<83a81wmijy.fsf@gnu.org>
	<CAFgFV9MH-=ixZp4QdmSyST4a7jg0AZA5EDg_22+PF_Q6hS_UiQ@mail.gmail.com>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: blaine.gmane.org
X-Trace: blaine.gmane.org 1505490322 7944 195.159.176.226 (15 Sep 2017 15:45:22 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Fri, 15 Sep 2017 15:45:22 +0000 (UTC)
Cc: andrewjmoreton@gmail.com, emacs-devel@gnu.org
To: Fabrice Popineau <fabrice.popineau@centralesupelec.fr>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Sep 15 17:45:17 2017
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 ([208.118.235.17])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1dssnq-0001oi-U6
	for ged-emacs-devel@m.gmane.org; Fri, 15 Sep 2017 17:45:15 +0200
Original-Received: from localhost ([::1]:53880 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 1dssny-0001QR-9A
	for ged-emacs-devel@m.gmane.org; Fri, 15 Sep 2017 11:45:22 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:56570)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1dssnn-0001Jq-Mj
	for emacs-devel@gnu.org; Fri, 15 Sep 2017 11:45:12 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1dssnk-0004qN-Jr
	for emacs-devel@gnu.org; Fri, 15 Sep 2017 11:45:11 -0400
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:36167)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1dssnk-0004qD-FI; Fri, 15 Sep 2017 11:45:08 -0400
Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:3671
	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 1dssnj-0003Ff-85; Fri, 15 Sep 2017 11:45:08 -0400
In-reply-to: <CAFgFV9MH-=ixZp4QdmSyST4a7jg0AZA5EDg_22+PF_Q6hS_UiQ@mail.gmail.com>
	(message from Fabrice Popineau on Fri, 15 Sep 2017 17:33:48 +0200)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
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:218327
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/218327>

> From: Fabrice Popineau <fabrice.popineau@centralesupelec.fr>
> Date: Fri, 15 Sep 2017 17:33:48 +0200
> Cc: Andy Moreton <andrewjmoreton@gmail.com>, Emacs developers <emacs-devel@gnu.org>
> 
> Ok. I see your eassert() added at this point.
> But clearly there is a problem with GCC 7, because it doesn't understand
> the implications of this eassert() :

Does eassume instead of eassert help?