On Tue, Jun 13, 2017 at 1:09 PM, Martin Liška <mli...@suse.cz> wrote: > On 06/09/2017 03:35 PM, Richard Biener wrote: >> You can directly transform to no_sanitize with integer mask, not sure why >> you'd need an intermediate step with a string? > > Hello. > > Done in attached patch, I'm sending both incremental and final version > (complete patch). > I also decided to support no_sanitize attribute in pretty printer: > > __attribute__((no_sanitize (address | shift | shift-base | shift-exponent | > integer-divide-by-zero | undefined | unreachable | vla-bound | return | null > | signed-integer-overflow | bool | enum | float-divide-by-zero | > float-cast-overflow | bounds | bounds-strict | alignment | nonnull-attribute > | returns-nonnull-attribute | object-size | vptr))) > fn1 () > { > char my_char[9]; > char * ptr2; > char * ptr; > .. > > > Patch can bootstrap on ppc64le-redhat-linux and survives regression tests. > > Ready to be installed?
+unsigned int +parse_no_sanitize_attribute (char *value, char **wrong_argument) +{ functions need a comment. Otherwise looks ok to me. Thanks, Richard. > Martin