public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
* [wwwdocs] Mention ubsan in 4.9 changes.html
@ 2013-09-19 15:41 Marek Polacek
  2013-10-01  9:09 ` Marek Polacek
  2013-10-01 15:07 ` Gerald Pfeifer
  0 siblings, 2 replies; 4+ messages in thread
From: Marek Polacek @ 2013-09-19 15:41 UTC (permalink / raw)
  To: GCC Patches; +Cc: Gerald Pfeifer

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

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wwwdocs] Mention ubsan in 4.9 changes.html
  2013-09-19 15:41 [wwwdocs] Mention ubsan in 4.9 changes.html Marek Polacek
@ 2013-10-01  9:09 ` Marek Polacek
  2013-10-01 15:07 ` Gerald Pfeifer
  1 sibling, 0 replies; 4+ messages in thread
From: Marek Polacek @ 2013-10-01  9:09 UTC (permalink / raw)
  To: GCC Patches; +Cc: Gerald Pfeifer

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

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wwwdocs] Mention ubsan in 4.9 changes.html
  2013-09-19 15:41 [wwwdocs] Mention ubsan in 4.9 changes.html Marek Polacek
  2013-10-01  9:09 ` Marek Polacek
@ 2013-10-01 15:07 ` Gerald Pfeifer
  2013-10-01 16:46   ` Marek Polacek
  1 sibling, 1 reply; 4+ messages in thread
From: Gerald Pfeifer @ 2013-10-01 15:07 UTC (permalink / raw)
  To: Marek Polacek; +Cc: gcc-patches

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?

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wwwdocs] Mention ubsan in 4.9 changes.html
  2013-10-01 15:07 ` Gerald Pfeifer
@ 2013-10-01 16:46   ` Marek Polacek
  0 siblings, 0 replies; 4+ messages in thread
From: Marek Polacek @ 2013-10-01 16:46 UTC (permalink / raw)
  To: Gerald Pfeifer; +Cc: gcc-patches

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

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2013-10-01 16:46 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-09-19 15:41 [wwwdocs] Mention ubsan in 4.9 changes.html Marek Polacek
2013-10-01  9:09 ` Marek Polacek
2013-10-01 15:07 ` Gerald Pfeifer
2013-10-01 16:46   ` Marek Polacek

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).