On Fri, Jun 11, 2010 at 10:18:14AM -0700, Patrick J. LoPresti wrote: > P.S. Are the Coverity folks still running the kernel through their > tool? This seems like the sort of thing it would catch. No - it hasn't run since February, unfortunately. Alasdair -- dm-devel mailing list dm-devel@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/dm-devel