From: "Stuart D. Herring" <herring@lanl.gov>
Subject: Re: Problem report #5
Date: Tue, 11 Apr 2006 10:22:51 -0700 (PDT) [thread overview]
Message-ID: <39840.128.165.123.132.1144776171.squirrel@webmail.lanl.gov> (raw)
In-Reply-To: <200604111549.k3BFnm53015141@scanner2.ics.uci.edu>
> 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.
next prev parent reply other threads:[~2006-04-11 17:22 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-11 15:49 Problem report #5 Dan Nicolaescu
2006-04-11 17:22 ` Stuart D. Herring [this message]
2006-04-11 18:07 ` Andreas Schwab
-- strict thread matches above, loose matches on Subject: below --
2006-04-09 6:59 Dan Nicolaescu
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=39840.128.165.123.132.1144776171.squirrel@webmail.lanl.gov \
--to=herring@lanl.gov \
/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).