On Wed, 15 Nov 2017, Joe Perches wrote:
> On Wed, 2017-11-15 at 22:55 +0100, Julia Lawall wrote:
> > What version of Coccinelle do you have?
> > > I tried 1.0.4 and 1.0.6,
> > > but both failed.
> > For me, it also fails for 1.0.6. It should be OK for 1.0.7.
>
> Then likely this patch should no
2017-11-16 7:02 GMT+09:00 Joe Perches :
> On Wed, 2017-11-15 at 22:55 +0100, Julia Lawall wrote:
>> What version of Coccinelle do you have?
>> > I tried 1.0.4 and 1.0.6,
>> > but both failed.
>> For me, it also fails for 1.0.6. It should be OK for 1.0.7.
>
> Then likely this patch should not be ap
On Wed, 2017-11-15 at 22:55 +0100, Julia Lawall wrote:
> What version of Coccinelle do you have?
> > I tried 1.0.4 and 1.0.6,
> > but both failed.
> For me, it also fails for 1.0.6. It should be OK for 1.0.7.
Then likely this patch should not be applied or
some form of local version checking shou
On Thu, 16 Nov 2017, Masahiro Yamada wrote:
> Hi Julia,
>
>
> 2017-11-15 23:51 GMT+09:00 Julia Lawall :
> >
> >
> > On Wed, 15 Nov 2017, Masahiro Yamada wrote:
> >
> >> Hi Julia,
> >>
> >>
> >> 2017-11-13 1:08 GMT+09:00 Julia Lawall :
> >> > An initial rule just matching a function call makes it
On Thu, 16 Nov 2017, Masahiro Yamada wrote:
> Hi Julia,
>
>
> 2017-11-15 23:51 GMT+09:00 Julia Lawall :
> >
> >
> > On Wed, 15 Nov 2017, Masahiro Yamada wrote:
> >
> >> Hi Julia,
> >>
> >>
> >> 2017-11-13 1:08 GMT+09:00 Julia Lawall :
> >> > An initial rule just matching a function call makes it
Hi Julia,
2017-11-15 23:51 GMT+09:00 Julia Lawall :
>
>
> On Wed, 15 Nov 2017, Masahiro Yamada wrote:
>
>> Hi Julia,
>>
>>
>> 2017-11-13 1:08 GMT+09:00 Julia Lawall :
>> > An initial rule just matching a function call makes it possible to focus
>> > on one all at a time, which improves performanc
On Wed, 15 Nov 2017, Masahiro Yamada wrote:
> Hi Julia,
>
>
> 2017-11-13 1:08 GMT+09:00 Julia Lawall :
> > An initial rule just matching a function call makes it possible to focus
> > on one all at a time, which improves performance in complex functions with
> > multiple locking calls. Using a
Hi Julia,
2017-11-13 1:08 GMT+09:00 Julia Lawall :
> An initial rule just matching a function call makes it possible to focus
> on one all at a time, which improves performance in complex functions with
> multiple locking calls. Using a constraint expression lock2 != pre.lock1;
> makes it possib
An initial rule just matching a function call makes it possible to focus
on one all at a time, which improves performance in complex functions with
multiple locking calls. Using a constraint expression lock2 != pre.lock1;
makes it possible to eliminate the double matching of the lock, lock
sequenc
9 matches
Mail list logo
