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?

Gerald