On Sat, 27 Aug 2011, Stuart Henderson wrote:
> On 2011-08-27, Julia Lawall <[email protected]> wrote:
> > Version 1.0.0-rc7 is released. The only changes are
> >
> > * !=~ has become !~
>
> demos/regexp.cocci needs updating for this, it still uses !=~
Thanks!
> I'm actually trying to track down why Python (2.7) isn't working
> with coccinelle in the OpenBSD port, even with that fixed I am
> seeing the following:
>
> $ 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")
OK, this is our problem. I thought we fixed it, but apparently not well
enough. Thanks for the report.
> and from the regression tests using python:
>
> -- snip --
> Old error: PROBLEM
> exn = Failure("no python")
> New error: PROBLEM
> exn = Pycocci.Pycocciexception
>
> Semipb: still error but not same error : incpos.res
> Old error: PROBLEM
> exn = Failure("no python")
> New error: PROBLEM
> exn = Pycocci.Pycocciexception
>
> Semipb: still error but not same error : incpos1.res
> Old error: PROBLEM
> exn = Failure("no python")
> New error: PROBLEM
> exn = Not_found
>
> PBBBBBBBB: a test file does not work anymore!!! : stm1.res
> Error : PROBLEM
> exn = Pycocci.Pycocciexception
>
> PBBBBBBBB: a test file does not work anymore!!! : stm7.res
> Error : PROBLEM
> exn = Pycocci.Pycocciexception
> -- snip --
>
> If anyone can suggest things to look at in order to get this
> working I'd be very grateful..
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.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
