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
