Closed xbrukner closed 11 years ago
If you do binary operation (ie icmp) with bottom, the result should be bottom - because if top is returned and later the value is known and result is more precise, the more precise result should be used when joining, but top will be used.
If you do binary operation (ie icmp) with bottom, the result should be bottom - because if top is returned and later the value is known and result is more precise, the more precise result should be used when joining, but top will be used.