|
From: Florian W. <fw...@de...> - 2005-10-18 11:42:52
|
* Tom Hughes: > He is testing the bottom bit so the result of the test is perfectly > well defined No it's not. The compiler may have performed some transformation which changes the bit pattern because it is undefined as far it is concerned. > - one of valgrinds strengths is that it does bit level tracking of > defined values not byte level. Sure, but the C compiler doesn't. It might make sense to fix valgrind's MUL implementaton, but this C code is a poor test case. |