Re: [3.11-rc1] CONFIG_DEBUG_MUTEXES=y using gcc 3.x makes unbootablekernel.

From: Tetsuo Handa
Date: Mon Sep 09 2013 - 09:22:47 EST


Maarten Lankhorst wrote:
> Yeah looks ok, did you run the selftests from CONFIG_DEBUG_LOCKING_API_SELFTESTS,
> with/without CONFIG_PROVE_LOCKING and once more with DEBUG_MUTEXES also unset?

Since CONFIG_DEBUG_MUTEXES=n && CONFIG_PROVE_LOCKING=y is impossible, I tested

CONFIG_DEBUG_MUTEXES=y
CONFIG_PROVE_LOCKING=y
CONFIG_DEBUG_LOCKING_API_SELFTESTS=y

CONFIG_DEBUG_MUTEXES=y
CONFIG_PROVE_LOCKING=n
CONFIG_DEBUG_LOCKING_API_SELFTESTS=y

CONFIG_DEBUG_MUTEXES=n
CONFIG_PROVE_LOCKING=n
CONFIG_DEBUG_LOCKING_API_SELFTESTS=y

CONFIG_DEBUG_MUTEXES=y
CONFIG_PROVE_LOCKING=y
CONFIG_DEBUG_LOCKING_API_SELFTESTS=n

CONFIG_DEBUG_MUTEXES=y
CONFIG_PROVE_LOCKING=n
CONFIG_DEBUG_LOCKING_API_SELFTESTS=n

CONFIG_DEBUG_MUTEXES=n
CONFIG_PROVE_LOCKING=n
CONFIG_DEBUG_LOCKING_API_SELFTESTS=n

and all works OK.
--
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/