------- Additional Comments From jsm28 at gcc dot gnu dot org 2004-10-15 21:25 -------
Now we don't get any diagnostic for the testcase at all. From the
regression hunter I think my patch for bug 13801 is probably to blame for
that. In formal terms a diagnostic isn't required here, but I'm inclined
to think the check of old-style definition against prototype should be
applied using the type in the external scope rather than just the visible
type - although information from an invisible prototype shouldn't be merged
into the subsequent function type. (Incompatibility of any prototype,
anywhere in the program, with the definition, is compile-time undefined;
standard built-in functions are reserved with external linkage and defining
them is beyond the scope of the standard so errors make sense there too.)
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |jsm28 at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15698
