On Sun, 28 Aug 2011, Stuart Henderson wrote:
> 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
-sp_file
The -sp option has been changed so that it interprets the subsequent
string as semantic patch.
julia
> 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)
