On Mon, 15 Feb 2016, Nicholas Mc Guire wrote:
>
> Hi !
>
> --no-loops is documented as:
>
>--no-loops
> drop all back edges derived from looping constructs - unsafe
>
>
> the background is that some scanners will simply not make any
> progress (e.g. linux-next/lib/rbtr
Hi !
--no-loops is documented as:
--no-loops
drop all back edges derived from looping constructs - unsafe
the background is that some scanners will simply not make any
progress (e.g. linux-next/lib/rbtree.c:__rb_insert() is a perfect
"hang" without --no-loops for even
On 02/17/2016 05:16 PM, Julia Lawall wrote:
> & is no longer allowed in column 0, since Coccinelle 1.0.4.
>
> Signed-off-by: Julia Lawall
>
> ---
> scripts/coccinelle/iterators/use_after_iter.cocci |2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/scripts/coccinelle/i
On Wed, 17 Feb 2016, Nishanth Menon wrote:
> On 02/17/2016 05:16 PM, Julia Lawall wrote:
> > & is no longer allowed in column 0, since Coccinelle 1.0.4.
> >
> > Signed-off-by: Julia Lawall
> >
> > ---
> > scripts/coccinelle/iterators/use_after_iter.cocci |2 +-
> > 1 file changed, 1 insertio
& is no longer allowed in column 0, since Coccinelle 1.0.4.
Signed-off-by: Julia Lawall
---
scripts/coccinelle/iterators/use_after_iter.cocci |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/coccinelle/iterators/use_after_iter.cocci
b/scripts/coccinelle/iterators/
On Wed, 17 Feb 2016, Wolfram Sang wrote:
> So, I'll try again ;) This spatch:
>
> @@
> identifier match;
> expression table, dev;
> type T;
> @@
> - T match = of_match_device(table, dev);
> ... when != match
> - match->data
> + of_device_get_match_data(dev)
> ... when != ma
So, I'll try again ;) This spatch:
@@
identifier match;
expression table, dev;
type T;
@@
- T match = of_match_device(table, dev);
... when != match
- match->data
+ of_device_get_match_data(dev)
... when != match
gives a match for:
$ spatch -sp_file /tmp/minimal
> like this, it can be better to just pull the common part out into the
> context.
That was definately the case here. After doing that for the other three
rules I had, two of them became identical :) Also, I got more matches,
because there was context I had not anticipated yet. Big win!
signatu
On Wed, 17 Feb 2016, Wolfram Sang wrote:
> > The isomorphism that allows ignoring a cast only works when the type
> > metavariable is used only once. You uare using it twice. The fact that
> > you wanted to add it indicates that you really want it to be there.
>
> Aha, I understand. Thank you fo
> The isomorphism that allows ignoring a cast only works when the type
> metavariable is used only once. You uare using it twice. The fact that
> you wanted to add it indicates that you really want it to be there.
Aha, I understand. Thank you for the explanation!
> I think that everything shoul
On Wed, 17 Feb 2016, Wolfram Sang wrote:
> Hi,
>
> using Coccinelle v1.04 from Debian:
>
> $ spatch -version
> spatch version 1.0.4 with Python support and with PCRE support
>
> The following semantic patch produces a match with current linux-next:
>
> @@
> expression table, dev;
> type T;
> @@
Hi,
using Coccinelle v1.04 from Debian:
$ spatch -version
spatch version 1.0.4 with Python support and with PCRE support
The following semantic patch produces a match with current linux-next:
@@
expression table, dev;
type T;
@@
- (T)of_match_device(table, dev)->data
+ of_device_get
On Wednesday 17 February 2016 06:17 PM, Derek M Jones wrote:
> Julia,
>
>> If you care to put in a vote for me/Coccinelle...
>
> I would be happy to vote for you, but do you really
> want to win this?
>
> The women on the academic side are all students and
> yours is the only name I recognise on
Julia,
If you care to put in a vote for me/Coccinelle...
I would be happy to vote for you, but do you really
want to win this?
The women on the academic side are all students and
yours is the only name I recognise on the community list.
https://www.redhat.com/en/about/women-in-open-source
If you care to put in a vote for me/Coccinelle...
https://www.redhat.com/en/about/women-in-open-source
julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
15 matches
Mail list logo