> With this patch it generates nothing. I would expect spatch to generate > a different patch with sprintf instead of scnprintf, because I think > ... is enough to match "*(int *)(ea->var)". Even if it can't match sprintf > pattern it should fallback to scnprintf pattern.
It's a known bug, explained in tests/failing_andany.cocci. In your case, it is because the last pattern in the disjunction can match things that the second pattern can match, and because of an optimization done for <... ...>. I will see if it can be fixed. Thanks for the report. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
