11972 resync smatch
@@ -1,9 +1,9 @@ int def(void); void use(int); -static int foo(int a, int b) +static void foo(int a, int b) { int c; if (a) c = 1;