Paul Schlie <[EMAIL PROTECTED]> wrote:
> Where then the programmer could then choose
> to warrant it by preconditioning the loop:
>
> assert((x < y) && ((y - x) % 4)); // which could throw an exception.
>
> for ((i = x; i < y; i++){ ... }
There has been some opposition in the past about allowing conditions in
asserts to be used as hints to the optimizers. In fact, I would like to know
if there is a current statement of purpose about this. That is, would there
be strong oppositions to patches doing this?
--
Giovanni Bajo
