http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59939
--- Comment #7 from Zhendong Su <su at cs dot ucdavis.edu> --- Andrew, this actually feels to me more like a static type checking issue, i.e., whether the code is dead or not isn't all that relevant here. The important thing is that the function fn1 takes two unsigned int's, but given two int's instead (which should be warned no matter whether we have 1 or 0). Or perhaps not?
