Re: coccinelle: adjustments for array.cocci?
- From
René Scharfe <l.s.r@web.de>
- Date
- Nov 19, 2019, 19:15 UTC
- Message-ID
- <9146ab06-944e-307b-b4af-9b0ffbb323f3@web.de>
- In-Reply-To
- <ac67f805-fbff-68e9-214e-3f353a1c038f@web.de>
Am 17.11.19 um 19:36 schrieb Markus Elfring:
Show 13 quoted lines
>>> It was chosen to transform source code fragments (pointer expressions) >>> by two SmPL rules so that the search pattern “sizeof(T)” would work >>> in the third rule. >> >> Ah, right, it would be nice to get rid of those normalization rules, >> especially the second one. > > Thanks for such positive feedback. > > >> I don't see how, > > Where is your view too limited at the moment?
I don't know. Or perhaps it's rather too wide and I worry about irrelevant details?
>> though, without either causing a combinatorial explosion > > Growing combinations can become more interesting, can't they?
Perhaps, but not if they blow up the size of the semantic patch or the runtime of Coccinelle.
René