http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46076
--- Comment #13 from Jan Hubicka <hubicka at ucw dot cz> 2010-11-18 12:07:51 UTC --- > That said - the middle-end doesn't really have a notion of "unprototyped". > That's a concept the frontend should lower (at call-sites, but that > requires some middle-end infrastructure change). What I was thinking of here is some gimple optimization working out that we can update type of the originally indirect call... That way the types don't need to be neccesarily compatible. Obviously K&R C will also do variadic functions without prototypes... Honza
