diff options
author | Alan Modra <amodra@gmail.com> | 2022-01-01 13:52:53 +1030 |
---|---|---|
committer | Alan Modra <amodra@gmail.com> | 2022-01-01 14:22:11 +1030 |
commit | 487b0ff02ddafeb27641c7674d4c8b3c9f62c6c3 (patch) | |
tree | 928951564fb255e8745bdffb86f2b16e0e809938 /gas | |
parent | ad3d14c47e872fcd13d83c9a255266c7027c8e16 (diff) | |
download | binutils-487b0ff02ddafeb27641c7674d4c8b3c9f62c6c3.zip binutils-487b0ff02ddafeb27641c7674d4c8b3c9f62c6c3.tar.gz binutils-487b0ff02ddafeb27641c7674d4c8b3c9f62c6c3.tar.bz2 |
ubsan: signed integer multiply overflow
9223371018427387904 * 2 cannot be represented in type 'long', yes, but
we don't care.
* expr.c (expr): Avoid signed overflow.
Diffstat (limited to 'gas')
-rw-r--r-- | gas/expr.c | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -1959,7 +1959,12 @@ expr (int rankarg, /* Larger # is higher rank. */ switch (op_left) { default: goto general; - case O_multiply: resultP->X_add_number *= v; break; + case O_multiply: + /* Do the multiply as unsigned to silence ubsan. The + result is of course the same when we throw away high + bits of the result. */ + resultP->X_add_number *= (valueT) v; + break; case O_divide: resultP->X_add_number /= v; break; case O_modulus: resultP->X_add_number %= v; break; case O_left_shift: |