From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Improving size determinations with SmPL
Date: Thu, 17 Aug 2017 18:50:07 +0200 [thread overview]
Message-ID: <1a936e2d-a2aa-5e2e-923b-bfc585bda5c6@users.sourceforge.net> (raw)
In-Reply-To: <alpine.DEB.2.20.1708171818300.3748@hadrien>
>> ... when any should be <...
>
> I have told you exactly what to do here.
You are right in the sense that I misinterpreted your change suggestion.
> The line above currently contains ... when any. It (and only it) should be
> completely removed and changed to <...
But I find it inappropriate to enclose the function call code by an optional
SmPL nest construct.
> Nowhere do I suggest to put <... ... when any ...>
The suggested script variant seems to work finally.
Thanks for your information.
@replacement@
identifier action, var, work;
type T, X;
@@
T work(...)
{
... when any
X* var;
<...
var = action(...,
sizeof(
- X
+ *var
),
...
)
...>
}
Now I wonder why the SmPL construct ?<+... ...+>? does not produce the same
transformation result for the source file ?fs/pstore/ram.c?.
Regards,
Markus
next prev parent reply other threads:[~2017-08-17 16:50 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-17 15:18 [Cocci] Improving size determinations with SmPL SF Markus Elfring
2017-08-17 15:22 ` Julia Lawall
2017-08-17 15:57 ` SF Markus Elfring
2017-08-17 16:00 ` Julia Lawall
2017-08-17 16:11 ` SF Markus Elfring
[not found] ` <alpine.DEB.2.20.1708171818300.3748@hadrien>
2017-08-17 16:50 ` SF Markus Elfring [this message]
2017-08-18 8:00 ` SF Markus Elfring
2017-08-18 8:49 ` Julia Lawall
2017-08-18 9:15 ` SF Markus Elfring
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1a936e2d-a2aa-5e2e-923b-bfc585bda5c6@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.