From 9d561f0d2e8be501d0725bd566520f6b44c6bc22 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 9 Jan 2017 20:28:11 -0800 Subject: [PATCH] dfa: omit unnecessary ptrdiff_t check * lib/dfa.c (alloc_position_set): Do not worry about ptrdiff_t overflow, since xnmalloc does that now. --- ChangeLog | 4 ++++ lib/dfa.c | 2 -- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index beeefb7f3d..91cdc6d31e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2017-01-09 Paul Eggert + 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. diff --git a/lib/dfa.c b/lib/dfa.c index b27bef484c..509d6d1cbd 100644 --- a/lib/dfa.c +++ b/lib/dfa.c @@ -2007,8 +2007,6 @@ static void 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; } -- 2.39.5