Hi,
If you carefully read the definition of CALL instruction, you will find
function can be regarded as an Cil.exp. So it's not difficult to solve your
problem. Take it as a clue.
Call of lvaloption * exp * explist * location
Ting
Ting SU,software institute,East China Normal University
tsul
Hi, Gabriel
I find some building error about your code snippet:
> method vfunc = function
> | GFun _ -> DoChildren
> | _ -> SkipChildren
The attached files are my code and my input file.
The bug still occurs.
Best!
Ting
From: Gabriel Kerneis
Date: 2013-07-26 15:23
To: tsuletg
Hi, cil world
i intend to write a module to insert an self-defined interface before each
statement in a function. I use the ‘queueInstr', but an error occurs with the
following message:
Bug: Visitor's instruction queue is not empty.
You should only use queueInstr inside a function body!
Fatal
Hi, CIL world
I have a question on the usedef module in CIL. Maybe someone could give me some
help.
I want to consider the formal parameters of a function as a variable definition
when finding use/def associations through the reaching definition module.
But i find CIL does not consider it as a d
Hello,
As far as i know, it seems that the creation of these temporary variables is
automatic, so they can not be removed.
Best Regards!
Ting SU,software institute,East China Normal University
Ph.D student
tsule...@gmail.com (Email,MSN)
From: प्रतीक स्कायवाल्कर
Date: 2013-03-10 00:52
To: cil
sis module?
Because i wish to use it do some interprocedural def-use pair analysis.
Best Regards!
Ting SU,software institute,East China Normal University
PhD. student
tsule...@gmail.com (Email,MSN)
From: Gabriel Kerneis
Date: 2013-03-02 16:59
To: tsuletgo
CC: cil-users
Subject: Re: [CIL user
Hello,
I have a question about the Reaching Definition module based on the Data Flow
module in CIL.
Can the RD(Reaching Definition) module analyzes interprocedural def-use pair of
a variable? or it only can do intraprocedural def-use pair analysis?
for example,
foo(int x){
x=3;
bar(x);
}
bar(int
