]> Savannah Git Hosting - gnulib.git/commit
dfa: attempt to pacify Coverity
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 May 2024 16:52:52 +0000 (09:52 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 May 2024 16:54:46 +0000 (09:54 -0700)
commita516e451b61aa40e2d8d9f643d537495a47d8e2e
tree88f144557a87741344d1d1f117a6e9639a72c6ed
parent6dbbada2b05bdc5efd0a5592a7805c92fe0531c6
dfa: attempt to pacify Coverity

* lib/dfa.c (lex): Use ‘assume’ rather than ‘abort’,
to try to pacify Coverity.
(maybe_disable_superset_dfa): Use ‘assume’ here too, for consistency.
Using ‘assume’ should make the code a tiny bit faster, though
at the cost of having undefined behavior instead of nicely aborting.
ChangeLog
lib/dfa.c