diff options
author | Jacob Garber <jgarber1@ualberta.ca> | 2019-05-17 14:55:04 -0600 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-05-21 09:27:03 +0000 |
commit | 40a85f85c68902f8e16f3088bd94ab5ab83e7749 (patch) | |
tree | 144fa5d38f6e02b32268b36c34736416f568c806 /util/uio_usbdebug/drivers | |
parent | 1dda496a7419664279ec5cb4490b3a4598187a36 (diff) |
util/romcc: Use 64 bit integers when shifting
'used_indices' is 64 bits wide, so use a fixed-width type to make
that clear. As such, 'index' can have a value of up to 63, so use a
64 bit integer when doing the shifts to prevent overflow.
Found-by: Coverity Scan CID 1287090
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Change-Id: Ibd089df6be60c8ea46da11e5e83cd58b2e2c54d6
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32854
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/uio_usbdebug/drivers')
0 files changed, 0 insertions, 0 deletions