Regehr's current project is, essentially, fuzzing C compilers. His blog is very much worth following, if only to disabuse yourself of the notion that GCC is infallible. (Not that the others are better, mind.)
And that the C language spec is either broken or to unspecific.
Like any other spec. :-)
If the SafeInt authors (Microsoft Corporation) can't avoid integer overflow bugs, then who can?
btw, the SafeInt3.hpp header file is almost 7000 LOC (including comments)!