With the latest compiler sources, with both limit-check-per-block true and false, using -g it dies in the same assert. Any other things to try?