https://issues.dlang.org/show_bug.cgi?id=12919

--- Comment #1 from Martin Nowak <code@dawg.eu> ---
https://issues.dlang.org/show_bug.cgi?id=259 https://issues.dlang.org/show_bug.cgi?id=259#c39

--

https://issues.dlang.org/show_bug.cgi?id=12919

Cauterite <cauterite@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |15041

--

https://issues.dlang.org/show_bug.cgi?id=12919

Nick Treleaven <nick@geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick@geany.org
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=259

--

https://issues.dlang.org/show_bug.cgi?id=12919

John Hall <john.michael.hall@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |john.michael.hall@gmail.com

--- Comment #2 from John Hall <john.michael.hall@gmail.com> ---
The signed to unsigned conversions also occur before function preconditions are run.

import std.stdio: writeln;

void foo(uint x)
    in(x >= 0)
{
    writeln(x);
}

void main() {
    int x = -1;
    foo(x); //prints 4294967295
}

--

https://issues.dlang.org/show_bug.cgi?id=12919

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P4

--