Be careful with zeros when propagating the results of *.
commite6f8855123fa0bfcd32a46deb78d9a3e5bc6a02e
authorStas Boukarev <stassats@gmail.com>
Sun, 5 May 2024 15:27:43 +0000 (5 18:27 +0300)
committerStas Boukarev <stassats@gmail.com>
Sun, 5 May 2024 15:34:26 +0000 (5 18:34 +0300)
treeb1dd2e69f57533fd51de9846334da78402db247e
parent369b9eab281a6fe65e1a646ddaaa92a790a57b88
Be careful with zeros when propagating the results of *.

Both arguments shouldn't become zero.

Fixes lp#2064836
src/compiler/constraint-back.lisp
tests/assertoid.lisp
tests/constraint.pure.lisp