* tests/test-verify.c (test_assume_expressions): Add declaration.
(test_assume_optimization): Likewise.
(test_assume_noreturn): Likewise.
(main): Move down after all other definitions. While at it, also
call test_assume_expressions and test_assume_optimization as a
runtime check.
+2020-10-30 Bernhard Voelker <mail@bernhard-voelker.de>
+
+ verify tests: avoid -Wmissing-declarations warnings
+ * tests/test-verify.c (test_assume_expressions): Add declaration.
+ (test_assume_optimization): Likewise.
+ (test_assume_noreturn): Likewise.
+ (main): Move down after all other definitions. While at it, also
+ call test_assume_expressions and test_assume_optimization as a
+ runtime check.
+
2020-10-26 Paul Eggert <eggert@cs.ucla.edu>
sys_stat: update comments for S_IRWXUGO, S_IXUGO
return 0;
}
-int
-main (void)
-{
- return !(function (0) == 0 && function (1) == 8);
-}
-
/* ============================== Test assume ============================== */
static int
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);
+
void
test_assume_expressions (state *s)
{
This function should not elicit a warning. */
assume (0);
}
+
+/* ============================== Main ===================================== */
+int
+main (void)
+{
+ state s;
+ test_assume_expressions (&s);
+ test_assume_optimization (5);
+ return !(function (0) == 0 && function (1) == 8);
+}