https://bugs.kde.org/show_bug.cgi?id=435665

--- Comment #5 from Julian Seward <jsew...@acm.org> ---
I'm somewhat concerned, at a fundamental level .. if I understand
correctly, these instructions allow one to copy memory from one
place to another (so why bother?  Why not just do normal loads/stores?)
but -- at least as implemented -- there's no way to tell Memcheck
or any other tool, that the values in the destination area are
derived from values in the source area.  So you'll wind up with
definedness false positives or negatives as a result of using them.

Can you explain the background to the insns, what they are used for,
etc, so we can see if there's an implementation that fits better
in the instrumentation framework?

-- 
You are receiving this mail because:
You are watching all bug changes.

Reply via email to