On Thu, 31 May 2018, Matthew Wilcox wrote:
Well ok this is not going to trigger for kfree(), this is x86 specific andFreeing a page in the page allocator also was traditionally not sleeping.No. "Your bug" being "The bug in your static analysis tool". It probably
That has changed?
isn't following the data flow correctly (or deeply enough).
requires CONFIG_DEBUG_PAGEALLOC and a free of a page in a huge page.
Ok that is a very contorted situation but how would a static checker deal
with that?