HomePhabricator

[NFC] Detect IV increment expressed as uadd_with_overflow and usub_with_overflow

Authored by mkazantsev on Feb 28 2021, 10:22 PM.

Description

[NFC] Detect IV increment expressed as uadd_with_overflow and usub_with_overflow

Current callers do not call it with such argument, so this is NFC.
But for further changes, it can be very useful to detect such cases.

Details

Committed
mkazantsevFeb 28 2021, 10:24 PM
Parents
rG8d835f42a57f: [NFC] Introduce function getIVStep for further reuse
Branches
Unknown
Tags
Unknown