Hello,
I'm a bit confused with macro expansion. I've read this mail:
http://lists.diku.dk/pipermail/cocci/2009-April/000145.html
My first question is: is this up-to-date ?
My specific problem is the following. I don't manage to match when a
macro definition is called.
The SMPL patch is the following:
=========
@sizet@
size_t p;
identifier func =~ "^(sprintf|printf|SCLog.*)$";
position p1;
@@
func(..., p, ...)@p1;
@script:python @
p1 << sizet.p1;
@@
print "Invalid printf with size_t (not casted to uintmax_t) at %s:%s" %
(p1[0].file, p1[0].line)
========
And the code is this one:
=======
typedef struct bstr_t bstr;
struct bstr_t {
size_t len;
unsigned char *realptr;
};
#define bstr_len(X) ((*(X)).len)
int main()
{
bstr *onestr;
printf("%"PRIuMAX, bstr_len(onestr));
printf("%"PRIuMAX, onestr->len);
}
=======
With that I've only got a match on second printf. So it seems there is a
problem with the macro expansion.
BUt what I don't understand is that I've got two matches if I rewrite
the bstr_len macro to
#define bstr_len(X) ((size_t)(*(X)).len)
I'm using:
spatch version 1.0.0-rc19 with Python support and with PCRE support
BR,
--
Eric Leblond <[email protected]>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
