"Ary Borenszweig" wrote in message news:[email protected]...
> He's asking for assert to mean 'check this condition' and assume to mean > 'optimize as if this is a mathematical identity'. And how is that different if instead of: if (x != 3) assert(0); you write: assume(x != 3);
Because if assert only means 'check this condition' then the optimizer can't optimize based on the assumption that it's true.
