bug#19061: [PATCH] dfa: building superset, access to unallocated memory

[Jim Meyering]

I have pushed that change and am preparing another snapshot.