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 <[email protected]> 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)
