On 2011/08/28 06:50, Julia Lawall wrote:
> Could you try running eg the first one outside of the testall framework.
> Ie just spatch -sp tests/incpos.cocci tests/incpos.c ? Perhaps it will
> give more information about where the problem occurs.
$ spatch -sp tests/incpos.cocci tests/incpos.c
init_defs_builtins: /usr/local/share/coccinelle/standard.h
warning: line 3: should tests be a metavariable?
warning: line 3: should incpos be a metavariable?
HANDLING: tests/incpos.c
No matches found for cocci incpos tests
Skipping:tests/incpos.c
@@
@@
* tests/incpos.cocci
On 2011/08/28 08:38, Julia Lawall wrote:
> > $ spatch -sp_file demos/regexp.cocci demos/regexp.c -o /tmp/re.c
> > init_defs_builtins: /usr/local/share/coccinelle/standard.h
> > Fatal error: exception Invalid_argument("equal: abstract value")
>
> A patch for this is below.
Thanks, this fixes regexp for me.
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
