Safe transposition of logical and operands

[Paul Floyd]

On 18-09-23 16:55, Richard Biener wrote:

> What you could do is report the access only on the point of use of
> the accessed value?  (and disregard when the register holding the
> value is re-used)

Hi Richard

Not sure that I follow what you're saying.

memcheck triggers errors like this at conditional branching opcodes 
where it determines that the condition is undefined.

There are mechanisms to de-duplicate errors, so once an error is emitted 
it won't be printed again.

However, one of our goals is no false positives. This is one example 
that is slipping through the cracks.

Regards
Paul