* [Cocci] NULL pointer constraints vs. compiler checks
@ 2019-07-12 10:52 Enrico Weigelt, metux IT consult
2019-07-12 15:27 ` Markus Elfring
0 siblings, 1 reply; 2+ messages 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
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Cocci] NULL pointer constraints vs. compiler checks
2019-07-12 10:52 [Cocci] NULL pointer constraints vs. compiler checks Enrico Weigelt, metux IT consult
@ 2019-07-12 15:27 ` Markus Elfring
0 siblings, 0 replies; 2+ messages in thread
From: Markus Elfring @ 2019-07-12 15:27 UTC (permalink / raw)
To: Enrico Weigelt; +Cc: cocci
> we recently have lots of patches for either adding missing NULL checks,
> removing unneeded ones, etc.
Would you like to point any more concrete change examples out?
> It seems that's an non-trivial terrain,
This area can be also challenging.
> so I'm thinking about potential compiler support.
Can any more development tools help?
> Does anybody know whether gcc has some way for not-null constraints ?
Will you get corresponding answers better from other information systems
than the mailing list here?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-07-12 15:27 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-12 10:52 [Cocci] NULL pointer constraints vs. compiler checks Enrico Weigelt, metux IT consult
2019-07-12 15:27 ` Markus Elfring
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).