Re: [CHECKER] new floating point bugs in 2.4.5-ac4

2001-05-30 Thread arjan
In article <[EMAIL PROTECTED]> you wrote: > Here are two new uses of floating point that popped up in the 2.4.5-ac4 > kernel. While the expressions that use FP are trivial, at least my > version of gcc does not calculate them at compile time. > [BUG] DMFE_TX_KICK is (HZ * 0.5) which gcc does as

[CHECKER] new floating point bugs in 2.4.5-ac4

2001-05-30 Thread Dawson Engler
Here are two new uses of floating point that popped up in the 2.4.5-ac4 kernel. While the expressions that use FP are trivial, at least my version of gcc does not calculate them at compile time. As a bonus, two old, but still existing FP uses are also included. Dawson MC linux bug database: htt