From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.devel Subject: Re: Preview: portable dumper Date: Tue, 20 Feb 2018 09:28:07 -0800 Organization: UCLA Computer Science Department Message-ID: <5b0c48b5-1dc2-f220-37a2-09877c6a9dcc@cs.ucla.edu> References: <21ee28b4-c3cd-4664-a501-8df6b78d3e48@email.android.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1519147687 1721 195.159.176.226 (20 Feb 2018 17:28:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 20 Feb 2018 17:28:07 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 Cc: emacs-devel@gnu.org To: Daniel Colascione , Robert Pluim Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Feb 20 18:28:03 2018 Return-path: 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 ) id 1eoBhz-0008RA-1P for ged-emacs-devel@m.gmane.org; Tue, 20 Feb 2018 18:28:03 +0100 Original-Received: from localhost ([::1]:56784 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoBk1-00056S-Ba for ged-emacs-devel@m.gmane.org; Tue, 20 Feb 2018 12:30:09 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42253) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoBiF-0004XO-QD for emacs-devel@gnu.org; Tue, 20 Feb 2018 12:28:20 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoBiB-000877-Se for emacs-devel@gnu.org; Tue, 20 Feb 2018 12:28:19 -0500 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:34828) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eoBiB-00086g-M0 for emacs-devel@gnu.org; Tue, 20 Feb 2018 12:28:15 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 4CD9C161642; Tue, 20 Feb 2018 09:28:14 -0800 (PST) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id 4D_I4VXEDMbV; Tue, 20 Feb 2018 09:28:13 -0800 (PST) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 95F54161684; Tue, 20 Feb 2018 09:28:13 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id qiQzxfh_Buas; Tue, 20 Feb 2018 09:28:13 -0800 (PST) Original-Received: from Penguin.CS.UCLA.EDU (Penguin.CS.UCLA.EDU [131.179.64.200]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 7637D161642; Tue, 20 Feb 2018 09:28:13 -0800 (PST) In-Reply-To: <21ee28b4-c3cd-4664-a501-8df6b78d3e48@email.android.com> Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 131.179.128.68 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:222930 Archived-At: On 02/20/2018 09:19 AM, Daniel Colascione wrote: > Do you get an assertion failure if you enable assertion checking? If > we're seeing this kind of problem from the compiler expectation alone, > I'll definitely revert that change. In my experience, eassume (and 'assume') shouldn't be used for complicated expressions, as GCC is too-easily confused by them. eassume should be used only for expressions where the assumption really does help the compiler, either by generating significantly-better code or by pacifying a false alarm.