DynamoRIO / DynamoRIO/drmemory
Mark CMP result as defined if the CMP result is certain based on argument sub-words
Open
Migrated
Priority-Medium
- Dominant language
- C
- Stars
- 2.7k
- Forks
- 290
- PR merge metrics
- No merged PRs in 30d
Description
_From [timurrrr@google.com](https://code.google.com/u/timurrrr@google.com/) on February 15, 2011 11:55:37_
E.g.
0xXXXX0000 != 0xYYYY1234 no matter what XXXX and YYYY are.
Upstream Valgrind bug for the same issue: https://bugs.kde.org/show_bug.cgi?id=266389
_Original issue: http://code.google.com/p/drmemory/issues/detail?id=296_
Contributor guide
Assessment
This issue has not been assessed yet.