Richard Guenther <rguenther@suse.de> writes: > The case we have to handle is for example > > int foo(); > > int bar(struct X x) { return foo(x); } > > int foo(int y); Cool. I think we should issue a warning when we see this. Other than that your patch looks fine to me. Ian