> Another subtle point is that the file name cannot be passed only once, because > different values of the position variable can be associated with different > file names. It is possible to match against tokens found in an include file, > and any position variable associated with such tokens are associated with the > include file, not the original one. Also, when transformation has been done, > the position of a token in the transformed function is no longer its position > in the original C file, but its position in a temporary file containing the > transformed code.
Thanks for this detailed explanation to which I mostly agree to of course. But I have also seen an use case in my data export experiments where I know that a part of a SmPL filter pattern can only match within a single source file while no transformation is applied. Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
