Commit 12e7e88
committed
[mlir][Interfaces][NFC]
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.ValueBoundsConstraintSet: Delete dead code1 parent 13c9d7f commit 12e7e88
1 file changed
+0
-12
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
321 | 321 | | |
322 | 322 | | |
323 | 323 | | |
324 | | - | |
325 | | - | |
326 | | - | |
327 | | - | |
328 | | - | |
329 | | - | |
330 | | - | |
331 | | - | |
332 | | - | |
333 | | - | |
334 | | - | |
335 | | - | |
336 | 324 | | |
337 | 325 | | |
338 | 326 | | |
| |||
0 commit comments