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) ->
                                       let thenBlock = mkBlock 
[mkStmtOneInstrWithValidSid
                                                                  (Set((Var 
vi,off),Cil.one,loc))]
                                       and elseBlock = mkBlock 
[mkStmtOneInstrWithValidSid
                                                                  (Set((Var 
vi,off),Cil.zero,loc))]
                                       in let ifStmt = mkStmt ~valid_sid:true 
(If(e, thenBlock, elseBlock, loc))
                                       in ChangeDoChildrenPost (myStmt, fun _ 
-> ifStmt)
                                   | _ ->   s)
                        | ...




-------- Message d'origine--------
De: Gabriel Kerneis [mailto:kern...@pps.jussieu.fr]
Date: jeu. 1/14/2010 4:43
À: ROGER Muriel
Cc: cil-users
Objet : Re: [CIL users] turn an instruction in a statement
 
On Thu, Jan 14, 2010 at 01:37:47PM +0100, ROGER Muriel wrote:
> Do you think there is a solution to this problem ?

At first sight, it should work.  Would you mind showing us the code of
your visitor (at least the vstmt method)?

Regards,
-- 
Gabriel Kerneis


------------------------------------------------------------------------------
Throughout its 18-year history, RSA Conference consistently attracts the
world's best and brightest in the field, creating opportunities for Conference
attendees to learn about information security's most important issues through
interactions with peers, luminaries and emerging and established companies.
http://p.sf.net/sfu/rsaconf-dev2dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to