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: Tue, 11 Apr 2006 08:49:48 -0700 Message-ID: <200604111549.k3BFnm53015141@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 1144771123 5609 80.91.229.2 (11 Apr 2006 15:58:43 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 11 Apr 2006 15:58:43 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Apr 11 17:58:42 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 1FTLGG-0006TV-RV for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 17:58:37 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTLGG-0001Dc-BY for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 11:58:36 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FTLAJ-000310-PD for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:52:28 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FTLAD-0002t5-Ut for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:52:23 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTLAD-0002sT-BT for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:52:21 -0400 Original-Received: from [128.195.1.36] (helo=scanner2.ics.uci.edu) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FTLF6-0002Wp-M2 for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:57:24 -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 k3BFnm53015141 for ; Tue, 11 Apr 2006 08:49:48 -0700 (PDT) Original-To: emacs-devel@gnu.org Original-Lines: 60 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:52680 Archived-At: CID: 5 Checker: DEADCODE (help) File: emacs/src/buffer.c Function: recenter_overlay_lists Description: Assigning "tail" to "prev" 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;