On Wed, 11 Jan 2012, Robert Gomulka wrote:
On 11 January 2012 12:28, Julia Lawall <[email protected]> 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@p(E,...)
|
E = (T) realloc@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@p(E,...)
but:
= File "tools/coccinelle/tests/realloc3.cocci", line 10, column 13,
charpos = 133
around = '...>', whole content = E = <... (T) ...> realloc@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
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
