On Wed, Feb 12, 2025 at 10:30:26AM -0500, Zi Yan wrote: > Hi Dan, > > Thanks for reporting, but based on __split_unmmaped_folio()’s call site, > mapping cannot be NULL when it is dereferenced. Is there a proper way to > tell Smatch that? VM_BUG_ON(folio_test_anon(folio) || !mapping) might > help the first case, but not sure about the second one. > No, just ignore the warning. I'll probably send another email if you ever rename the function, but I try not to... Thanks for taking a look at this. regards, dan carpenter
