[Issue 10310] VRP for bitwise &|^ does not always produce the tightest bounds.

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10310



--- Comment #1 from timon.gehr at gmx.ch 2013-06-08 16:41:16 PDT ---
Example test case that fails now and will work after the changes have been
implemented:

void main(){
    uint y;
    ubyte x = ((y&252)^2)+1;
}

The computed range for the right-hand-side expression is 1..255 (inclusive).

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------