It would be good to generate warning messages for any runtime checks that can fail.
- assertions
- bounds checks
- constraint checks
- ...
Do this late in optimization after all trivially ok checks have been removed, dead code has been removed, flow-sensitive range analysis has been performed, etc.
It would be good to generate warning messages for any runtime checks that can fail.
Do this late in optimization after all trivially ok checks have been removed, dead code has been removed, flow-sensitive range analysis has been performed, etc.