Messages in this thread | | | From | Mikael Pettersson <> | Date | Fri, 25 Feb 2000 16:40:42 +0100 (MET) | Subject | Re: Kernel bugs found using inspect tool |
| |
Ricky Beam writes: > On Tue, 22 Feb 2000, Rupp, Ed J wrote: > >the AT&T toolchest called 'inspect'. I found 10 near-certain > >bugs which may or may not be causing any observable problems > >and 13 probable bugs which I couldn't immediately tell if they > ... > >===== Questionable ==== > >arch/ppc/math-emu/op-4.h: comparison takes precedence over assignment near > >line 215 > > (x3 += ((x2 += ((x1 += ((x0 += i) < x0)) < x1) < x2)))
This whole expression is broken. The evaluation order for the "<" operator is unspecified, which means that subexpressions like "((x0 += i) < x0)" do not have well-defined values. They also violate the ANSI-C rules about permissible accesses and updates of variables between sequence points.
/Mikael
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
| |