]> Savannah Git Hosting - gnulib.git/commitdiff
regex: avoid duplicate in espilon closure
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Feb 2021 00:35:46 +0000 (16:35 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Feb 2021 01:25:00 +0000 (17:25 -0800)
* lib/regcomp.c (calc_eclosure_iter): Insert NODE into epsilon
closure first rather than last.  Otherwise, the epsilon closure
might contain a duplicate of NODE.

ChangeLog
lib/regcomp.c

index f4583e0afe57c107e55ab0cd338155e182100f6d..74304474bdeeaebf41aaa5e7ab18d8ad4afec839 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2021-02-05  Paul Eggert  <eggert@cs.ucla.edu>
 
+       regex: avoid duplicate in espilon closure
+       * lib/regcomp.c (calc_eclosure_iter): Insert NODE into epsilon
+       closure first rather than last.  Otherwise, the epsilon closure
+       might contain a duplicate of NODE.
+
        regex-tests: fix typo
        * tests/test-regex.c (main): Fix typo that would have caused an
        old test case to report incorrect values on failure.
index d93698ae78447b46368732afbb2cae1f583a494b..887e5b50684e22f501011a9cac52ebe1a0bb3894 100644 (file)
@@ -1695,12 +1695,14 @@ calc_eclosure_iter (re_node_set *new_set, re_dfa_t *dfa, Idx node, bool root)
   reg_errcode_t err;
   Idx i;
   re_node_set eclosure;
-  bool ok;
   bool incomplete = false;
   err = re_node_set_alloc (&eclosure, dfa->edests[node].nelem + 1);
   if (__glibc_unlikely (err != REG_NOERROR))
     return err;
 
+  /* An epsilon closure includes itself.  */
+  eclosure.elems[eclosure.nelem++] = node;
+
   /* This indicates that we are calculating this node now.
      We reference this value to avoid infinite loop.  */
   dfa->eclosures[node].nelem = -1;
@@ -1753,10 +1755,6 @@ calc_eclosure_iter (re_node_set *new_set, re_dfa_t *dfa, Idx node, bool root)
          }
       }
 
-  /* An epsilon closure includes itself.  */
-  ok = re_node_set_insert (&eclosure, node);
-  if (__glibc_unlikely (! ok))
-    return REG_ESPACE;
   if (incomplete && !root)
     dfa->eclosures[node].nelem = 0;
   else