satSolver.c
76.6 KB
-
Fix undefined behavior in signed/unsigned shifting. · 74740dc8Discovered by UBSAN as invalid attempts at shifting signed integers. Signed-off-by: Henner Zeller <hzeller@google.com>
Henner Zeller committed
Discovered by UBSAN as invalid attempts at shifting signed integers. Signed-off-by: Henner Zeller <hzeller@google.com>