>>>> I would like to detect that a corresponding null pointer check would be >>>> missing >>>> (before the data can be used for further data processing). >>> >>> * x = kmemdup(...); >>> ... when != x >>> ( >>> x->f >>> | >>> f(...,<+...x...+>,...) >>> ) >> >> This SmPL search approach does not work as expected for >> the mentioned source file “drivers/gpu/drm/imx/parallel-display.c”. > > I have better things to do than to run your tests. If you have a problem, > say what the problem is an show the code that shows a problem.
A questionable source code place is just not pointed out by this analysis approach. No error message is displayed on my test system. So I would appreciate to find a better solution together. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
