On Tue, 12 Aug 2014, Mitchell Cuddie wrote:
> Hi Julia,
>
> Using coccinelle to match the argument type and edit printf format
> strings. I observe the arguments to printf being matched in reverse
> order(ok,i guess) but if I insert the processed identifiers into the
> format string they go in out of order. Is there a binding order i am
> missing?
I'll have to look at it in more detail tomorrow.
Is it the ++ code that you are concerned about? There is no guarantee on
the order in which the code added by ++ is generated.
julia
>
>
> /*Output*/
>
> Matched %c for argument of type () 3/0
> val=%c"
>
> (26, 53)
> Matched %d for argument of type (int) 2/1
> errno=%d
>
> (26, 49)
> Matched %d for argument of type (int) 1/2
> "rc=%d
>
> diff:
> - printf("rc=%d errno=%d val=%c", rc, errno, val);
> + printf("rc=%d val=%c" errno=%d, rc, errno, val);
>
> /*patch*/
>
> @base@
> position pos, p;
> expression fmt, a, b;
> expression list[n] E;
> expression list[m] F;
> expression x;
> @@
> printf(fmt@pos, E, x@p, F)
>
> @type_match@
> position base.p;
> type t;
> t e;
> @@
> e@p
>
> @script:python type_dict@
> t << type_match.t;
> p << base.p;
> @@
> /*Python Code*/
>
> @script:python fix@
> fmt << base.fmt; pos << base.pos; n << base.n; m << base.m; p <<
> base.p;
> fix_fmt;
> @@
> /*Python Code*/
>
> @fmt_replace@
> position base.pos;
> expression base.fmt;
> identifier fix.fix_fmt;
> @@
> - fmt@pos
> ++ fix_fmt
>
>
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
