From: Bruno Haible Date: Mon, 2 Nov 2020 00:31:09 +0000 (+0100) Subject: verify tests: Fix compilation error with MSVC (regression 2020-10-30). X-Git-Tag: v1.0~3540 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=c44d72e628c43ccacd21f32613e86e211177e2ba;p=gnulib.git verify tests: Fix compilation error with MSVC (regression 2020-10-30). * tests/test-verify.c (test_assume_noreturn): Fix declaration. --- diff --git a/ChangeLog b/ChangeLog index 4c69371817..db0eb173ae 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2020-11-01 Bruno Haible + + 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 dfa-tests: test for today's invalid-merge fix diff --git a/tests/test-verify.c b/tests/test-verify.c index 1ed78c930b..0429a19083 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)