On 10/07/2018 06:15 AM, Gerald Pfeifer wrote:
On Wed, 18 Apr 2018, Martin Liška wrote:
I would like to mention the attribute in GCC 8 changes.
Index: htdocs/gcc-8/changes.html
===================================================================
<li>
New <code>no_sanitize</code> attribute has been added. The attribute
on functions is used to inform the compiler that it should
not do sanitization of all options mentioned in sanitize option.
A list of values acceptable by <code>-fsanitize</code> option can be
provided.
<blockquote><pre>
void __attribute__ ((no_sanitize ("alignment", "object-size")))
f () { /* Do something. */; }
</pre></blockquote>
</li>
I've been struggling with this from a language perspective and
while not fully happy, believe/hope the below may improve things
a bit.
Sandra, any recommendations from your end?
Martin, is my update technically acurate?
Index: gcc-8/changes.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-8/changes.html,v
retrieving revision 1.97
diff -u -r1.97 changes.html
--- gcc-8/changes.html 30 Sep 2018 14:38:54 -0000 1.97
+++ gcc-8/changes.html 7 Oct 2018 12:13:03 -0000
@@ -251,11 +251,10 @@
tests for pointer wrapping.
</li>
<li>
- New <code>no_sanitize</code> attribute has been added. The attribute
- on functions is used to inform the compiler that it should
- not do sanitization of all options mentioned in sanitize option.
- A list of values acceptable by <code>-fsanitize</code> option can be
- provided.
+ A new attribute <code>no_sanitize</code> can be applied to functions
+ to instruct the compiler not to do sanitization of any of the options
+ specified. Acceptable values for <code>no_sanitize</code> match those
+ acceptable by the <code>-fsanitize</code> command-line option.
<blockquote><pre class="blackbg">
void __attribute__ ((no_sanitize ("alignment", "object-size")))
f () { /* Do something. */; }</pre></blockquote>
This is definitely an improvement. One more tweak I'd make is
s/any of the options specified/the options provided as arguments to the
attribute/
-Sandra
