diff options
author | Ricardo M. Correia <rcorreia@wizy.org> | 2012-05-14 21:17:24 +0200 |
---|---|---|
committer | Ricardo M. Correia <rcorreia@wizy.org> | 2012-05-14 21:26:02 +0200 |
commit | 5849bd472a3a7296f91b887884946218897ca11f (patch) | |
tree | 981fd61f70c870ca74bbe73037620d38f388b018 | |
parent | 62e0453ce0ee0f03fca4626882263ec41dc1d64d (diff) |
Fix signed subtraction overflow in CBigNum::setint64().
As noticed by sipa (Pieter Wuille), this can happen when CBigNum::setint64() is
called with an integer value of INT64_MIN (-2^63).
When compiled with -ftrapv, the program would crash. Otherwise, it would
execute an undefined operation (although in practice, usually the correct one).
-rw-r--r-- | src/bignum.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/bignum.h b/src/bignum.h index 3716c49656..5190c2f390 100644 --- a/src/bignum.h +++ b/src/bignum.h @@ -131,7 +131,15 @@ public: if (sn < (int64)0) { - n = -sn; + // We negate in 2 steps to avoid signed subtraction overflow, + // i.e. -(-2^63), which is an undefined operation and causes SIGILL + // when compiled with -ftrapv. + // + // Note that uint64_t n = sn, when sn is an int64_t, is a + // well-defined operation and n will be equal to sn + 2^64 when sn + // is negative. + n = sn; + n = -n; fNegative = true; } else { n = sn; |