Thank you everyone for the input.
s.succs is mutable, then how can it be read-only? Also how do we recognize
other such fields in Cil?
-Divya
On Mon, Apr 27, 2009 at 4:04 PM, Gabriel Kerneis wrote:
> On Mon, Apr 27, 2009 at 02:14:45PM -0400, Elnatan Reisner wrote:
> > I don't know why changing s
On Mon, Apr 27, 2009 at 02:14:45PM -0400, Elnatan Reisner wrote:
> I don't know why changing s.succs didn't work,
Because this is a read-only field, computed by Cfg. It contains control-flow
graph information, nothing else.
> but I think you should be able to use ChangeTo if you replace 's' with
program.
Mark
From: Elnatan Reisner [elna...@cs.umd.edu]
Sent: Monday, April 27, 2009 1:14 PM
To: Divya Krishnan
Cc: cil-users@lists.sourceforge.net
Subject: Re: [CIL users] Adding stmts after a particular statement
I don't know why changing s.succs didn't work, but I think you should b
I had faced a similar issue. It does not change for a reason thats
buried in this mailing list. But the solution I used to get around it
was to change when I am visiting a block. You can loop through all
statements in a block and change as you pass through you your required
statement.
-Asim
On 4/
I don't know why changing s.succs didn't work, but I think you should be
able to use ChangeTo if you replace 's' with a statement with skind
Block and put the list of statements you want into that Block.
-Elnatan
On Mon, 2009-04-27 at 13:47 -0400, Divya Krishnan wrote:
> Hi ,
> I would like to add
