Re: [CIL users] RE : turn an instruction in a sta tement

2010-01-14 Thread Gabriel Kerneis
On Thu, Jan 14, 2010 at 04:51:47PM +0100, ROGER Muriel wrote: > method vstmt (myStmt : stmt) = > match myStmt.skind with > | Instr i -> >match i with > | Set((Var vi,off),e,loc) when (Pc_util.isBoolExp e) -> > let the

[CIL users] RE : turn an instruction in a sta tement

2010-01-14 Thread ROGER Muriel
Yes, here it is method vstmt (myStmt : stmt) = match myStmt.skind with | Instr i -> match i with | Set((Var vi,off),e,loc) when (Pc_util.isBoolExp e) ->