From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Stuart D. Herring" Newsgroups: gmane.emacs.devel Subject: Re: Problem report #5 Date: Tue, 11 Apr 2006 10:22:51 -0700 (PDT) Message-ID: <39840.128.165.123.132.1144776171.squirrel@webmail.lanl.gov> References: <200604111549.k3BFnm53015141@scanner2.ics.uci.edu> Reply-To: herring@lanl.gov NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: sea.gmane.org 1144776278 26322 80.91.229.2 (11 Apr 2006 17:24:38 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 11 Apr 2006 17:24:38 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Apr 11 19:24:32 2006 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1FTMai-00069I-Kp for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 19:23:48 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTMah-0004MO-SL for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 13:23:47 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FTMZu-0003VO-Rq for emacs-devel@gnu.org; Tue, 11 Apr 2006 13:22:59 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FTMZr-0003R7-KH for emacs-devel@gnu.org; Tue, 11 Apr 2006 13:22:56 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTMZq-0003QE-UR for emacs-devel@gnu.org; Tue, 11 Apr 2006 13:22:55 -0400 Original-Received: from [192.65.95.54] (helo=mailwasher-b.lanl.gov) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FTMel-0006yr-6X for emacs-devel@gnu.org; Tue, 11 Apr 2006 13:27:59 -0400 Original-Received: from mailrelay3.lanl.gov (mailrelay3.lanl.gov [128.165.4.104]) by mailwasher-b.lanl.gov (8.12.11/8.12.11/(ccn-5)) with ESMTP id k3BHMqcG025561 for ; Tue, 11 Apr 2006 11:22:53 -0600 Original-Received: from webmail1.lanl.gov (webmail1.lanl.gov [128.165.4.106]) by mailrelay3.lanl.gov (8.12.11/8.12.11/(ccn-5)) with ESMTP id k3BHMpDU015651 for ; Tue, 11 Apr 2006 11:22:52 -0600 Original-Received: from webmail1.lanl.gov (localhost.localdomain [127.0.0.1]) by webmail1.lanl.gov (8.12.11.20060308/8.12.11) with ESMTP id k3BHMpgg012688 for ; Tue, 11 Apr 2006 11:22:51 -0600 Original-Received: (from apache@localhost) by webmail1.lanl.gov (8.12.11.20060308/8.12.11/Submit) id k3BHMpt6012686; Tue, 11 Apr 2006 10:22:51 -0700 X-Authentication-Warning: webmail1.lanl.gov: apache set sender to herring@lanl.gov using -f Original-Received: from 128.165.123.132 (SquirrelMail authenticated user 196434); by webmail.lanl.gov with HTTP; Tue, 11 Apr 2006 10:22:51 -0700 (PDT) In-Reply-To: <200604111549.k3BFnm53015141@scanner2.ics.uci.edu> Original-To: emacs-devel@gnu.org User-Agent: SquirrelMail/1.4.3a-11.EL3 X-Mailer: SquirrelMail/1.4.3a-11.EL3 X-Priority: 3 (Normal) Importance: Normal X-PMX-Version: 4.7.1.128075 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:52700 Archived-At: > 3140 prev = NULL; > 3141 for (tail = buf->overlays_before; tail; prev = tail, tail = next) > 3142 { > 3143 next = tail->next; > 3144 XSETMISC (overlay, tail); > 3145 > 3146 /* If the overlay is not valid, get rid of it. */ > 3147 if (!OVERLAY_VALID (overlay)) > [...] > 3161 > 3162 beg = OVERLAY_START (overlay); > 3163 end = OVERLAY_END (overlay); > 3164 > 3165 if (OVERLAY_POSITION (end) > pos) > 3166 { > 3167 /* OVERLAY needs to be moved. */ > 3168 int where = OVERLAY_POSITION (beg); > 3169 struct Lisp_Overlay *other, *other_prev; > 3170 > 3171 /* Splice the cons cell TAIL out of overlays_before. */ > > Event dead_error_condition: On this path, the condition "prev != 0" could > not be true > Also see events: [dead_error_line][assignment][const][const][assignment] > > 3172 if (prev) It's true that tail is never 0 within the loop (loop test), and that on every iteration but the first prev has been assigned tail, which wasn't 0 at the time of assignment. But on the first iteration, this test is guaranteed to pass! No bug. Davis -- This product is sold by volume, not by mass. If it appears too dense or too sparse, it is because mass-energy conversion has occurred during shipping.