On Sat, 11 Jul 2015, Julia Lawall wrote:
> On Thu, 9 Jul 2015, Kris Borer wrote: > > > I was able to get some basic binary operator matching working with version > > 1.0.1, but got stuck with the following example. Any advice would be > > appreciated. > > Here is a patch. Thanks again for the helpful bug report, Hmm, it seems that the patch does not solve the problem completely. More later. julia > julia > > diff --git a/parsing_cocci/iso_pattern.ml b/parsing_cocci/iso_pattern.ml > index 3cbaf37..5967039 100644 > --- a/parsing_cocci/iso_pattern.ml > +++ b/parsing_cocci/iso_pattern.ml > @@ -2184,9 +2184,10 @@ let copy_minus printer minusify model e = > Ast0.MINUS(mc) -> minusify e > | Ast0.CONTEXT(mc) -> e > | Ast0.MIXED(_) -> > - if !Flag.sgrep_mode2 > - then e > - else failwith "not possible 8" > + (* This is possible if the model of an isomorphism is a single > + metavariable, and this metavariable matches mixed code. > + Previously, this failed with impossible if not in sgrep mode. *) > + e > | Ast0.PLUS _ -> failwith "not possible 9" > > let whencode_allowed prev_ecount prev_icount prev_dcount > _______________________________________________ > Cocci mailing list > [email protected] > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
