------- Comment #19 from chris at bubblescope dot net 2007-05-09 17:05 ------- while I agree we shouldn't produce an error here, personally I'm highly unconvinced by your argument. If I had some code which if called would always lead to undefined behaviour, but never called it, I would still want to be told. By the same argument, why bother type-checking functions if we can prove they are never called?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=986
