Confusing code: `cubes.status` set twice (?)
sfiruch opened this issue · comments
Simon Felix commented
PVS Studio (https://pvs-studio.com/en/order/for-students/#IDD159822EC6) found this potential problem.
cubes.status
is set twice, in immediate succession. res
should be 20, so probably no problem - but it's odd nonetheless.
Line 429 in e7369b4
Simon Felix commented
The same thing happens on lines 510/511 too, but in opposite order:
Lines 510 to 511 in e7369b4
Armin Biere commented
Looks redundant, but not harmful. Also 'lookahhead' is not used much.
Armin Biere commented
Fixed on development and thus in the upcoming release 1.9.2