Print this page
new smatch

*** 1,9 **** int def(void); void use(int); ! static int foo(int a, int b) { int c; if (a) c = 1; --- 1,9 ---- int def(void); void use(int); ! static void foo(int a, int b) { int c; if (a) c = 1;