Maybe it'd be worth noting in changes.html that GCC now has the ubsan... Ok to apply?
--- www/htdocs/gcc-4.9/changes.html.mp 2013-09-19 16:54:32.113724993 +0200 +++ www/htdocs/gcc-4.9/changes.html 2013-09-19 17:07:05.418030738 +0200 @@ -38,6 +38,14 @@ <li>AddressSanitizer, a fast memory error detector, is now available on ARM. </li> </ul> + <ul> + <li>UndefinedBehaviorSanitizer, a fast undefined behavior detector, + has been added and can be enabled via <code>-fsanitize=undefined</code>. + Various computations will be instrumented to detect undefined behavior + at runtime. UndefinedBehaviorSanitizer is currently available for C + and C++ languages. + </li> + </ul> <h2>New Languages and Language specific improvements</h2> Marek