linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* NULL pointer constraints vs. compiler checks
@ 2019-07-12 10:52 Enrico Weigelt, metux IT consult
  0 siblings, 0 replies; only message in thread
From: Enrico Weigelt, metux IT consult @ 2019-07-12 10:52 UTC (permalink / raw)
  To: LKML, Coccinelle

Hello folks,


we recently have lots of patches for either adding missing NULL checks,
removing unneeded ones, etc. It seems that's an non-trivial terrain,
so I'm thinking about potential compiler support.

Does anybody know whether gcc has some way for not-null constraints ?


thx
--mtx

-- 
Enrico Weigelt, metux IT consult
Free software and Linux embedded engineering
info@metux.net -- +49-151-27565287

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-07-12 10:52 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-12 10:52 NULL pointer constraints vs. compiler checks Enrico Weigelt, metux IT consult

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).