On Thu, 12 Jan 2017, Guenter Roeck wrote:
> Hi Julia,
> I have a couple of new problems with coccinelle.
> First, please have a look at the attached testc.c and test.cocci.
> Running test.cocci on testc.c results in a hang. The problems seems
> to be related to the number of (to-be-folded) labels.
Here is a more efficient version. I put an exists in the first rule - you
just care if there exists a path to the double label, but don't care if
all paths lead to the double label. In the second rule, I changed <+...
...+> to <... ...>, because there is no need to check if there is at least
one match. You just want to perform the change if the opportunity arises.
position p != unneeded_label.p1;
position any p1;
- goto l1;
+ goto l2;
<... when != S
Cocci mailing list