2 files changed, 10 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index b2f0e8cb..b3f33633 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2016-11-30         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* dfa.c: Sync with fixes in GNULIB.
+
 2016-11-29         Arnold D. Robbins     <arnold@skeeve.com>
 
 	Remove redundant flag from dfa:
diff --git a/dfa.c b/dfa.c
index 0a231050..ae64ba95 100644
--- a/dfa.c
+++ b/dfa.c
@@ -2652,6 +2652,12 @@ dfastate (state_num s, struct dfa *d, unsigned char uc, state_num trans[])
             continue;
           if (j == CHARCLASS_WORDS)
             continue;
+
+          /* If we have reset the bit that made us declare "matched", reset
+             that indicator, too.  This is required to avoid an infinite loop
+             with this command: echo cx | LC_ALL=C grep -E 'c\b[x ]'  */
+          if (!tstbit (uc, matches))
+            matched = false;
         }
 
 #ifdef DEBUG