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 #102 Date: Mon, 1 Dec 2008 09:01:33 -0800 (PST) Message-ID: <200812011701.mB1H1XCJ015346@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 1228151360 20684 80.91.229.12 (1 Dec 2008 17:09:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 1 Dec 2008 17:09:20 +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:10:24 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 1L7CHP-0000gr-Ce for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 18:09:51 +0100 Original-Received: from localhost ([127.0.0.1]:49298 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7CGE-0006to-Ud for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 12:08:38 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1L7C9W-000201-VS for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:01:43 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1L7C9V-0001zA-V2 for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:01:42 -0500 Original-Received: from [199.232.76.173] (port=36317 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7C9V-0001yz-Mi for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:01:41 -0500 Original-Received: from sallyv2.ics.uci.edu ([128.195.1.120]:44057) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA1:24) (Exim 4.60) (envelope-from ) id 1L7C9V-0005iX-0O for emacs-devel@gnu.org; Mon, 01 Dec 2008 12:01:41 -0500 Original-Received: from mothra.ics.uci.edu (mothra.ics.uci.edu [128.195.6.93]) by sallyv2.ics.uci.edu (8.13.7+Sun/8.13.7) with ESMTP id mB1H1XG9024861 for ; Mon, 1 Dec 2008 09:01:33 -0800 (PST) Original-Received: (from dann@localhost) by mothra.ics.uci.edu (8.13.8+Sun/8.13.6/Submit) id mB1H1XCJ015346; Mon, 1 Dec 2008 09:01:33 -0800 (PST) Original-Lines: 106 X-ICS-MailScanner-Information: Please contact the ISP for more information X-ICS-MailScanner-ID: mB1H1XG9024861 X-ICS-MailScanner: Found to be clean X-ICS-MailScanner-SpamCheck: not spam, SpamAssassin (score=-1.44, required 5, autolearn=disabled, ALL_TRUSTED -1.44) 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:106379 Archived-At: CID: 102 Checker: NEGATIVE_RETURNS (help) File: base/src/emacs/src/editfns.c Function: Fformat_time_string Description: Negative constant "-1" was passed to a negative sink. 1678 For example, to produce full ISO 8601 format, use "%Y-%m-%dT%T%z". */) 1679 (format_string, time, universal) 1680 Lisp_Object format_string, time, universal; 1681 { 1682 time_t value; 1683 int size; 1684 struct tm *tm; At conditional (1): "universal != Qnil" taking true path 1685 int ut = ! NILP (universal); 1686 At conditional (2): "format_string & 7 != 3" taking false path At conditional (3): "0" taking false path 1687 CHECK_STRING (format_string); 1688 At conditional (4): "lisp_time_argument == 0" taking false path 1689 if (! lisp_time_argument (time, &value, NULL)) 1690 error ("Invalid time specification"); 1691 1692 format_string = code_convert_string_norecord (format_string, 1693 Vlocale_coding_system, 1); 1694 1695 /* This is probably enough. */ At conditional (5): "((0), (format_string & -8))->size_byte < 0" taking true path 1696 size = SBYTES (format_string) * 6 + 50; 1697 1698 BLOCK_INPUT; At conditional (6): "ut != 0" taking true path 1699 tm = ut ? gmtime (&value) : localtime (&value); At conditional (7): "interrupt_input_blocked == 0" taking true path At conditional (8): "interrupt_input_pending != 0" taking true path At conditional (9): "pending_atimers != 0" taking true path At conditional (10): "0" taking false path 1700 UNBLOCK_INPUT; At conditional (11): "tm == 0" taking false path 1701 if (! tm) 1702 error ("Specified time is not representable"); 1703 1704 synchronize_system_time_locale (); 1705 At conditional (12): "1" taking true path 1706 while (1) 1707 { 1708 char *buf = (char *) alloca (size + 1); 1709 int result; 1710 1711 buf[0] = '\1'; 1712 BLOCK_INPUT; At conditional (13): "((0), (format_string & -8))->size_byte < 0" taking true path 1713 result = emacs_memftimeu (buf, size, SDATA (format_string), 1714 SBYTES (format_string), 1715 tm, ut); At conditional (14): "interrupt_input_blocked == 0" taking true path At conditional (15): "interrupt_input_pending != 0" taking true path At conditional (16): "pending_atimers != 0" taking true path At conditional (17): "0" taking false path 1716 UNBLOCK_INPUT; At conditional (18): "result > 0" taking false path At conditional (19): "result == 0" taking true path At conditional (20): "*(buf + 0) == 0" taking false path 1717 if ((result > 0 && result < size) || (result == 0 && buf[0] == '\0')) 1718 return code_convert_string_norecord (make_unibyte_string (buf, result), 1719 Vlocale_coding_system, 0); 1720 1721 /* If buffer was too small, make it bigger and try again. */ 1722 BLOCK_INPUT; Event negative_returns: Negative constant "-1" was passed to a negative sink. [model] At conditional (21): "((0), (format_string & -8))->size_byte < 0" taking true path 1723 result = emacs_memftimeu (NULL, (size_t) -1, 1724 SDATA (format_string), 1725 SBYTES (format_string), 1726 tm, ut); 1727 UNBLOCK_INPUT; 1728 size = result + 1; 1729 } 17