Clang static analysis results for dmd

[Walter Bright]

On 7/26/2011 11:01 AM, Robert Clipsham wrote:
> On 25/07/2011 03:10, Walter Bright wrote:
>> Looks like clang has some bugs itself.
>>
>> http://octarineparrot.com/assets/dmd/report-ZGvM0T.html#EndPath
>>
>>
>> if ((unsigned short)value != value)
>>
>> 6 Both operands to '!=' always have the same value
>>
>> No, that's not true. value is a uint64_t, and casting it to unsigned
>> short and then back to uint64_t does not yield the same value.
>
> It does if value is always within the range of an unsigned short. I'm not sure
> whether it is in this case or not, if not we need to narrow down a test case and
> report a bug.
>

It's not a bug in dmc. The code is quite deliberate and necessary. The bug is in 
clang.