From: Dan Nicolaescu <dann@ics.uci.edu>
Subject: Problem report #5
Date: Sat, 08 Apr 2006 23:59:45 -0700 [thread overview]
Message-ID: <200604090659.k396xjfT005552@scanner2.ics.uci.edu> (raw)
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. */
next reply other threads:[~2006-04-09 6:59 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-09 6:59 Dan Nicolaescu [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-04-11 15:49 Problem report #5 Dan Nicolaescu
2006-04-11 17:22 ` Stuart D. Herring
2006-04-11 18:07 ` Andreas Schwab
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200604090659.k396xjfT005552@scanner2.ics.uci.edu \
--to=dann@ics.uci.edu \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).