For global variables, there are two different constructors: GVarDecl
for declarations without initialization and GVar for declarations with
initialization.
For local variables, CIL puts all declarations at the beginning of the
function, so *no* variable is initialized when it is declared. (S
Hi,
I need to identify if a variable is initialized at the time of its
declaration. I checked the fields of Cil.varinfo and there seems to be
nothing that gives this information. Is there any way that Cil provides for
this ?
Regards,
-Divya
-
