[Cocci] Blocks Support?

[Cocci] Blocks Support?

[Mitchell Cuddie]

Has anyone looked at supporting the blocks extension in Coccinelle?
https://clang.llvm.org/docs/BlockLanguageSpec.html

There are a number of large projects like WebKit that could make use of
Coccinelle if it could parse the code. Any thoughts?

Mitchell Cuddie
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20180417/d811fc25/attachment.html>

[Cocci] Blocks Support?

[Julia Lawall]

On Tue, 17 Apr 2018, Mitchell Cuddie wrote:

> Has anyone looked at supporting the blocks extension in Coccinelle?
> https://clang.llvm.org/docs/BlockLanguageSpec.html
>
> There are a number of large projects like WebKit that could make use of
> Coccinelle if it could parse the code. Any thoughts?

Looking extremely quickly it looks like it could be possible.  Do you just
want the parser not to crash or to change this kind of code.  Could you
send a small typical example?

julia

[Cocci] Blocks Support?

[Julia Lawall]

On Tue, 17 Apr 2018, Julia Lawall wrote:

>
>
> On Tue, 17 Apr 2018, Mitchell Cuddie wrote:
>
> > Has anyone looked at supporting the blocks extension in Coccinelle?
> > https://clang.llvm.org/docs/BlockLanguageSpec.html
> >
> > There are a number of large projects like WebKit that could make use of
> > Coccinelle if it could parse the code. Any thoughts?
>
> Looking extremely quickly it looks like it could be possible.  Do you just
> want the parser not to crash or to change this kind of code.  Could you
> send a small typical example?

Currently, Coccinelle doesn't support nested function definitions.

Are these blocks used heavily in the code you are interested in?  If
Coccinelle can't parse one function, it will just move on to the next one.

julia

[Cocci] Blocks Support?

[Mitchell Cuddie]

Julia,

The original patch I was looking at uses nested functions heavily and required modifying them. I will look for a different strategy on this patch and see if there is a better example elsewhere.

Mitchell

> On May 5, 2018, at 2:16 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
> 
> 
> 
> On Tue, 17 Apr 2018, Julia Lawall wrote:
> 
>> 
>> 
>> On Tue, 17 Apr 2018, Mitchell Cuddie wrote:
>> 
>>> Has anyone looked at supporting the blocks extension in Coccinelle?
>>> https://clang.llvm.org/docs/BlockLanguageSpec.html
>>> 
>>> There are a number of large projects like WebKit that could make use of
>>> Coccinelle if it could parse the code. Any thoughts?
>> 
>> Looking extremely quickly it looks like it could be possible.  Do you just
>> want the parser not to crash or to change this kind of code.  Could you
>> send a small typical example?
> 
> Currently, Coccinelle doesn't support nested function definitions.
> 
> Are these blocks used heavily in the code you are interested in?  If
> Coccinelle can't parse one function, it will just move on to the next one.
> 
> julia