On Sat, 21 Sep 2013, Niels Möller wrote: > Hmm, or ar you saying that the compiler's assumption exp >= 0 comes from > *local* inference? "If the caller provides a negative exp, then we get > undefined behaviour in this expression. Hence, let's just pretend that > the caller would never do such a thing". Yes. -- Marc Glisse