Partly this is to help the reader (and maybe help GCC);
partly this is to pacify Coverity.
* lib/regex_internal.h: Include verify.h.
* lib/regexec.c (group_nodes_into_DFAstates):
Tell the compiler that ndests cannot exceed SBC_MAX.
* modules/regex (Depends-on): Add ‘verify’.
2019-10-09 Paul Eggert <eggert@cs.ucla.edu>
+ regex: tell compiler there’s at most 256 arcs out
+ Partly this is to help the reader (and maybe help GCC);
+ partly this is to pacify Coverity.
+ * lib/regex_internal.h: Include verify.h.
+ * lib/regexec.c (group_nodes_into_DFAstates):
+ Tell the compiler that ndests cannot exceed SBC_MAX.
+ * modules/regex (Depends-on): Add ‘verify’.
+
regex: simplify by assuming C99
* config/srclist.txt: Comment out regex_internal.h and regexec.c
temporarily.
#include <stdint.h>
#include <intprops.h>
+#include <verify.h>
#ifdef _LIBC
# include <libc-lock.h>
bitset_empty (accepts);
}
}
+ assume (ndests <= SBC_MAX);
return ndests;
error_return:
for (j = 0; j < ndests; ++j)
nl_langinfo [test $ac_use_included_regex = yes]
stdbool [test $ac_use_included_regex = yes]
stdint [test $ac_use_included_regex = yes]
+verify [test $ac_use_included_regex = yes]
wchar [test $ac_use_included_regex = yes]
wcrtomb [test $ac_use_included_regex = yes]
wctype-h [test $ac_use_included_regex = yes]