tree 7bfcbc43c5425acb3014dbcbbdcb9e6956ff5876
parent 3da91af05b8071e14fd6e59627c8fd4ed40cdde2
author Martijn Coenen <maco@google.com> 1579686063 +0100
committer Martijn Coenen <maco@google.com> 1580461486 +0000

Fix addition/overflow checks.

For unsigned arithmetic, use:

(a + b < a) to detect whether a+b wraps
(a > c / b) to detect whether a*b > c

Bug: 120078455
Test: builds and boots
Change-Id: I738b90855b6b9a8effbf55a468c751b6d0b8edd9
(cherry picked from commit d79ac373483c36f893981c7319d37a5ebbd63b98)