On 06/08/2013 12:43 AM, Walter Bright wrote:
On 6/7/2013 2:52 AM, Timon Gehr wrote:
You are certainly wrong about the value range propagation part. The
transformers
for the bitwise operators are not the best possible.
ubyte x = ((y&252)^2)+1;
The above term can be easily proven to fit into ubyte by just using an
analysis
of the ranges of its subterms, yet DMD rejects it.
Since it's easy, I expect a pull request from you,
Well,
1. DMD is written in C++.
2. My last pull request has rotten for 6 months now.
or at least a bugzilla entry with a description of the algorithm to use!
http://d.puremagic.com/issues/show_bug.cgi?id=10310
