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 #103 Date: Mon, 1 Dec 2008 09:02:25 -0800 (PST) Message-ID: <200812011702.mB1H2Px2015347@mothra.ics.uci.edu> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1228151449 21040 80.91.229.12 (1 Dec 2008 17:10:49 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 1 Dec 2008 17:10:49 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Dec 01 18:11:52 2008 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1L7CJH-0001TK-TZ for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 18:11:48 +0100 Original-Received: from localhost ([127.0.0.1]:49517 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7CI7-0007s2-JY for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 12:10:35 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1L7CAL-0002MY-WB for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:02:34 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1L7CAL-0002Lx-7K for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:02:33 -0500 Original-Received: from [199.232.76.173] (port=36325 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7CAK-0002Lh-B5 for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:02:32 -0500 Original-Received: from barrelv2.ics.uci.edu ([128.195.1.114]:58288) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA1:24) (Exim 4.60) (envelope-from ) id 1L7CAJ-0005mH-L5 for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:02:31 -0500 Original-Received: from mothra.ics.uci.edu (mothra.ics.uci.edu [128.195.6.93]) by barrelv2.ics.uci.edu (8.13.7+Sun/8.13.7) with ESMTP id mB1H2PC0022451 for ; Mon, 1 Dec 2008 09:02:25 -0800 (PST) Original-Received: (from dann@localhost) by mothra.ics.uci.edu (8.13.8+Sun/8.13.6/Submit) id mB1H2Px2015347; Mon, 1 Dec 2008 09:02:25 -0800 (PST) Original-Lines: 74 X-ICS-MailScanner-Information: Please contact the ISP for more information X-ICS-MailScanner-ID: mB1H2PC0022451 X-ICS-MailScanner: Found to be clean X-ICS-MailScanner-SpamCheck: not spam, SpamAssassin (score=-1.363, required 5, autolearn=disabled, ALL_TRUSTED -1.44, TW_CP 0.08) X-ICS-MailScanner-From: dann@mothra.ics.uci.edu X-detected-operating-system: by monty-python.gnu.org: Solaris 10 (beta) 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:106380 Archived-At: CID: 103 Checker: NEGATIVE_RETURNS (help) File: base/src/emacs/src/process.c Function: procfs_system_process_attributes Description: Tracked variable "cmdline_size" was passed to a negative sink. Event negative_return_fn: Called negative-returning function "read" Event var_assign: NEGATIVE return value of "read" assigned to signed variable "nread" Also see events: [var_assign][alias_assign][negative_returns] At conditional (1): "nread = read >= 0" taking false path 7434 if ((nread = read (fd, cmdline, cmdline_size)) >= 0) 7435 cmdline[nread++] = '\0'; 7436 /* We don't want trailing null characters. */ At conditional (2): "p > cmdline" taking true path At conditional (3): "*p == 0" taking true path At conditional (4): "p > cmdline" taking true path At conditional (5): "*p == 0" taking true path At conditional (6): "p > cmdline" taking true path At conditional (7): "*p == 0" taking true path At conditional (8): "p > cmdline" taking false path 7437 for (p = cmdline + nread - 1; p > cmdline && !*p; p--) 7438 nread--; At conditional (9): "p < (cmdline + nread)" taking true path At conditional (13): "p < (cmdline + nread)" taking true path At conditional (17): "p < (cmdline + nread)" taking false path 7439 for (p = cmdline; p < cmdline + nread; p++) 7440 { 7441 /* Escape-quote whitespace and backslashes. */ At conditional (10): "*(*__ctype_b_loc + (*p * 2)) & 8192 != 0" taking false path At conditional (11): "*p == 92" taking false path At conditional (14): "*(*__ctype_b_loc + (*p * 2)) & 8192 != 0" taking false path At conditional (15): "*p == 92" taking false path 7442 if (isspace (*p) || *p == '\\') 7443 { 7444 memmove (p + 1, p, nread - (p - cmdline)); 7445 nread++; 7446 *p++ = '\\'; 7447 } At conditional (12): "*p == 0" taking true path At conditional (16): "*p == 0" taking true path 7448 else if (*p == '\0') 7449 *p = ' '; 7450 } Event alias_assign: Variable "nread" aliased to variable "cmdline_size" Also see events: [negative_return_fn][var_assign][negative_returns] 7451 cmdline_size = nread; 7452 } 7453 else 7454 { 7455 cmdline_size = cmdsize + 2; 7456 cmdline = xmalloc (cmdline_size + 1); 7457 strcpy (cmdline, "["); 7458 strcat (strncat (cmdline, cmd, cmdsize), "]"); 7459 } 7460 emacs_close (fd); 7461 /* Command line is encoded in locale-coding-system; decode it. */ Event negative_returns: Tracked variable "cmdline_size" was passed to a negative sink. [model] Also see events: [negative_return_fn][var_assign][alias_assign] 7462 cmd_str = make_unibyte_string (cmdline, cmdline_size); 7463 decoded_cmd = code_convert_string_norecord (cmd_str,