add a mode to look for remaining `BoundsError`

Open aviatesk opened this issue 4 years ago • 0 comments

So that we can easily verify propagate_inbounds works.

The existing OptAnalyzer may just suit to have this mode, given that this is a sort of optimization analysis. Probably better to be implemented as optional mode.

Suggested by @vchuravy.

Sep 28 '21 05:09 aviatesk