On Fri, 11 Mar 2011 23:29:52 +0100 (CET)
Julia Lawall <[email protected]> wrote:
> > Indeed, generating isomorphisms should be easy. But another thing that I
> > don't like is the need to
> > write 'using "caml.iso"' in every rule :(
>
> You can put it on the command line: -iso_file caml.iso
If I read the manual correctly it will replace standard isomorphisms..
> No, I don't think so. You can just make pattern for what you don't want
> and another for what you do want:
Yes, that works, thank you.
One more question, can I tell spatch to always expand certain macros? Or teach
it any other way
that
CAMLlocal1(v);
is equivalent to
value v;
cause otherwise it sometimes assumes (I guess) that v is a global variable and
wrecks havoc when it matches
the name of local variable in another function.. I tried specifying it via
Declaration or Statement isomorphism
but failed.
Another minor question :
@@
expression N, VAL;
expression alloc.tuple;
@@
(
- Field(tuple, N) = VAL
+ Store_field(tuple, N, VAL)
|
- Store_double_field(tuple, N, VAL)
+ Store_field(tuple, N, VAL)
)
The above patch is accepted, while next one is not - is this expected?
(probably not as exception is not caught)
@@
expression N, VAL;
expression alloc.tuple;
@@
(
- Field(tuple, N) = VAL
|
- Store_double_field(tuple, N, VAL)
)
+ Store_field(tuple, N, VAL)
Backtrace with OCAMLRUNPARAM=b :
Fatal error: exception Failure("75: no available token to attach to")
Raised at file "pervasives.ml", line 22, characters 22-33
Called from file "list.ml", line 69, characters 12-15
Called from file "insert_plus.ml", line 1089, characters 2-32
Called from file "parse_cocci.ml", line 1936, characters 13-59
Called from file "list.ml", line 57, characters 20-23
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "list.ml", line 57, characters 32-39
Called from file "parse_cocci.ml", line 1861, characters 4-1023
Called from file "cocci.ml", line 96, characters 34-68
Called from file "common.ml", line 1292, characters 12-16
Called from file "cocci.ml", line 1755, characters 6-34
Called from file "main.ml", line 940, characters 7-54
Called from file "main.ml", line 938, characters 10-1023
Called from file "main.ml", line 1082, characters 4-1023
Called from file "main.ml", line 1169, characters 6-13
Called from file "main.ml", line 1183, characters 4-36
Called from file "common.ml", line 1115, characters 45-48
Called from file "common.ml", line 173, characters 14-18
Re-raised at file "common.ml", line 178, characters 10-11
Called from file "common.ml", line 3586, characters 6-9
Called from file "main.ml", line 1182, characters 2-118
--
ygrek
http://ygrek.org.ua/
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
