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 #63 Date: Tue, 11 Apr 2006 08:48:02 -0700 Message-ID: <200604111548.k3BFm202015070@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 1144770588 3338 80.91.229.2 (11 Apr 2006 15:49:48 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 11 Apr 2006 15:49:48 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Apr 11 17:49:45 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 1FTL7U-0004Zy-Qk for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 17:49:33 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTL7U-0000U8-D4 for ged-emacs-devel@m.gmane.org; Tue, 11 Apr 2006 11:49:32 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FTL7I-0000TA-Af for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:49:20 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FTL7G-0000Si-PW for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:49:20 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FTL7G-0000SY-Iv for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:49:18 -0400 Original-Received: from [128.195.1.36] (helo=scanner2.ics.uci.edu) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FTLC9-00021x-RI for emacs-devel@gnu.org; Tue, 11 Apr 2006 11:54:22 -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 k3BFm202015070 for ; Tue, 11 Apr 2006 08:48:02 -0700 (PDT) Original-To: emacs-devel@gnu.org Original-Lines: 133 X-ICS-MailScanner: Found to be clean X-ICS-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (score=-0.34, required 5, autolearn=disabled, ALL_TRUSTED -1.44, FM_MULTI_ODD2 1.10) 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:52668 Archived-At: 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)));