On 2016-01-12 10:38:18 +0000, Edmund Grimley Evans wrote: > For example, the ANSI spec says: "If the function is defined with a > type that does not include a prototype, and the types of the arguments > after promotion are not compatible with those of the parameters after > promotion, the behavior is undefined." Seeing as the old compiler was > unable to check that condition (it involves comparing types between > translation units), what are the chances of the programmer having got > it right in all cases?
This is the problem of the programmer. There are good chances that this will not work (except in particular cases, such as between char, signed char and unsigned char), though the programmer and/or the user may not see the problem immediately. But this is also a good reason to require prototypes: this will help programmers to detect bugs. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
