On Tue, 2015-04-14 at 15:57 +0200, Denys Vlasenko wrote:> My allyesconfig, with BUG_ON's commented out:> Right. But I can tell you nobody uses lockdep on a production kernel.Here, at Google, we get what I described.