[Cocci] Checker - request for comments
julia.lawall at lip6.fr
Wed Jan 11 14:25:34 CET 2012
On Wed, 11 Jan 2012, Robert Gomulka wrote:
> On 11 January 2012 12:28, Julia Lawall <julia.lawall at lip6.fr> wrote:
> 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
> 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,...)
> = 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.
> 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,
More information about the Cocci