Re: VRP and division/remainder by 0

[Andrei Alexandrescu via Digitalmars-d]

On 7/3/16 7:18 PM, deadalnix wrote:

Question is, what should VRP do when the denum range contains 0 ?

I see 2 way forward:
 - 0 will fault, so not yield a result - hardware will fault. It can be
ignored when doing VRP.
 - denum with 0 return a full range for division, union result's range
while ignoring 0 and num range for remainder.

Doing 1/ for division and 2/ for remainder seems to be the best choice
to me. Thought ?

I think 1 works best for both / and %. -- Andrei