Skip to content

Fix linearity checking in Lint

Krzysztof Gogolewski requested to merge wip/T22546 into master

Lint was not able to see that x*y <= x*y, because this inequality was decomposed to x <= x*y && y <= x*y, but there was no rule to see that x <= x*y.

Fixes #22546 (closed).

Merge request reports