* lib/dfa.c (alloc_position_set): Do not worry about ptrdiff_t
overflow, since xnmalloc does that now.
2017-01-09 Paul Eggert <eggert@cs.ucla.edu>
+ dfa: omit unnecessary ptrdiff_t check
+ * lib/dfa.c (alloc_position_set): Do not worry about ptrdiff_t
+ overflow, since xnmalloc does that now.
+
dfa: omit unnecessary allocation
* lib/dfa.c (dfaanalyze): Do not allocate follow set, since
an all-zero follow set works just fine.
alloc_position_set (position_set *s, size_t size)
{
s->elems = xnmalloc (size, sizeof *s->elems);
- if (PTRDIFF_MAX < SIZE_MAX / sizeof *s->elems && PTRDIFF_MAX < size)
- xalloc_die ();
s->alloc = size;
s->nelem = 0;
}