potential simple loop optimization assistance strategy?

[Giovanni Bajo]

Paul Schlie <schlie@comcast.net> 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