On Thu, Feb 22, 2018 at 02:11:44AM +0100, Jann Horn wrote: > If you dereference a function pointer, you get a function pointer back. > AFAICS there are >=69 places in the kernel that unnecessarily dereference a > function pointer before calling through it. Hi, Yes. This is in fact a known problem. A fix for it and some others related to problems with dereferences, as well as a bunch of test cases, can be found in my development tree: https://github.com/lucvoo/sparse-dev/tree/master The patches related to this issues are the ones just before commit 1e1a172fe. Best regards, -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
