[CIL users] significance of typ variable in CompoundInit ?

2010-03-16 Thread Steven Van Acker
Hello, according to the documentation of type init in CIL-API.pdf (p 26): CompoundInit of typ * (offset * init) list What significance does the "typ" variable have ? It doesn't seem to have any influence kind regards, -- Steven --

Re: [CIL users] Modifying If-Then-Else code block

2010-03-16 Thread Gabriel Kerneis
Hi, On Mon, Mar 15, 2010 at 05:01:09PM -0600, ThanhVu (Vu) Nguyen wrote: > Hi, I am trying to insert a function call "fun_dummy"  at each branch of an > if-else statement but facing some problems.  Hope someone can help.   TIA   > [...] > Below lists my code,   the problem with this is that it onl