Unverified Commit d542cb31 authored by Matthias Springer's avatar Matthias Springer Committed by GitHub
Browse files

[mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Delete dead code (#86098)

There is an assertion that the stop condition is not satisfied for the
the starting point at the beginning of `computeBound`. Therefore, that
case does not have to be handled later on in that function.
parent e69cab7f
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment