Re: test-verify.c: avoid -Wmissing-declarations warnings

[Bruno Haible]

The patch introduced a compilation error on MSVC, because the declaration and
the definition of 'test_assume_noreturn' are not consistent.  This patch should
fix it.


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.

diff --git a/tests/test-verify.c b/tests/test-verify.c
index 1ed78c9..0429a19 100644
--- a/tests/test-verify.c
+++ b/tests/test-verify.c
@@ -76,7 +76,7 @@ typedef struct { unsigned int context : 4; unsigned int halt 
: 1; } state;
 
 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)