unsigned / double propagation weirdness?

[Richard Guenther]

Richard Guenther wrote:
> Hi, I'm getting confusing (but consistent along a lot of different 
> compilers) results out of this testcase:
> 
> int main(int argc, char **argv)
> {
>   double dm = 1.0;
>   unsigned int i = 1;
>   if (-i*dm != -((double)i)*dm)
>     abort();
>   return 0;
> }

Why does light come always _after_ hitting submit... #)

Sorry for the noise.

Richard.