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
