Re: Patch to remove undefined C code

From: Richard Guenther (richard.guenther@student.uni-tuebingen.de)
Date: Tue Oct 17 2000 - 03:59:13 EST


On Mon, 16 Oct 2000, Bernd Schmidt wrote:

> I've been playing with some gcc patches to detect code with undefined
> behaviour of the i = i++ variety. The patch below fixes all places in
> the kernel that I could find. Note that in some cases, it wasn't
> entirely clear what the code intended, so I had to guess.
>
> I haven't tested this patch at all other than to make sure it compiles.

The following one is wrong, tho - should be rather
                str[i] = dn[i]; i++;

> diff -x log.build -x .* -dru linux-2.4/drivers/isdn/sc/debug.c linux-2.4-fixed/drivers/isdn/sc/debug.c
> --- linux-2.4/drivers/isdn/sc/debug.c Thu Apr 2 01:21:04 1998
> +++ linux-2.4-fixed/drivers/isdn/sc/debug.c Mon Oct 16 14:53:49 2000
> @@ -70,6 +70,6 @@
> int i = 0;
>
> while(dn[i] != ',')
> - str[i] = dn[i++];
> + str[i] = dn[i], i++;
> str[i] = 0x0;
> }

--
Richard Guenther <richard.guenther@student.uni-tuebingen.de>
WWW: http://www.anatom.uni-tuebingen.de/~richi/
The GLAME Project: http://www.glame.de/

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Mon Oct 23 2000 - 21:00:10 EST