On Mon, 2018-04-09 at 13:44 +0200, Petr Mladek wrote:> What exactly is wrong?I doubt the need.Adding complexity doesn't seem useful.> What you would suggest instead?A static analysis on the source code insteadof runtime checking.Perhaps a gcc plugin to validate extension topointer type or an external tool to do the same.