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 #8 Date: Sat, 08 Apr 2006 23:59:18 -0700 Message-ID: <200604090659.k396xI5h005539@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 1144566022 4718 80.91.229.2 (9 Apr 2006 07:00:22 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 9 Apr 2006 07:00:22 +0000 (UTC) Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Apr 09 09:00:19 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 1FSTuA-0000x7-Ki for ged-emacs-devel@m.gmane.org; Sun, 09 Apr 2006 09:00:14 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FSTu9-0005EK-TB for ged-emacs-devel@m.gmane.org; Sun, 09 Apr 2006 03:00:13 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FSTtx-0005CV-4Y for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:00:01 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FSTtu-0005Bm-2q for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:00:00 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FSTtt-0005Bj-UJ for emacs-devel@gnu.org; Sun, 09 Apr 2006 02:59:57 -0400 Original-Received: from [128.195.1.36] (helo=scanner2.ics.uci.edu) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FSTyG-0005So-3f for emacs-devel@gnu.org; Sun, 09 Apr 2006 03:04:28 -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 k396xI5h005539 for ; Sat, 8 Apr 2006 23:59:18 -0700 (PDT) Original-To: emacs-devel@gnu.org Original-Lines: 57 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:52550 Archived-At: I signed up to see the Coverity problem reports. RMS asked me to post a few here. There are 76 problems, I analyzed 10 of them, none of them were bugs in emacs. Hopefully more people can help with this. If you analyze the problem, please add to the subject the resolution which can be one of the following: Status: UNINSPECTED BUG FALSE RESOLVED IGNORE PENDING I will then put this on the website. Or better mark it there directly if you have access. ERROR CID: 8 Checker: DEADCODE (help) File: emacs/src/xfns.c Function: Fx_window_property Description: After this line, the value of "actual_format" is equal to 32 4327 if (rc == Success && tmp_data) 4328 { 4329 /* The man page for XGetWindowProperty says: 4330 "If the returned format is 32, the returned data is represented 4331 as a long array and should be cast to that type to obtain the 4332 elements." 4333 This applies even if long is more than 32 bits, the X library 4334 converts from 32 bit elements received from the X server to long 4335 and passes the long array to us. Thus, for that case bcopy can not 4336 be used. We convert to a 32 bit type here, because so much code 4337 assume on that. 4338 4339 The bytes and offsets passed to XGetWindowProperty refers to the 4340 property and those are indeed in 32 bit quantities if format is 4341 32. */ 4342 Event dead_error_condition: On this path, the condition "actual_format < 32" could not be true Event new_values: Conditional "actual_format == 32" Event const: After this line, the value of "actual_format" is equal to 32 Also see events: [dead_error_begin][new_values][const] 4343 if (actual_format == 32 && actual_format < BITS_PER_LONG) 4344 { 4345 unsigned long i; Event dead_error_begin: Cannot reach dead code beginning here Also see events: [dead_error_condition][new_values][const]