Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Nevin Liber (nevin_at_[hidden])
Date: 2012-10-09 13:46:19

On 8 October 2012 18:12, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:

> You
> standardize axioms but how would you standardize the optimization that
> a compilers will generate based on them?

If you violate them, you have undefined behavior, and the compiler can do
whatever it wants.
-- 
 Nevin ":-)" Liber  <mailto:nevin_at_[hidden]>  [phone]