function_hooks/unwind: introduce return_implies_exact()

[smatch.git] / validation / function-pointer-inheritance.c

extern int foo(int f(int, void *));

int foo(int (*f)(int, void *))
{
    return 0;
}
/*
 * check-name: Function pointer inheritance
 */