[Issue 15289] New: VRP not working as expected on division

[via Digitalmars-d-bugs]

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

          Issue ID: 15289
           Summary: VRP not working as expected on division
           Product: D
           Version: D2
          Hardware: x86
                OS: Mac OS X
            Status: NEW
          Severity: major
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: deadalnix at gmail.com

Error: cannot implicitly convert expression (50LU / dirties.length) of type
ulong to uint

When doing uint foo = 50 / arr.length;

I don't think this is ever going to overflow, so we are safe.

--