From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Stephen J. Turnbull" Newsgroups: gmane.emacs.devel Subject: Re: [Emacs-diffs] trunk r114593: * lisp.h (eassert): Don't use 'assume'. Date: Sat, 12 Oct 2013 00:24:49 +0900 Message-ID: <877gdjj0e6.fsf@uwakimon.sk.tsukuba.ac.jp> References: <52576305.9000703@dancol.org> <52579C68.1040904@cs.ucla.edu> <83iox4pa0w.fsf@gnu.org> <5257AB8C.40309@dancol.org> <83eh7sp6v0.fsf@gnu.org> <5257B489.2050609@dancol.org> <87eh7si3ny.fsf@uwakimon.sk.tsukuba.ac.jp> <5257C083.5010909@dancol.org> <87a9ighzkp.fsf@uwakimon.sk.tsukuba.ac.jp> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 X-Trace: ger.gmane.org 1381505709 6113 80.91.229.3 (11 Oct 2013 15:35:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 11 Oct 2013 15:35:09 +0000 (UTC) Cc: eggert@cs.ucla.edu, Eli Zaretskii , Daniel Colascione , emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Oct 11 17:35:10 2013 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VUekA-00085O-0V for ged-emacs-devel@m.gmane.org; Fri, 11 Oct 2013 17:35:10 +0200 Original-Received: from localhost ([::1]:55081 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VUek9-0005nX-I9 for ged-emacs-devel@m.gmane.org; Fri, 11 Oct 2013 11:35:09 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49608) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VUeiz-0004OW-84 for emacs-devel@gnu.org; Fri, 11 Oct 2013 11:34:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VUecX-0003J8-Ov for emacs-devel@gnu.org; Fri, 11 Oct 2013 11:27:24 -0400 Original-Received: from mgmt1.sk.tsukuba.ac.jp ([130.158.97.223]:57834) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VUeaC-0002ZJ-3T; Fri, 11 Oct 2013 11:24:52 -0400 Original-Received: from uwakimon.sk.tsukuba.ac.jp (uwakimon.sk.tsukuba.ac.jp [130.158.99.156]) by mgmt1.sk.tsukuba.ac.jp (Postfix) with ESMTP id 835003FA0A17; Sat, 12 Oct 2013 00:24:49 +0900 (JST) Original-Received: by uwakimon.sk.tsukuba.ac.jp (Postfix, from userid 1000) id 72821129E2C; Sat, 12 Oct 2013 00:24:49 +0900 (JST) In-Reply-To: X-Mailer: VM undefined under 21.5 (beta34) "kale" 182d01410b8d XEmacs Lucid (x86_64-unknown-linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 130.158.97.223 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:164097 Archived-At: Stefan Monnier writes: > At the same time, this is all a tempest in a teapot: the difference > is minuscule either way. Not if people start sprinkling assume() all over the place. It becomes one more thing to check, and because implementations differ, you'll have to check your particular compiler's implementation and whether it changes behavior when it encounters that particular assume()ption. I really can't think of a more mischievous coding practice.