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. (See point number 13 here: http://manju.cs.berkeley.edu/cil/cil004.html . ) -Elnatan On Jun 21, 2009, at 10:18 PM, Divya Krishnan wrote: > 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 ------------------------------------------------------------------------------ Are you an open source citizen? Join us for the Open Source Bridge conference! Portland, OR, June 17-19. Two days of sessions, one day of unconference: $250. Need another reason to go? 24-hour hacker lounge. Register today! http://ad.doubleclick.net/clk;215844324;13503038;v?http://opensourcebridge.org _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
