Message ID | 20130919151234.GI15960@redhat.com |
---|---|
State | New |
Headers | show |
Ping. On Thu, Sep 19, 2013 at 05:12:34PM +0200, Marek Polacek wrote: > 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
On Thu, 19 Sep 2013, Marek Polacek wrote: > Maybe it'd be worth noting in changes.html that GCC now has the > ubsan... Not just maybe! :-) > --- 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 > + <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. "for the C and C++ languages" Is ubsan a common abbreviation? If so, you may want to mention it, for example in parenthesis after the first word. Otherwise, okay as is (with the extra "the" above). Thanks, Gerald PS: Actually, wouldn't this be worth a news item on the GCC main page, too?
On Tue, Oct 01, 2013 at 05:07:28PM +0200, Gerald Pfeifer wrote: > > --- 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 > > + <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. > > "for the C and C++ languages" > > Is ubsan a common abbreviation? If so, you may want to mention it, > for example in parenthesis after the first word. Otherwise, okay > as is (with the extra "the" above). Thanks, commited. > PS: Actually, wouldn't this be worth a news item on the GCC main > page, too? Perhaps. I'll post a patch for that in near future. Marek
--- 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>