> Only positions are unique. I suggest to take information around an error message like “meta: semantic error: position cannot be inherited over modifications: …” also better into account. https://github.com/coccinelle/coccinelle/blob/f284bf3663b362476f14c0c90de7ff7ce3faf9b7/parsing_cocci/parse_aux.ml#L323
Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
