On 11/3/22 13:32, Gerald Pfeifer wrote:
> Hi Martin,
>
> On Wed, 26 Oct 2022, Martin Liška wrote:
>> +Note the enabled sanitizer options tend to increase a false-positive rate
>> +of selected warnings, most notably @option{-Wmaybe-uninitialized}.
>> +And thus we recommend to disable @option{-Werror}.
>
> I've been sitting muling over this and here is what I'm wondering might
> be a possible alternative?
>
> Note that sanitzers tend to increase the rate of false positive
> warnings, most notably those around @option{-Wmaybe-uninitialized}.
> We recommend against combining @option{-Werror} and [the use of]
> sanitzers.
>
>
> Rationale for the second sentence: Disabling a warning that is off by
> default confused my mental model (and maybe those of other readers). :-)
>
> What do you think?
I welcome it and I've pushed pushed your version.
Thanks,
Martin
>
> Gerald