The documentation for the "succs" field states that this field is filled by
computeCFGInfo: (* The successor statements. [...] Filled in only after the CFG
is computed.*)
This suggests the "succs" field should not be used for other purposes than to
manipulate the control flow graph, but perh
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
