Hi, Here I met some problems about dealing with the parameter and argument in SmPL. For example, I want to judge whether the parameters and arguments of a function have the same type or the same number of elements. But it seems hard to obtain them as exactly what they are in C. Also, I have noticed that there are two type in meta-variables called "parameter list" and "expression list". But I did not find the definition of them. I would be very appreciated if anyone could provide some suggestions on the questions above. Thank you so much for your time! Best regards,Yuan
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
