[Cocci] Improving size determinations with SmPL

[elfring@users.sourceforge.net (SF Markus Elfring)]

> Here I have the c code,

You have also access to the referenced source files for this Linux software module.


> but not the semantic patch.

I find this kind of feedback surprising.

We discussed it a bit yesterday so that this SmPL script was stored also in
the mailing list archive.
https://systeme.lip6.fr/pipermail/cocci/2017-August/004350.html


> In particular, I don't know whether you are using the version with <... ...>

I am using the optional nest construct for a while also because


> or <+... ...+>.

this SmPL construct does not work for my use case. (I stored a corresponding
test script under an other file name.)
How will the discussion be continued for the bug report ?Get the non-optional
nest construct completely working for SmPL??
https://github.com/coccinelle/coccinelle/issues/114


> The latter is more time consuming because it has to do extra chcks.

I am curious if the software execution can fit better into more pleasing
time ranges.


> Both, however, need to follow the control-flow of the function,
> so they can be expensive if there are many loops or conditionals.

I assume that there are further improvement possibilities available
for the desired run time characteristics.

Regards,
Markus