in my CIL module I'm trying to keep track precisely of the line
numbers for the initialization code of the globals (like arrays or
I'm using for that the cilVisitor and in particular the vinit
function. However, if I'm not mistaken, the only "location" available
in this context is the vdecl field of the varinfo which is passed to
vinit. This location represents only the starting line of the
initialization of the variable. I would like to have a finer
granularity, like for instance a different location for each
"SingleInit" element. This would allow me to track more precisely the
line number of each part of a global array or a global structure,
which frequently span several lines in the source code.
Any idea on how I could this ?