* tests/test-verify.c (test_assume_noreturn): Fix declaration.
+2020-11-01 Bruno Haible <bruno@clisp.org>
+
+ verify tests: Fix compilation error with MSVC (regression 2020-10-30).
+ * tests/test-verify.c (test_assume_noreturn): Fix declaration.
+
2020-11-01 Jim Meyering <meyering@fb.com>
dfa-tests: test for today's invalid-merge fix
void test_assume_expressions (state *s);
int test_assume_optimization (int x);
-void test_assume_noreturn (void);
+_Noreturn void test_assume_noreturn (void);
void
test_assume_expressions (state *s)