From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Dan Nicolaescu Newsgroups: gmane.emacs.devel Subject: Problem report #5 Date: Sat, 08 Apr 2006 23:59:45 -0700 Message-ID: <200604090659.k396xjfT005552@scanner2.ics.uci.edu> Reply-To: emacs-devel@gnu.org NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1144566076 4854 80.91.229.2 (9 Apr 2006 07:01:16 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 9 Apr 2006 07:01:16 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Apr 09 09:01:15 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 1FSTv6-00012M-5O for ged-emacs-devel@m.gmane.org; Sun, 09 Apr 2006 09:01:12 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FSTv5-0005iK-Ev for ged-emacs-devel@m.gmane.org; Sun, 09 Apr 2006 03:01:11 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FSTut-0005i3-8N for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:00:59 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FSTus-0005hr-My for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:00:58 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FSTus-0005ho-Gz for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:00:58 -0400 Original-Received: from [128.195.1.36] (helo=scanner2.ics.uci.edu) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FSTzE-0005Yi-Nt for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:05:28 -0400 Original-Received: from vino.ics.uci.edu (vino.ics.uci.edu [128.195.11.198]) by scanner2.ics.uci.edu (8.13.6/8.13.5) with ESMTP id k396xjfT005552 for ; Sat, 8 Apr 2006 23:59:46 -0700 (PDT) Original-To: emacs-devel@gnu.org Original-Lines: 66 X-ICS-MailScanner: Found to be clean X-ICS-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (score=-1.44, required 5, autolearn=disabled, ALL_TRUSTED -1.44) X-ICS-MailScanner-From: dann@vino.ics.uci.edu 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:52551 Archived-At: ERROR CID: 5 Checker: DEADCODE (help) File: emacs/src/buffer.c Function: recenter_overlay_lists Description: Assigning "tail" to "prev" 3139 with some future change. */ Event assignment: Assigning "0" to "prev" Event const: After this line, the value of "prev" is equal to 0 Also see events: [dead_error_line][dead_error_condition][const][const][assignment] 3140 prev = NULL; Event const: After this line, the value of "prev" is equal to 0 Event assignment: Assigning "tail" to "prev" Also see events: [dead_error_line][dead_error_condition][assignment][const][assignment] 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)) 3148 #if 1 3149 abort (); 3150 #else 3151 { 3152 /* Splice the cons cell TAIL out of overlays_before. */ 3153 if (!NILP (prev)) 3154 XCDR (prev) = next; 3155 else 3156 buf->overlays_before = next; 3157 tail = prev; 3158 continue; 3159 } 3160 #endif 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) Event dead_error_line: Cannot reach this line of code Also see events: [dead_error_condition][assignment][const][const][assignment] 3173 prev->next = next; 3174 else 3175 buf->overlays_before = next; 3176 3177 /* Search thru overlays_after for where to put it. */