diff options
author | Dave Airlie <[email protected]> | 2019-05-17 11:26:57 +1000 |
---|---|---|
committer | Dave Airlie <[email protected]> | 2019-05-17 12:33:09 +1000 |
commit | ebdddb36a0418caf0b80810c3641ee237905a5e0 (patch) | |
tree | 10d872e8ea233006d4e47b1699017643e4228637 /src/util/u_vector.h | |
parent | 2bfe5b85561f9317ad2ce28baa06e06155ea3fe7 (diff) |
imgui: fix undefined behaviour bitshift.
imgui_draw.cpp:1781: error[shiftTooManyBitsSigned]: Shifting signed 32-bit value by 31 bits is undefined behaviour
Reported by coverity
Acked-by: Ilia Mirkin <[email protected]>
Diffstat (limited to 'src/util/u_vector.h')
0 files changed, 0 insertions, 0 deletions