Re: [CIL users] "marking" statements

[Pietro B. <pie...@un...>]

Il giorno 16/nov/2012, alle ore 14.29, Gabriel Kerneis ha scritto:

> On Thu, Nov 15, 2012 at 06:01:50PM +0100, Pietro Braione wrote:
>> Our current idea is to inject some kind of assignment statement to a fubar
>> variable as, e.g., _next_statement_is_relevant = 1, right before every
>> "relevant" statement. Can anyone suggest something better?
> 
> Some magic label on relevant statements?  (but you should be careful that CIL
> does not erase it, and have a different label for every statement — not easy)

Injecting labels was our first idea, but some CIL pass removes them. Is there some way to avoid that?
Pietro