On Mon, 2010-10-11 at 10:13 +0200, Arnd Bergmann wrote: > Hmm, actually sparse does *not* warn about sound_ioctl returning in > different lock contexts. Sparse developers: is there a known limitation > in sparse for this? I expected to see context warnings because > sound_ioctl normally releases soundcard_mutex (previously lock_kernel) > in some cases returns while holding the lock. Arnd, mutexes aren't annotated in the kernel source to make use of sparse's context checking. johannes -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
