[Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)

[Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)

[Jerome Glisse]

Coccinelle get confuse with kernel extern __printf macro for instance:

test.c:
extern __printf(3, 4)
int foo(int, int, char *, ...);
void toto(int, long);

test.sp:
@@
@@
void toto(int, 
+void *,
long);

The semantic patch will not work. But if extern is remove or if __printf
macro is remove then it works. Also having extern and __printf on different
line make it works.

Cheers,
Jérôme
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)

[Julia Lawall]

[-- Attachment #1: Type: text/plain, Size: 686 bytes --]



On Wed, 27 Feb 2019, Jerome Glisse wrote:

> Coccinelle get confuse with kernel extern __printf macro for instance:
>
> test.c:
> extern __printf(3, 4)
> int foo(int, int, char *, ...);
> void toto(int, long);
>
> test.sp:
> @@
> @@
> void toto(int,
> +void *,
> long);
>
> The semantic patch will not work. But if extern is remove or if __printf
> macro is remove then it works. Also having extern and __printf on different
> line make it works.

Maybe adding

#define __printf(a,b)

to standard.h will help?

julia

>
> Cheers,
> Jérôme
> _______________________________________________
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Coccinelle is confuse by extern __printf macro (ie attribute)

[Jerome Glisse]

On Thu, Feb 28, 2019 at 08:05:31AM +0100, Julia Lawall wrote:
> 
> 
> On Wed, 27 Feb 2019, Jerome Glisse wrote:
> 
> > Coccinelle get confuse with kernel extern __printf macro for instance:
> >
> > test.c:
> > extern __printf(3, 4)
> > int foo(int, int, char *, ...);
> > void toto(int, long);
> >
> > test.sp:
> > @@
> > @@
> > void toto(int,
> > +void *,
> > long);
> >
> > The semantic patch will not work. But if extern is remove or if __printf
> > macro is remove then it works. Also having extern and __printf on different
> > line make it works.
> 
> Maybe adding
> 
> #define __printf(a,b)
> 
> to standard.h will help?
> 

Sorry to get back so late, yes adding #define __printf(a,b) to standard.h
solve the issue. Thank you for the pointer.

Cheers,
Jérôme
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci