Re: [patch 2.6.19-rc6] Stop gcc 4.1.0 optimizing wait_hpet_tickaway

From: Andrew Morton
Date: Fri Dec 01 2006 - 00:06:35 EST


On Wed, 29 Nov 2006 21:14:10 +0100
Willy Tarreau <w@xxxxxx> wrote:

> Then why not simply check for gcc 4.1.0 in compiler.h and refuse to build
> with 4.1.0 if it's known to produce bad code ?

Think so. I'll queue this and see how many howls it causes.

--- a/init/main.c~gcc-4-1-0-is-bust
+++ a/init/main.c
@@ -75,6 +75,10 @@
#error Sorry, your GCC is too old. It builds incorrect kernels.
#endif

+#if __GNUC__ == 4 && __GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ == 0
+#error gcc-4.1.0 is known to miscompile the kernel. Please use a different compiler version.
+#endif
+
static int init(void *);

extern void init_IRQ(void);
_

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