test_assume_expressions 77 maint/gnulib/tests/test-verify.c void test_assume_expressions (state *s); test_assume_expressions 116 maint/gnulib/tests/test-verify.c test_assume_expressions (&s);