posix_time::time_duration::operator/(int) can trigger division by zero error

[Michał Ślizak <michal.slizak+boost@…>]

When dividing time_duration by a 64-bit integer the divisor will be implicitly cast to 'int' type (32-bits on most platforms).

This will cause 'division by zero' runtime error for any value which is a multiple of 2³². It will also cause invalid values to be calculated if the divisor is larger than 2³¹ - 1.

I don't see any reason why the time_duration interface should be limited to division by 32-bit integer values on systems where the storage type used in time_duration is at least 64-bit long.

[Michał Ślizak <michal.slizak+boost@…>]

Reproduction