We still have things like this showing "division by zero":
Assert(activeTapes > 0);
1913 slotsPerTape = (state->memtupsize - state->mergefirstfree) / activeTapes;
It looks like if you marked ExceptionalCondition() as never returning
then it should hide this.
--
greg
http://mit.edu/~gsstark/resume.pdf