Clang static analysis results for dmd

[Robert Clipsham]

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.

-- 
Robert
http://octarineparrot.com/