From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Subtle bug in intervals code Date: Wed, 18 Jul 2012 21:33:47 +0300 Message-ID: <83wr209awk.fsf@gnu.org> References: <5006A278.7000205@yandex.ru> Reply-To: Eli Zaretskii NNTP-Posting-Host: plane.gmane.org X-Trace: dough.gmane.org 1342636439 27604 80.91.229.3 (18 Jul 2012 18:33:59 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 18 Jul 2012 18:33:59 +0000 (UTC) Cc: emacs-devel@gnu.org To: Dmitry Antipov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Jul 18 20:33:59 2012 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 1SrZ4L-0003Ol-RC for ged-emacs-devel@m.gmane.org; Wed, 18 Jul 2012 20:33:53 +0200 Original-Received: from localhost ([::1]:33526 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SrZ4L-0008IW-4H for ged-emacs-devel@m.gmane.org; Wed, 18 Jul 2012 14:33:53 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:52696) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SrZ4I-0008I0-Kr for emacs-devel@gnu.org; Wed, 18 Jul 2012 14:33:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SrZ4D-0003j9-OK for emacs-devel@gnu.org; Wed, 18 Jul 2012 14:33:50 -0400 Original-Received: from mtaout20.012.net.il ([80.179.55.166]:41616) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SrZ4D-0003j0-Gb for emacs-devel@gnu.org; Wed, 18 Jul 2012 14:33:45 -0400 Original-Received: from conversion-daemon.a-mtaout20.012.net.il by a-mtaout20.012.net.il (HyperSendmail v2007.08) id <0M7D00E00CTQBC00@a-mtaout20.012.net.il> for emacs-devel@gnu.org; Wed, 18 Jul 2012 21:33:35 +0300 (IDT) Original-Received: from HOME-C4E4A596F7 ([87.69.210.75]) by a-mtaout20.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0M7D00DEMCVZZX90@a-mtaout20.012.net.il>; Wed, 18 Jul 2012 21:33:35 +0300 (IDT) In-reply-to: <5006A278.7000205@yandex.ru> X-012-Sender: halo1@inter.net.il X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 80.179.55.166 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:151739 Archived-At: > Date: Wed, 18 Jul 2012 15:48:08 +0400 > From: Dmitry Antipov > > Commit 109118 (by me) introduces the following change in src/intervals.c, function delete_interval: > > @@ -1262,8 +1198,7 @@ > register INTERVAL parent; > ptrdiff_t amt = LENGTH (i); > > - if (amt > 0) /* Only used on zero-length intervals now. */ > - abort (); > + eassert (amt == 0); /* Only used on zero-length intervals now. */ > > if (ROOT_INTERVAL_P (i)) > { > > Now this eassert traps at interval with negative length. I'm not familiar with > this subsystem enough to find (possible) bug quickly, so any help is appreciated. Do you have an easy test case that triggers this? The only ones posted are to bootstrap, which is not my idea of an easy test case...