Andreas Kling 31b94114c0 UserspaceEmulator: Recognize xor/sub zeroing idioms and don't taint ...

"xor reg,reg" or "sub reg,reg" both zero out the register, which means
we know for sure the result is 0. So mark the value as initialized,
and make sure we don't taint the CPU flags.

This removes some false positives from the uninitialized memory use
detection mechanism.

Fixes #2850.

2020-07-27 13:20:23 +02:00

90 KiB

Raw Blame History

View Raw