Paul Schlie wrote:
I too believe I understand your position, however don't believe it's the compiler's job to make life for the programmer harder than it need be when a program may contain an undefined behavior; but agree it would likely always be helpful to for it to point them out when identifiable.
I really don't care too much about making life harder for the programmer who originally writes code if it makes it easier for people maintaining and porting the code down the line. I think it is a good idea if people writing C know C (substitute any other language you like for C here :-)