From: Dan Nicolaescu <dann@ics.uci.edu>
Subject: Problem report #63
Date: Tue, 11 Apr 2006 08:48:02 -0700 [thread overview]
Message-ID: <200604111548.k3BFm202015070@scanner2.ics.uci.edu> (raw)
Thanks for analyzing the previous reports. The batch I am sending now
is the last for the emacs/src/* files.
CID: 63
Checker: UNINIT (help)
File: emacs/src/window.c
Function: Fpos_visible_in_window_p
Description: Using uninitialized value "y"
Event var_decl: Declared variable "y" without initializer
Also see events: [uninit_use]
CID: 63
Checker: UNINIT (help)
File: emacs/src/window.c
Function: Fpos_visible_in_window_p
Description: Using uninitialized value "x"
352 int x, y;
353
354 w = decode_window (window);
355 buf = XBUFFER (w->buffer);
356 SET_TEXT_POS_FROM_MARKER (top, w->start);
357
At conditional (1): "pos != Qnil" taking true path
358 if (!NILP (pos))
359 {
At conditional (2): "pos & 7 == 2" taking true path
At conditional (3): "((pos & -8)->u_marker).type == 24236" taking true path
At conditional (4): "0" taking false path
360 CHECK_NUMBER_COERCE_MARKER (pos);
361 posint = XINT (pos);
362 }
363 else if (w == XWINDOW (selected_window))
364 posint = PT;
365 else
366 posint = XMARKER (w->pointm)->charpos;
367
368 /* If position is above window start or outside buffer boundaries,
369 or if window start is out of range, position is not visible. */
At conditional (5): "posint >= (top).charpos" taking true path
At conditional (6): "posint <= (buf)->zv" taking true path
At conditional (7): "(top).charpos >= (buf)->begv" taking true path
At conditional (8): "(top).charpos <= (buf)->zv" taking false path
370 if (posint >= CHARPOS (top)
371 && posint <= BUF_ZV (buf)
372 && CHARPOS (top) >= BUF_BEGV (buf)
373 && CHARPOS (top) <= BUF_ZV (buf)
374 && pos_visible_p (w, posint, &x, &y, &rtop, &rbot, NILP (partially))
375 && (fully_p = !rtop && !rbot, (!NILP (partially) || fully_p)))
376 in_window = Qt;
377
At conditional (9): "in_window != Qnil" taking true path
At conditional (10): "partially != Qnil" taking true path
378 if (!NILP (in_window) && !NILP (partially))
Event uninit_use: Using uninitialized value "y"
Also see events: [var_decl]
379 in_window = Fcons (make_number (x),
380 Fcons (make_number (y),
381 Fcons ((fully_p ? Qnil
382 : Fcons (make_number (rtop),
383 make_number (rbot))),
384 Qnil)));
Event var_decl: Declared variable "x" without initializer
Also see events: [uninit_use]
352 int x, y;
353
354 w = decode_window (window);
355 buf = XBUFFER (w->buffer);
356 SET_TEXT_POS_FROM_MARKER (top, w->start);
357
At conditional (1): "pos != Qnil" taking true path
358 if (!NILP (pos))
359 {
At conditional (2): "pos & 7 == 2" taking true path
At conditional (3): "((pos & -8)->u_marker).type == 24236" taking true path
At conditional (4): "0" taking false path
360 CHECK_NUMBER_COERCE_MARKER (pos);
361 posint = XINT (pos);
362 }
363 else if (w == XWINDOW (selected_window))
364 posint = PT;
365 else
366 posint = XMARKER (w->pointm)->charpos;
367
368 /* If position is above window start or outside buffer boundaries,
369 or if window start is out of range, position is not visible. */
At conditional (5): "posint >= (top).charpos" taking true path
At conditional (6): "posint <= (buf)->zv" taking true path
At conditional (7): "(top).charpos >= (buf)->begv" taking true path
At conditional (8): "(top).charpos <= (buf)->zv" taking false path
370 if (posint >= CHARPOS (top)
371 && posint <= BUF_ZV (buf)
372 && CHARPOS (top) >= BUF_BEGV (buf)
373 && CHARPOS (top) <= BUF_ZV (buf)
374 && pos_visible_p (w, posint, &x, &y, &rtop, &rbot, NILP (partially))
375 && (fully_p = !rtop && !rbot, (!NILP (partially) || fully_p)))
376 in_window = Qt;
377
At conditional (9): "in_window != Qnil" taking true path
At conditional (10): "partially != Qnil" taking true path
378 if (!NILP (in_window) && !NILP (partially))
Event uninit_use: Using uninitialized value "x"
Also see events: [var_decl]
379 in_window = Fcons (make_number (x),
380 Fcons (make_number (y),
381 Fcons ((fully_p ? Qnil
382 : Fcons (make_number (rtop),
383 make_number (rbot))),
384 Qnil)));
next reply other threads:[~2006-04-11 15:48 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-11 15:48 Dan Nicolaescu [this message]
2006-04-11 16:59 ` Problem report #63 Stuart D. Herring
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=200604111548.k3BFm202015070@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).