Re: [boost] Is there interest in portable integer overflow detection, with policy based handling?

Subject: Re: [boost] Is there interest in portable integer overflow detection, with policy based handling?
From: Robert Ramey (ramey_at_[hidden])
Date: 2012-02-22 12:40:03

Ben Robinson wrote:
> It would appear there is interest in this library.  Therefore, I am
> making the full source available on GitHub here:
>
> https://github.com/cppmaven/VerifiedInt
>
> The library consists of three header files:
>
> verified_int.hpp (the integer class)
> verified_int_policies.hpp (the overflow handling policies)
> detail/verified_int_overflow_detection.hpp (the TMP overflow detection
> routines)
>
> In addition, you will notice that some of the hundreds of unit tests
> make
> use of the metaassert.hpp capability.  The VerifiedInt library
> contains a number of static assertions.  MetaAssert allows me to
> write unit tests,
> which will pass only if the static assertion fails instead of
> passing.  The trick is to convert what would be a compiler error into
> a runtime
> exception, and then detect the exception in the unit test.

Note that boost testing handles this by detecting failure
to compile as a legitmate, expecte result.  That is there
exists the concept that a test must fail to compile in order
to be considered as passing the test.

Robert Ramey