On Mon, Mar 14, 2022 at 04:05:14PM +0800, Jiasheng Jiang wrote: > On Mon, Mar 14, 2022 at 03:33:49PM +0800, Greg KH wrote: > >> Thanks, I have tested the patch by kernel_patch_verify, > > > > What is that? > > It a Linux kernel patch static verification helper tool. > Link: https://github.com/nmenon/kernel_patch_verify > > >> and all the tests are passed. > > > > What tests exactly? How did you fail this allocation? > > The failure of allocation is not included in the tests. > And as far as I know, there is not any tool that has the > ability to fail the allocation. There are tools that do this. > But I think that for safety, the cost of redundant and harmless > check is acceptable. > Also, checking after allocation is a good program pattern. That's fine, it's how you clean up that is the problem that not everyone gets correct, which is why it is good to verify that you do not introduce problems. greg k-h