On Mon, Jan 15, 2018 at 10:14 AM, Julia Lawall <[email protected]> wrote: > The idea is that generally it is beneficial to reason about > the code in the way that you see it, ie with the macro calls in the code > as they are.
Yes, I think that makes sense - what I'm trying to do is sort of an edge case. Thanks for your help. Martijn > > julia > > >> >> Thanks, >> Martijn >> >> > >> > julia >> > >> > >> >> >> >> Thanks, >> >> Martijn >> >> >> >> > >> >> > >> >> > Normally, macros are only unfolded when doing so is necessary to parse >> >> > the >> >> > context in which the macro occurs. But when a macro is unfolded for >> >> > that >> >> > reason, it is not possible to transform the unfolded code, although it >> >> > is >> >> > possible to match it. >> >> > >> >> > It is indeed possible that the --preprocess argument does not do >> >> > anything. >> >> > >> >> > julia >> >> >> _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
