Bug#185243: libstdc++3-dev: rope segfaults under heavy load

[Philip Martin]

> unsigned int rand(unsigned int max) {
>   unsigned int rval = (unsigned int)(((double)max)*rand()/(RAND_MAX));
>   if (rval == max)
>     return max-1;
> }

This function returns no value if rval != max so the behaviour is
undefined.

-- 
Philip Martin