> I don't think -frisky is a good name for that option. A better name > would be -fstrict.
Or -pedantic? ;-) > 4) We permit an exception to occur if there is a signed overflow. If > we can prove that some expression causes signed overflow, we are > permitted to assume that that case will never arise. > > Case 4 actually never arises at present, and I can't imagine any > reason that it would be desirable. Agreed. Going down this direction leads to Robert's "erase the disk" example.