checkedint call removal

[Walter Bright via Digitalmars-d]

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.