On 7/31/2014 4:43 AM, bearophile wrote:
In debug builds gets rewritten as:

int max(in int x, in int y) {
    if (x <= y)
        throw new AssertError("...");
    return x;
}


Sorry, I meant:

In debug builds gets rewritten as:

int max(in int x, in int y) {
     if (x <= y)
         throw new AssertError("...");
     return (x > y) ? x : y;
}

You're overlooking data flow analysis, again. Please read up on it.

Reply via email to