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: Re: problem report #102 Date: Mon, 1 Dec 2008 11:00:56 -0800 (PST) Message-ID: <200812011900.mB1J0uaV016159@mothra.ics.uci.edu> References: <200812011701.mB1H1XCJ015346@mothra.ics.uci.edu> <200812011834.mB1IYkON015962@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 1228158334 14794 80.91.229.12 (1 Dec 2008 19:05:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 1 Dec 2008 19:05:34 +0000 (UTC) Cc: emacs-devel@gnu.org To: Andreas Schwab Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Dec 01 20:06:35 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 1L7E5L-0002rS-QN for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 20:05:49 +0100 Original-Received: from localhost ([127.0.0.1]:40541 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7E48-0001LM-OR for ged-emacs-devel@m.gmane.org; Mon, 01 Dec 2008 14:04:16 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1L7E18-0000Zs-Mk for emacs-devel@gnu.org; Mon, 01 Dec 2008 14:01:10 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1L7E17-0000Yy-VC for emacs-devel@gnu.org; Mon, 01 Dec 2008 14:01:10 -0500 Original-Received: from [199.232.76.173] (port=36681 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1L7E17-0000Yo-OX for emacs-devel@gnu.org; Mon, 01 Dec 2008 14:01:09 -0500 Original-Received: from sallyv2.ics.uci.edu ([128.195.1.120]:51564) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA1:24) (Exim 4.60) (envelope-from ) id 1L7E17-00028g-6q for emacs-devel@gnu.org; Mon, 01 Dec 2008 14:01:09 -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 mB1J0v50029556; Mon, 1 Dec 2008 11:01:02 -0800 (PST) Original-Received: (from dann@localhost) by mothra.ics.uci.edu (8.13.8+Sun/8.13.6/Submit) id mB1J0uaV016159; Mon, 1 Dec 2008 11:00:56 -0800 (PST) In-Reply-To: (Andreas Schwab's message of "Mon, 01 Dec 2008 19:51:45 +0100") Original-Lines: 20 X-ICS-MailScanner-Information: Please contact the ISP for more information X-ICS-MailScanner-ID: mB1J0v50029556 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:106397 Archived-At: Andreas Schwab writes: > Dan Nicolaescu writes: > > > Andreas Schwab writes: > > > > > Dan Nicolaescu writes: > > > > > > > Event negative_returns: Negative constant "-1" was passed to a negative sink. [model] > > > > > > What's a "negative sink"?? > > > > Thanks for looking at these. > > > > negative_sink: The checker reports this event when it determines that a value is used in an operation that would have a bad effect if that value were negative. The checker then tracks the value used to see if it is subsequently compared against a negative value. > > So what _is_ the "bad effect"? Sorry, no idea, I don't have any more information that you do. I didn't even look at the code, just copy+paste...