[ARITH] support floordiv in deduce bound - #13880

Merged

wrongtest-intellif merged 3 commits into

apache:mainfrom

wrongtest-intellif:deduce_bound_support_support_floordiv

Feb 1, 2023

Commits on Jan 31, 2023

support floordiv in deduce bound
wrongtest-intellif
committed
7a19ebb
add rule for (x // -positive)
wrongtest-intellif
committed
2d89a9f

Commits on Feb 1, 2023

leave todo for x // a == b
wrongtest-intellif
committed
c73fe2c