From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 06 11:38:05 2014 Received: (at submit) by debbugs.gnu.org; 6 Oct 2014 15:38:05 +0000 Received: from localhost ([127.0.0.1]:35922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbAMO-00065V-7r for submit@debbugs.gnu.org; Mon, 06 Oct 2014 11:38:04 -0400 Received: from eggs.gnu.org ([208.118.235.92]:36138) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XbAMM-00065A-79 for submit@debbugs.gnu.org; Mon, 06 Oct 2014 11:38:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbAMD-0004Qe-5h for submit@debbugs.gnu.org; Mon, 06 Oct 2014 11:38:01 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:59709) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbAMD-0004QP-3A for submit@debbugs.gnu.org; Mon, 06 Oct 2014 11:37:53 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37782) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbAM5-0008PA-DH for bug-grep@gnu.org; Mon, 06 Oct 2014 11:37:53 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XbALw-0004Iu-UT for bug-grep@gnu.org; Mon, 06 Oct 2014 11:37:45 -0400 Received: from mailgw04.kcn.ne.jp ([61.86.7.211]:38982) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XbALw-0004GU-L4 for bug-grep@gnu.org; Mon, 06 Oct 2014 11:37:36 -0400 Received: from imp01 (mailgw5.kcn.ne.jp [61.86.15.231]) by mailgw04.kcn.ne.jp (Postfix) with ESMTP id 55CEE6C14B2 for ; Tue, 7 Oct 2014 00:37:27 +0900 (JST) Received: from mail07.kcn.ne.jp ([61.86.6.186]) by imp01 with bizsmtp id zrdT1o00240oyB901rdTgk; Tue, 07 Oct 2014 00:37:27 +0900 X-OrgRCPT: bug-grep@gnu.org Received: from [10.120.1.60] (i118-21-128-66.s30.a048.ap.plala.or.jp [118.21.128.66]) by mail07.kcn.ne.jp (Postfix) with ESMTPA id 0AB00D5009B for ; Tue, 7 Oct 2014 00:37:27 +0900 (JST) Date: Tue, 07 Oct 2014 00:37:25 +0900 From: Norihiro Tanaka To: bug-grep@gnu.org Subject: [PATCH] dfa: after search potential match at initial state, set 0 to previous state Message-Id: <20141007003725.9AA1.27F6AC2D@kcn.ne.jp> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="------_5432B6B3000000009A99_MULTIPART_MIXED_" Content-Transfer-Encoding: 7bit X-Mailer: Becky! ver. 2.65.07 [ja] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) --------_5432B6B3000000009A99_MULTIPART_MIXED_ Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit After search potential match at initial state, a current state may be updated. So we must set 0 to previous state. --------_5432B6B3000000009A99_MULTIPART_MIXED_ Content-Type: text/plain; charset="US-ASCII"; name="0001-dfa-after-search-potential-match-at-initial-state-se.patch" Content-Disposition: attachment; filename="0001-dfa-after-search-potential-match-at-initial-state-se.patch" Content-Transfer-Encoding: base64 RnJvbSAwN2RkNjg1ZGI2Nzk5YTI3NzFmMWU4OTM3ZGZhYTViYzIyNzIxZWUyIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBOb3JpaGlybyBUYW5ha2EgPG5vcml0bmtAa2NuLm5lLmpwPgpE YXRlOiBNb24sIDYgT2N0IDIwMTQgMjE6MjI6MzMgKzA5MDAKU3ViamVjdDogW1BBVENIXSBkZmE6 IGFmdGVyIHNlYXJjaCBwb3RlbnRpYWwgbWF0Y2ggYXQgaW5pdGlhbCBzdGF0ZSwgc2V0IDAgdG8K IHByZXZpb3VzIHN0YXRlCgoqIHNyYy9kZmEuYyAoZGZhZXhlY19tYWluKTogQWZ0ZXIgc2VhcmNo IHBvdGVudGlhbCBtYXRjaCBhdCBpbml0aWFsCnN0YXRlLCBzZXQgMCB0byBwcmV2aW91cyBzdGF0 ZS4KLS0tCiBzcmMvZGZhLmMgfCAxICsKIDEgZmlsZSBjaGFuZ2VkLCAxIGluc2VydGlvbigrKQoK ZGlmZiAtLWdpdCBhL3NyYy9kZmEuYyBiL3NyYy9kZmEuYwppbmRleCA3Y2JlMjQ3Li5iMmRhMzhi IDEwMDY0NAotLS0gYS9zcmMvZGZhLmMKKysrIGIvc3JjL2RmYS5jCkBAIC0zMzc2LDYgKzMzNzYs NyBAQCBkZmFleGVjX21haW4gKHN0cnVjdCBkZmEgKmQsIGNoYXIgY29uc3QgKmJlZ2luLCBjaGFy ICplbmQsCiAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgIHdoaWxlICh0WypwXSA9PSAwKQog ICAgICAgICAgICAgICAgIHArKzsKKyAgICAgICAgICAgICAgczEgPSAwOwogICAgICAgICAgICAg ICBzID0gdFsqcCsrXTsKICAgICAgICAgICAgIH0KIAotLSAKMi4xLjEKCg== --------_5432B6B3000000009A99_MULTIPART_MIXED_-- From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 09 00:25:26 2014 Received: (at 18645) by debbugs.gnu.org; 9 Oct 2014 04:25:26 +0000 Received: from localhost ([127.0.0.1]:38405 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xc5I5-0007jp-Jd for submit@debbugs.gnu.org; Thu, 09 Oct 2014 00:25:25 -0400 Received: from mail-wi0-f181.google.com ([209.85.212.181]:37577) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xc5I3-0007je-Kf for 18645@debbugs.gnu.org; Thu, 09 Oct 2014 00:25:24 -0400 Received: by mail-wi0-f181.google.com with SMTP id hi2so656030wib.2 for <18645@debbugs.gnu.org>; Wed, 08 Oct 2014 21:25:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=OWTt7n2jxOgBhX76ncrmzni3BZp4eFeBBB1FArSaUhY=; b=GzKz3xS/17NAUXC80bInaVqvxr6qajC4Fj2j1qqLqHoUT/Gyfu02Mapq2gvFS6sHzN kRzOZKaWZIooHEBCuY14kvhQ3g513ejxD1DSPQBiEmqwr0R4L5FMxwlVZcgJWwRwWM3W Z09QgrLKcc8mCir0NjgWNJagEAucqZOjYVCvvkb79vgEjYXKokww3cH+x7kVgRgHrk3e i6sXS2F3I16j1Ve/Bc1MZspQkPpZmUqoEKVFXuuMnzeuGdm40yF4+xUf1ZCrQbDGWTtK 7AfXzf2HChb8VyGxhWTNyLv4FQAvT3660wNp7ztPjDlj3VOUAxZVD5HwM8alPvezTOV8 mgfA== X-Received: by 10.180.91.19 with SMTP id ca19mr1541095wib.19.1412828722739; Wed, 08 Oct 2014 21:25:22 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.86.131 with HTTP; Wed, 8 Oct 2014 21:25:01 -0700 (PDT) In-Reply-To: <20141007003725.9AA1.27F6AC2D@kcn.ne.jp> References: <20141007003725.9AA1.27F6AC2D@kcn.ne.jp> From: Jim Meyering Date: Wed, 8 Oct 2014 21:25:01 -0700 X-Google-Sender-Auth: EBMwVL7fxht-FdVnRT5WOHGrfAo Message-ID: Subject: Re: bug#18645: [PATCH] dfa: after search potential match at initial state, set 0 to previous state To: Norihiro Tanaka Content-Type: multipart/mixed; boundary=f46d043c7e5025d1fd0504f5d2c7 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 18645 Cc: 18645@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) --f46d043c7e5025d1fd0504f5d2c7 Content-Type: text/plain; charset=ISO-8859-1 On Mon, Oct 6, 2014 at 8:37 AM, Norihiro Tanaka wrote: > After search potential match at initial state, a current state may be > updated. So we must set 0 to previous state. I too have a hard time seeing how this change can make a difference, but will go ahead and push the attached change in your name. But first: I have adjusted your commit log message, so will wait for you to proofread it. --f46d043c7e5025d1fd0504f5d2c7 Content-Type: application/octet-stream; name="0001-dfa-fix-a-theoretical-bug.patch" Content-Disposition: attachment; filename="0001-dfa-fix-a-theoretical-bug.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f_i11lq6gn1 RnJvbSBlOWE3NzAyNDI3YTg5N2JjNGFjMGU1Yjc4YzkxYTk1NGMwYTZmZTRhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBOb3JpaGlybyBUYW5ha2EgPG5vcml0bmtAa2NuLm5lLmpwPgpE YXRlOiBXZWQsIDggT2N0IDIwMTQgMjE6MjA6MjcgLTA3MDAKU3ViamVjdDogW1BBVENIXSBkZmE6 IGZpeCBhIHRoZW9yZXRpY2FsIGJ1ZwoKKiBzcmMvZGZhLmMgKGRmYWV4ZWNfbWFpbik6IEFmdGVy IHNlYXJjaGluZyBmb3IgYSBtYXRjaCBmcm9tCnRoZSBpbml0aWFsIHN0YXRlLCBzZXQgdGhlIHBy ZXZpb3VzIHN0YXRlLCBTMSwgdG8gMC4KU28gZmFyLCB3ZSBoYXZlIGZvdW5kIG5vIGNhc2UgaW4g d2hpY2ggdGhpcyBmaXggbWFrZXMgYSBkaWZmZXJlbmNlLgpTZWUgaHR0cDovL2RlYmJ1Z3MuZ251 Lm9yZy8xODY0NQotLS0KIHNyYy9kZmEuYyB8IDEgKwogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0 aW9uKCspCgpkaWZmIC0tZ2l0IGEvc3JjL2RmYS5jIGIvc3JjL2RmYS5jCmluZGV4IDJlNjE5ODIu LjU4YTRiODMgMTAwNjQ0Ci0tLSBhL3NyYy9kZmEuYworKysgYi9zcmMvZGZhLmMKQEAgLTMzODgs NiArMzM4OCw3IEBAIGRmYWV4ZWNfbWFpbiAoc3RydWN0IGRmYSAqZCwgY2hhciBjb25zdCAqYmVn aW4sIGNoYXIgKmVuZCwKICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgd2hpbGUgKHRbKnBd ID09IDApCiAgICAgICAgICAgICAgICAgcCsrOworICAgICAgICAgICAgICBzMSA9IDA7CiAgICAg ICAgICAgICAgIHMgPSB0WypwKytdOwogICAgICAgICAgICAgfQoKLS0gCjIuMC4wLjQyMS5nNzg2 YTg5ZAoK --f46d043c7e5025d1fd0504f5d2c7-- From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 09 08:42:28 2014 Received: (at 18645) by debbugs.gnu.org; 9 Oct 2014 12:42:28 +0000 Received: from localhost ([127.0.0.1]:38672 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XcD35-0005tM-Oi for submit@debbugs.gnu.org; Thu, 09 Oct 2014 08:42:28 -0400 Received: from mailgw05.kcn.ne.jp ([61.86.7.212]:65423) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XcD31-0005t9-CO for 18645@debbugs.gnu.org; Thu, 09 Oct 2014 08:42:24 -0400 Received: from imp01 (mailgw5.kcn.ne.jp [61.86.15.231]) by mailgw05.kcn.ne.jp (Postfix) with ESMTP id F3B3967C17 for <18645@debbugs.gnu.org>; Thu, 9 Oct 2014 21:42:20 +0900 (JST) Received: from mail09.kcn.ne.jp ([61.86.6.188]) by imp01 with bizsmtp id 10iL1p00C43QJrh010iL19; Thu, 09 Oct 2014 21:42:20 +0900 X-OrgRCPT: 18645@debbugs.gnu.org Received: from [10.120.1.71] (i118-21-128-66.s30.a048.ap.plala.or.jp [118.21.128.66]) by mail09.kcn.ne.jp (Postfix) with ESMTPA id 8C3861BD00C1; Thu, 9 Oct 2014 21:42:20 +0900 (JST) Date: Thu, 09 Oct 2014 21:42:20 +0900 From: Norihiro Tanaka To: Jim Meyering Subject: Re: bug#18645: [PATCH] dfa: after search potential match at initial state, set 0 to previous state In-Reply-To: References: <20141007003725.9AA1.27F6AC2D@kcn.ne.jp> Message-Id: <20141009214219.C121.27F6AC2D@kcn.ne.jp> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Mailer: Becky! ver. 2.65.07 [ja] X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 18645 Cc: 18645@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Jim Meyering wrote: > I too have a hard time seeing how this change can make a difference, > but will go ahead and push the attached change in your name. > But first: I have adjusted your commit log message, so will wait > for you to proofread it. Thanks, I agree to the change. Could you push it? From debbugs-submit-bounces@debbugs.gnu.org Thu Oct 09 18:24:52 2014 Received: (at 18645) by debbugs.gnu.org; 9 Oct 2014 22:24:52 +0000 Received: from localhost ([127.0.0.1]:39534 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XcM8h-0007zz-Gd for submit@debbugs.gnu.org; Thu, 09 Oct 2014 18:24:51 -0400 Received: from mail-wi0-f171.google.com ([209.85.212.171]:52701) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XcM8e-0007zp-W3 for 18645@debbugs.gnu.org; Thu, 09 Oct 2014 18:24:49 -0400 Received: by mail-wi0-f171.google.com with SMTP id em10so317218wid.16 for <18645@debbugs.gnu.org>; Thu, 09 Oct 2014 15:24:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=e9qHVAZF2orIOUHDOVmC91ofP6q8aDrZhu1pNbAx81o=; b=s+rCCO8rUGdynuRwu1IJMBwiSMXDc/CA+XyZNeYoqJASN1UTCnpVFaqG9jmuxOhNnp gfbPX580egsL1s+sXMePj6hak4/QU67TgWsAlCU8JxiH3kN5ggfMt/TViahft0TN2V41 Wj/lJR99jYtw2OnBCOW/ugGGD5DvomgRVd5rcYByw5mP/eyLq+8en4w0RhSDzIe9yarV Ww8w+ZPbG+bgYyn72rHFpFPJHVSuvafB+iIGC7/6g2qbA3IJ5E7YT88cJ92Je0KEstKb UMKp4RVUMzeirrUyG5AFaOmPatAyqZXsRp44CBnRQv/olKkEX7AyHI5vHufHWmjEeFmO 0oNw== X-Received: by 10.180.91.19 with SMTP id ca19mr768168wib.19.1412893488219; Thu, 09 Oct 2014 15:24:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.86.131 with HTTP; Thu, 9 Oct 2014 15:24:28 -0700 (PDT) In-Reply-To: <20141009214219.C121.27F6AC2D@kcn.ne.jp> References: <20141007003725.9AA1.27F6AC2D@kcn.ne.jp> <20141009214219.C121.27F6AC2D@kcn.ne.jp> From: Jim Meyering Date: Thu, 9 Oct 2014 15:24:28 -0700 X-Google-Sender-Auth: QBOWIIxd7g10ZjA_OC8u-f5ijZM Message-ID: Subject: Re: bug#18645: [PATCH] dfa: after search potential match at initial state, set 0 to previous state To: Norihiro Tanaka Content-Type: text/plain; charset=ISO-8859-1 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 18645 Cc: 18645 <18645@debbugs.gnu.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.7 (/) On Thu, Oct 9, 2014 at 5:42 AM, Norihiro Tanaka wrote: > Jim Meyering wrote: >> I too have a hard time seeing how this change can make a difference, >> but will go ahead and push the attached change in your name. >> But first: I have adjusted your commit log message, so will wait >> for you to proofread it. > > Thanks, I agree to the change. Could you push it? Pushed. From debbugs-submit-bounces@debbugs.gnu.org Mon Oct 13 06:43:55 2014 Received: (at 18645-done) by debbugs.gnu.org; 13 Oct 2014 10:43:55 +0000 Received: from localhost ([127.0.0.1]:42449 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xdd6Z-0003FS-4C for submit@debbugs.gnu.org; Mon, 13 Oct 2014 06:43:55 -0400 Received: from mailgw04.kcn.ne.jp ([61.86.7.211]:40147) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xdd6W-0003FG-Cs for 18645-done@debbugs.gnu.org; Mon, 13 Oct 2014 06:43:53 -0400 Received: from imp02 (mailgw6.kcn.ne.jp [61.86.15.232]) by mailgw04.kcn.ne.jp (Postfix) with ESMTP id 5B2D96C0B46 for <18645-done@debbugs.gnu.org>; Mon, 13 Oct 2014 19:43:50 +0900 (JST) Received: from mail01.kcn.ne.jp ([61.86.6.180]) by imp02 with bizsmtp id 2ajq1p00D3t2w9Z01ajqvM; Mon, 13 Oct 2014 19:43:50 +0900 X-OrgRCPT: 18645-done@debbugs.gnu.org Received: from [10.120.1.17] (i118-21-128-66.s30.a048.ap.plala.or.jp [118.21.128.66]) by mail01.kcn.ne.jp (Postfix) with ESMTPA id E33B85A82DF; Mon, 13 Oct 2014 19:43:49 +0900 (JST) Date: Mon, 13 Oct 2014 19:43:46 +0900 From: Norihiro Tanaka To: Jim Meyering Subject: Re: bug#18645: [PATCH] dfa: after search potential match at initial state, set 0 to previous state In-Reply-To: References: <20141009214219.C121.27F6AC2D@kcn.ne.jp> Message-Id: <20141013194345.015A.27F6AC2D@kcn.ne.jp> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Mailer: Becky! ver. 2.65.07 [ja] X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 18645-done Cc: 18645-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Jim Meyering wrote: > > Thanks, I agree to the change. Could you push it? > > Pushed. Thanks, closed. From unknown Mon Aug 18 11:32:51 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 10 Nov 2014 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator