* lib/dfa.c (realloc_trans_if_necessary): Otherwise, coverity
warned that "newalloc1 - 2" could overflow.
+2016-12-12 Jim Meyering <meyering@fb.com>
+
+ dfa: add an assertion to avoid coverity false positive
+ * lib/dfa.c (realloc_trans_if_necessary): Otherwise, coverity
+ warned that "newalloc1 - 2" could overflow.
+
2016-12-13 Arnold D. Robbins <arnold@skeeve.com>
dfa: remove DFA_CASE_FOLD flag in favor of RE_ICASE
realtrans = x2nrealloc (realtrans, &newalloc1, sizeof *realtrans);
realtrans[0] = realtrans[1] = NULL;
d->trans = realtrans + 2;
+ assert (2 <= newalloc1);
d->tralloc = newalloc = newalloc1 - 2;
d->fails = xnrealloc (d->fails, newalloc, sizeof *d->fails);
d->success = xnrealloc (d->success, newalloc, sizeof *d->success);