On Thu, 2 Aug 2012, Arie Middelkoop wrote: > On 02/08/12 11:50, Lars-Peter Clausen wrote: > > But this would still leave the issue open for nested scopes inside a > > function. And requires a extra set of rules to match identifiers outside of > > functions. > > This is the intended behavior. The identifiers match using name equality > without taking scope into account.
Just for clarification, idexpressions point to their binders and only match other idexpressions bound at the same place within a single rule. julia > If need be, perhaps you can match on the block/body that encapsulates the > identifier declaration and its uses, and then use position to verify that you > only match against identifiers within that scope. > > Arie > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
