Re: [cocci] Reducing parentheses (with SmPL)?

[Markus Elfring <Markus.Elfring@web.de>]

>> Can you recognise development concerns better from another SmPL code variant?
>>
>>
>> @adjustment@
>> expression e;
>> statement s;
>> @@
>> -if
>> +my_result =
>>     (e)
>> +&& true;
>> -   s
> And what is the problem?

It is supported (to some degree by the means of the semantic patch language)
to construct expressions for the usage within SmPL plus slice specifications.
Developers can generally apply the design choice to use additional parentheses then.

Some properties might be even unknown so far according to metavariable instances
of the type “expression”.
Programming interfaces can be extended accordingly.


> If you don't want the parentheses around e, then remove them.

There is a desire to avoid extra parentheses in the generated diff output.
If such difference displays should be accepted as patches for known code bases,
it would probably be more helpful if they could adhere better to coding
style preferences.

Regards,
Markus