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 instead of runtime checking. Perhaps a gcc plugin to validate extension to pointer type or an external tool to do the same.