http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53968
--- Comment #1 from John Regehr <regehr at cs dot utah.edu> 2012-07-14 22:53:06 UTC --- Also there are about 50 defects relating to C99's restrictive rules for left-shifts of signed integers. I have omitted them since people typically don't care to fix these. If anyone wants to see them, let me know.