gcc/testsuite/gcc.dg/analyzer/pr99906.c

void bar(void *) __attribute__((__nonnull__));
void *baz(void);
void foo(void) { bar(baz()); }