* tests/test-verify.c (main): Initialize state variable.
Reported by Bruno Haible for GCC 5.4.0.
+2020-11-02 Bernhard Voelker <mail@bernhard-voelker.de>
+
+ verify tests: Fix -Wuninitialized warning (regression 2020-10-30).
+ * tests/test-verify.c (main): Initialize state variable.
+ Reported by Bruno Haible for GCC 5.4.0.
+
2020-11-02 Paul Eggert <eggert@cs.ucla.edu>
dfa.h: support inclusion from C++
int
main (void)
{
- state s;
+ state s = { 0 };
test_assume_expressions (&s);
test_assume_optimization (5);
return !(function (0) == 0 && function (1) == 8);