https://bugs.kde.org/show_bug.cgi?id=377698
--- Comment #8 from Diane M ---
Created attachment 104704
--> https://bugs.kde.org/attachment.cgi?id=104704&action=edit
updated patch
I hope this patch works better.
--
You are receiving this mail because:
You are watching all bug changes.
https://bugs.kde.org/show_bug.cgi?id=377698
--- Comment #6 from Diane M ---
Julian, I encountered the problem while implementing and testing futex() for
sparc linux.
+ if (VG_(tdict).track_pre_reg_read) {
+ PRA6("futex",int,val3);
+ }
I believe the if is necessary,
https://bugs.kde.org/show_bug.cgi?id=377698
Diane M changed:
What|Removed |Added
CC||diane.meirow...@oracle.com
--- Comment #3 from Diane
https://bugs.kde.org/show_bug.cgi?id=377698
Diane M changed:
What|Removed |Added
Component|general |memcheck
--
You are receiving this mail because
https://bugs.kde.org/show_bug.cgi?id=377698
--- Comment #2 from Diane M ---
Here is the final updated patch.
Problems:
1. Memcheck does not do a memory check on the uaddr argument for futex for
FUTEX_WAKE and FUTEX_WAKE_BITSET cases.
2. FUTEX_WAKE_BITSET should not do scalar read check on all
https://bugs.kde.org/show_bug.cgi?id=377698
Diane M changed:
What|Removed |Added
Summary|Missing memory check for|Missing memory check for
|futex
https://bugs.kde.org/show_bug.cgi?id=377698
--- Comment #1 from Diane M ---
In addition to the previously-described problems:
- FUTEX_WAKE_BITSET should not do scalar read check on all 6 arguments;
it should check uaddr, op, val, and val3 only.
- FUTEX_TRYLOCK_PI should check only uaddr and
https://bugs.kde.org/show_bug.cgi?id=377698
Bug ID: 377698
Summary: Missing memory check for futex() uaddr arg for
FUTEX_WAKE and FUTEX_WAKE_BITSET
Product: valgrind
Version: unspecified
Platform: Other
OS:
