Note that according to the original report, the test only failed if run with
an assertion-enabled compiler.  Did you run the test with a compiler that
had at least preconditions enabled?  If not, then the problem may not be fixed.