Re: [CIL users] interprocedural CFG

2013-03-01 Thread Gabriel Kerneis
On Thu, Feb 28, 2013 at 04:26:21PM +0100, Mauro Baluda wrote: > With the purpose of building an interprocedural CFG I would like to be > able to have a separate sid for every function call > If I have a sequence of calls a();b(); they appear in the same stmt of > kind Instr, can I split an Instr i

[CIL users] interprocedural CFG

2013-03-01 Thread Mauro Baluda
With the purpose of building an interprocedural CFG I would like to be able to have a separate sid for every function call If I have a sequence of calls a();b(); they appear in the same stmt of kind Instr, can I split an Instr into a sequence of Instr? thank you, Mauro -- The sea has never been