Consider this case:

struct A { };

typedef struct { struct A a; } P;

Where P is included, but A is not. No error is emitted.

The dependency checker is missing code to recurse into function pointers, and also into nested declarations.