[PATCH 1/4] dfa: omit unnecessary allocation

[Paul Eggert]

* lib/dfa.c (dfaanalyze): Do not allocate follow set, since
an all-zero follow set works just fine.
---
 ChangeLog | 4 ++++
 lib/dfa.c | 2 --
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index f0cd277..beeefb7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2017-01-09  Paul Eggert  <address@hidden>
 
+       dfa: omit unnecessary allocation
+       * lib/dfa.c (dfaanalyze): Do not allocate follow set, since
+       an all-zero follow set works just fine.
+
        dfa: omit unused local
        * lib/dfa.c (build_state): Fix up recent change.
 
diff --git a/lib/dfa.c b/lib/dfa.c
index e8cb6bb..b27bef4 100644
--- a/lib/dfa.c
+++ b/lib/dfa.c
@@ -2501,8 +2501,6 @@ dfaanalyze (struct dfa *d, bool searchflag)
           firstpos->index = lastpos->index = i;
           firstpos->constraint = lastpos->constraint = NO_CONSTRAINT;
 
-          /* Allocate the follow set for this position.  */
-          alloc_position_set (&d->follows[i], 1);
           break;
         }
 #ifdef DEBUG
-- 
2.9.3