src/sat/bsat · 0b361354b3daa5b54a70db47d183a779076dd01f · lvzhengyang / abc · GitLab

History Find file

Fix undefined behavior in signed/unsigned shifting. · 74740dc8

Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>

committed Nov 21, 2022

Name	Last commit	Last update
..
license		Loading commit data...
module.make		Loading commit data...
satChecker.c		Loading commit data...
satClause.h		Loading commit data...
satInter.c		Loading commit data...
satInterA.c		Loading commit data...
satInterB.c		Loading commit data...
satInterP.c		Loading commit data...
satMem.c		Loading commit data...
satMem.h		Loading commit data...
satProof.c		Loading commit data...
satProof2.h		Loading commit data...
satSolver.c		Loading commit data...
satSolver.h		Loading commit data...
satSolver2.c		Loading commit data...
satSolver2.h		Loading commit data...
satSolver2i.c		Loading commit data...
satSolver3.c		Loading commit data...
satSolver3.h		Loading commit data...
satStore.c		Loading commit data...
satStore.h		Loading commit data...
satTrace.c		Loading commit data...
satTruth.c		Loading commit data...
satTruth.h		Loading commit data...
satUtil.c		Loading commit data...
satVec.h		Loading commit data...