[Cocci] Checker - request for comments

[Julia Lawall]

On Wed, 11 Jan 2012, Robert Gomulka wrote:

> On 11 January 2012 12:28, Julia Lawall <julia.lawall at lip6.fr> wrote:
> [cut]
> Thank you again for your kind answer.
> I was able to perfectly solve my issue.
> However, out of curiosity ...
>
> type T;
>
> E = realloc at p(E,...)
> |
> E = (T) realloc at p(E,...)

You can just keep the second version.  An isomorphism allows the (T) to 
disappear.

> I had to above the above disjunction, because in some places I had
> realloc casts. Is it a way to simplify that?
> I've tried:
> E = <... (T) ...> realloc at p(E,...)
> but:
> = File "tools/coccinelle/tests/realloc3.cocci", line 10, column 13,
> charpos = 133
>    around = '...>', whole content = E = <... (T) ...> realloc at p(E,...)
> ")

This indeed doesn't work.

julia

>
> By the way ...
> I know more and more about Coccinelle, however the learning process
> requires collecting various pieces (gems) from all the places ...
>
> Best regards,
> Robert
>