From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andreas Schwab Newsgroups: gmane.emacs.bugs Subject: bug#2844: infinite loop in boyer_moore() Date: Thu, 02 Apr 2009 09:49:54 +0200 Message-ID: References: <200903270305.n2R35Y8N032009@livre.oliva.athome.lsd.ic.unicamp.br> Reply-To: Andreas Schwab , 2844@emacsbugs.donarmstrong.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1238659482 23986 80.91.229.12 (2 Apr 2009 08:04:42 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 2 Apr 2009 08:04:42 +0000 (UTC) Cc: 2844@emacsbugs.donarmstrong.com, bug-gnu-emacs@gnu.org To: Alexandre Oliva Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Apr 02 10:06:00 2009 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1LpHvk-0002pD-5c for geb-bug-gnu-emacs@m.gmane.org; Thu, 02 Apr 2009 10:05:50 +0200 Original-Received: from localhost ([127.0.0.1]:40104 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LpHuM-0005TC-G5 for geb-bug-gnu-emacs@m.gmane.org; Thu, 02 Apr 2009 04:04:18 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LpHtz-0005Mw-FQ for bug-gnu-emacs@gnu.org; Thu, 02 Apr 2009 04:03:55 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LpHtu-0005Id-DP for bug-gnu-emacs@gnu.org; Thu, 02 Apr 2009 04:03:54 -0400 Original-Received: from [199.232.76.173] (port=54296 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LpHtu-0005IF-5s for bug-gnu-emacs@gnu.org; Thu, 02 Apr 2009 04:03:50 -0400 Original-Received: from rzlab.ucr.edu ([138.23.92.77]:44749) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LpHtt-0006f7-AM for bug-gnu-emacs@gnu.org; Thu, 02 Apr 2009 04:03:49 -0400 Original-Received: from rzlab.ucr.edu (rzlab.ucr.edu [127.0.0.1]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n3283la7021124; Thu, 2 Apr 2009 01:03:47 -0700 Original-Received: (from debbugs@localhost) by rzlab.ucr.edu (8.13.8/8.13.8/Submit) id n327t7v2018911; Thu, 2 Apr 2009 00:55:07 -0700 X-Loop: owner@emacsbugs.donarmstrong.com Resent-From: Andreas Schwab Resent-To: bug-submit-list@donarmstrong.com Resent-CC: Emacs Bugs Resent-Date: Thu, 02 Apr 2009 07:55:07 +0000 Resent-Message-ID: Resent-Sender: owner@emacsbugs.donarmstrong.com X-Emacs-PR-Message: followup 2844 X-Emacs-PR-Package: emacs X-Emacs-PR-Keywords: Original-Received: via spool by 2844-submit@emacsbugs.donarmstrong.com id=B2844.123865860717615 (code B ref 2844); Thu, 02 Apr 2009 07:55:07 +0000 Original-Received: (at 2844) by emacsbugs.donarmstrong.com; 2 Apr 2009 07:50:07 +0000 X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. Original-Received: from mail-out.m-online.net (mail-out.m-online.net [212.18.0.9]) by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n327o2et017223 for <2844@emacsbugs.donarmstrong.com>; Thu, 2 Apr 2009 00:50:04 -0700 Original-Received: from mail01.m-online.net (mail.m-online.net [192.168.3.149]) by mail-out.m-online.net (Postfix) with ESMTP id A5E561C15301; Thu, 2 Apr 2009 09:53:04 +0200 (CEST) Original-Received: from localhost (dynscan2.mnet-online.de [192.168.1.215]) by mail.m-online.net (Postfix) with ESMTP id B899E901A7; Thu, 2 Apr 2009 09:49:56 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Original-Received: from mail.mnet-online.de ([192.168.3.149]) by localhost (dynscan2.mnet-online.de [192.168.1.215]) (amavisd-new, port 10024) with ESMTP id WQ4RorOP4tpL; Thu, 2 Apr 2009 09:49:55 +0200 (CEST) Original-Received: from igel.home (DSL01.83.171.170.81.ip-pool.NEFkom.net [83.171.170.81]) by mail.mnet-online.de (Postfix) with ESMTP; Thu, 2 Apr 2009 09:49:55 +0200 (CEST) Original-Received: by igel.home (Postfix, from userid 501) id 8103810D832; Thu, 2 Apr 2009 09:49:54 +0200 (CEST) X-Yow: CHUBBY CHECKER owns my BUILDING! In-Reply-To: <200903270305.n2R35Y8N032009@livre.oliva.athome.lsd.ic.unicamp.br> (Alexandre Oliva's message of "Fri, 27 Mar 2009 00:05:34 -0300") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.92 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3) Resent-Date: Thu, 02 Apr 2009 04:03:54 -0400 X-BeenThere: bug-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:26826 Archived-At: Alexandre Oliva writes: > I suppose checking that > > (EMACS_INT)(cursor + 20000) > (EMACS_INT)(cursor) > > would also be necessary before choosing the EMACS_INT variant of the loop. That wouldn't help, the compiler will optimize that to true. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."