Subject: Re: [boost] safe integer library -- the scope
From: Pete Bartlett (pete_at_[hidden])
Date: 2015-12-11 20:01:50
> safe_integer_range<-100, 100> a, x, b, y;
> y = a * x + b;
> Then it can be known at compile time that y can never overflow so no runtime checking is required.
This is the second time you've written something like this - in the PDF you said that squaring an int8_t didn't overflow. clearly it depends on the values of a,x,b which in general are only known at runtime.. So what do you mean there are no runtime checks?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk