http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- 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.