From 1be9b11a58be118c1ee240ce7300efaff8478bef Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 3 Nov 2020 17:15:21 +0100 Subject: [PATCH] verify tests: Fix crash with GCC (regression 2020-11-02). * tests/test-verify.c (main): Fix initializer of s. --- ChangeLog | 5 +++++ tests/test-verify.c | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 6a9c762c1c..bd7cb08a31 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2020-11-03 Bruno Haible + + verify tests: Fix crash with GCC (regression 2020-11-02). + * tests/test-verify.c (main): Fix initializer of s. + 2020-11-03 Pádraig Brady mountlist: recognize more file system types as remote diff --git a/tests/test-verify.c b/tests/test-verify.c index a141417c85..fe7599c832 100644 --- a/tests/test-verify.c +++ b/tests/test-verify.c @@ -112,7 +112,7 @@ test_assume_noreturn (void) int main (void) { - state s = { 0 }; + state s = { 0, 1 }; test_assume_expressions (&s); test_assume_optimization (5); return !(function (0) == 0 && function (1) == 8); -- 2.39.5