| commit | 8e10cc974934f39b4e4982bdd6a1edd0442fb041 | |
| author | Julian Seward <jseward@acm.org> | |
| Fri, 17 Aug 2018 06:37:06 +0000 (17 08:37 +0200) | ||
| committer | Julian Seward <jseward@acm.org> | |
| Fri, 17 Aug 2018 06:37:06 +0000 (17 08:37 +0200) | ||
| tree | cb327921300ffdb207be8b20a0326de96c745845 | treesnapshot (tar.gz zip) |
| parent | 488a5b8bb62765356a01302f0d98fc1bc9d89033 | commitdiff |
x86 front end: add spec rules for S/NS after SUBL(x, 0)
This reduces Memcheck's false-positive level on clang -O2 generated code.
This reduces Memcheck's false-positive level on clang -O2 generated code.
| VEX/priv/guest_x86_helpers.c | diffblobblamehistory |