]> Savannah Git Hosting - gnulib.git/commit
dfa: add an assertion to avoid coverity false positive
authorJim Meyering <meyering@fb.com>
Tue, 13 Dec 2016 05:12:14 +0000 (21:12 -0800)
committerJim Meyering <meyering@fb.com>
Wed, 14 Dec 2016 06:38:36 +0000 (22:38 -0800)
commit744c745300fa7b1c73dd9f6b323d3bf4823857e6
tree7b6cf211f8abdd6b7a4b743ab3f6420c6addf759
parent19a179507fb5a54a996f5e96ac7c5c41d1bcaad8
dfa: add an assertion to avoid coverity false positive

* lib/dfa.c (realloc_trans_if_necessary): Otherwise, coverity
warned that "newalloc1 - 2" could overflow.
ChangeLog
lib/dfa.c