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, or at least a bugzilla entry with a description of the algorithm to use!
