Re: [cocci] Checking data structure member accesses after function return value assignments?

> This should you give what you seemed to want, with pointer->member in the
> immediately following statement only.

Can we benefit any more from this software design aspect?

* Would you support to integrate another enhanced SmPL script variant
  for the detection of undesirable null pointer dereferences
  into the coccicheck system?

* Would you be looking for any source code search refinements
  according to involved function (or macro) calls?


Regards,
Markus