I seem to recall seeing that as well, and I certainly don't have access to non-public data, but I can't find an example. Of course, there is http://xorl.wordp

I seem to recall seeing that as well, and I certainly don't have access to non-public data, but I can't find an example. Of course, there is http://xorl.wordpress.com/2009/07/17/linux-kernel-devnettun-null-pointer-dereference/ http://xorl.wordpress.com/2009/07/17/linux-kernel-devnettun-... (discussion at http://lwn.net/Articles/341773/ http://lwn.net/Articles/341773/), but while that is also an instance of gcc doing non-obvious but correct things, it's not the same problem.