grep branch, master, updated. v2.27-48-g8f2d700

[Paul Eggert]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "grep".

The branch, master has been updated
       via  8f2d7009a1c982c6ed9c844529639f1794d029bb (commit)
      from  b2e0f3f86c6ff948c9b37668af762ea90f06e401 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.savannah.gnu.org/cgit/grep.git/commit/?id=8f2d7009a1c982c6ed9c844529639f1794d029bb


commit 8f2d7009a1c982c6ed9c844529639f1794d029bb
Author: Paul Eggert <address@hidden>
Date:   Mon Jan 23 16:03:12 2017 -0800

    grep: simplify recent kwset change
    
    * src/kwset.c (acexec_trans): Simplify.

diff --git a/src/kwset.c b/src/kwset.c
index 258cff5..3be5c42 100644
--- a/src/kwset.c
+++ b/src/kwset.c
@@ -848,20 +848,15 @@ acexec_trans (kwset_t kwset, char const *text, ptrdiff_t 
len,
           struct trie const *accept1;
           char const *left1;
           unsigned char c = tr (trans, *tp++);
-          while (true)
+
+          do
             {
               tree = trie->links;
               while (tree && c != tree->label)
                 tree = c < tree->label ? tree->llink : tree->rlink;
-              if (tree)
-                break;
-              trie = trie->fail;
-              if (!trie)
-                break;
-              left1 = tp - trie->depth;
-              if (left1 > left)
-                break;
             }
+          while (!tree && (trie = trie->fail) && accept->depth <= trie->depth);
+
           if (!tree)
             break;
           trie = tree->trie;

-----------------------------------------------------------------------

Summary of changes:
 src/kwset.c |   13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
grep