On Mon, 8 Jun 2015, Jan Hubicka wrote: > Thank you. It is interesting that the DR exists. We do have comments about > possibly completing the types by equiality established by the symbol table > but I tought it is strictly invalid. Not sure how much that buy us though. > As for specific examples. Shall we warn for > > a.c: > int a; > > b.c: > unsigned int a; > > (this seems perfectly valid by C/Fortran rules)
That's clearly invalid (declarations of the same object with incompatible types). int and unsigned int can alias, but declarations still need to be consistent. -- Joseph S. Myers jos...@codesourcery.com
