Commit a516e451b61aa40e2d8d9f643d537495a47d8e2e
2024-05-20T09:52:52
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.