The --range option was failing miserably in two cases:
With noformat pragma.
When the range was past file end.
In the first case, an internal function returns {skip, string()},
which wasn't handled.
In the latter case, the list of adequate corrected ranges is empty.
The
--rangeoption was failing miserably in two cases:In the first case, an internal function returns {skip, string()}, which wasn't handled. In the latter case, the list of adequate corrected ranges is empty.