Hm, actually I just found a discussion on GCC about the same thing: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20000 It seems like they concluded that this warning would be unnecessary as long as the 'return' statement is caught, which makes sense. I'm guessing we could/should probably come to the same conclusion?