Re: [cocci] Searching for repeated source code with SmPL?

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

>> Example:
>> How would you like to determine that an if statement was specified three times
>> within an function implementation while the corresponding compound statement
>> should contain a variable assignment and a goto statement (at the end)?
>
> If you really are concerned about three identical if statements plced anywhere,
It can be usual to repeat if statements which would be similar also because of
known design patterns like error detection and exception handling.


> you can record their positions and then count them.

The Coccinelle software counts source code parts already for the supported “Dot variants”,
doesn't it?

How do you think about extensions for SmPL quantifiers?


> But it doesn't seem like a genuinely useful thing to do.

The beginning of another source code analysis can help to achieve a better understanding
for desirable transformations.

Regards,
Markus