http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708
--- Comment #6 from Josh Triplett <josh at joshtriplett dot org> --- (In reply to jos...@codesourcery.com from comment #5) > See what I said in <http://gcc.gnu.org/ml/gcc/2013-10/msg00280.html> about > the issues with something type-generic regarding detecting overflow on > types smaller than int. Yeah, I'd agree with the conclusion in that mail: a type-generic version primarily needs to care about the result type, since that's where overflow would occur.