Re: [CIL users] Cil & if statement

[Gabriel K. <ke...@pp...>]

On Sun, Jan 04, 2009 at 03:13:24AM -0500, ThanhVu (Vu) Nguyen wrote:
> is it possible to use Cil  to recognize an  "if" block of code without
> the "else"  and add an "else" block to that.

Yes, you can write a visitor with the following vstmt method:

  method vstmt s = match s.skind with
  | If (_,_,{bstmts=[]} as b,_) ->
      b.bstmts <- [ (* whatever statements you like *) ];
      DoChildren
  | _ -> DoChildren

But you must be aware that the If statements in the CIL AST do not match
exactly those in your code.

Regards,
-- 
Gabriel Kerneis