On 06/13/2017 03:49 PM, Richard Biener wrote:
> 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.
Done and patch installed as r249158.
Thanks for help with that.
Martin
>
> Thanks,
> Richard.
>
>> Martin
