What about adding a warning in parse_cocci.eval_virt ? if not (List.is_empty virt) && List.is_empty !Flag.defined_virtual_rules then <warning>
Iago On Wed, Jun 1, 2016 at 5:21 PM, Julia Lawall <[email protected]> wrote: > > > On Wed, 1 Jun 2016, Iago Abal wrote: > > > The error is generated at parsing_cocci/get_constants2.ml but in several > > places within that file. How are virtual rules represented in > > parsing_cocci/ast_cocci.ml? > > There is just !Flags.defined_virtual_rules in the directory globals. > > Afterwards, they are just simplified away in the parsing process > (parse_cocci.ml, function eval_depend). They aren't explicitly > represented in the AST. > > julia > > > > > Iago > > > > On Wed, Jun 1, 2016 at 4:54 PM, Julia Lawall <[email protected]> > wrote: > > > > > > On Wed, 1 Jun 2016, Iago Abal wrote: > > > > > That would help, where do you check virtual rules? > > > > To my recollection, they are just checked on the interpretation > > of > > relevant depends ons. But they could easily be checked for at > > the time of > > generating the message. > > > > julia > > > > > > > > > > >
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
