From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Wed, 29 Oct 2014 11:07:39 +0100
Subject: [Cocci] Addition of preprocessor statements with SmPL
In-Reply-To: <alpine.DEB.2.10.1410291102110.2459@hadrien>
References: <544FDF5C.6040009@dumbbell.fr>
 <alpine.DEB.2.10.1410281930130.2567@hadrien> <544FE5AD.60208@dumbbell.fr>
 <544FEA20.4030400@users.sourceforge.net> <544FED2B.2030305@dumbbell.fr>
 <5450B739.8050109@users.sourceforge.net>
 <alpine.DEB.2.10.1410291102110.2459@hadrien>
Message-ID: <5450BC6B.1060301@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

>> @Add_before_implementation@
>> identifier func;
>> type t;
>> @@
>> (
>>  #define func BAR(func)
>>  t func(...)
>>  { ... }
>> |
>> +#define func BAR(func)
>>  t func(...)
>>  { ... }
>> )
> 
> This doesn't work.

Interesting ...


> There is no kind of disjunction that includes a function definition in a branch.

Was I too optimistic that my suggestion with the specification of SmPL
alternatives should also work?

Regards,
Markus