[cfe-dev] CSA: Getting the array subscripts which lead to uninitialized reads

[themod 1302 via cfe-dev]

Hello everyone,

suppose I have an array, which has some uninitialized elements like in the
following example:

int array[4];
array[0] = array[1] = array[2] = 0;
for (int i = 0; i < 4; ++i) {
  // read array[i] here
}

In my checker, I want to get all the values for i, which lead to
uninitialized reads. In the example that would be 3.
Dumping the ProgramState shows me that value:
 (i,0,direct) : 3 S32b
But how can I get it in my code?

Thanks, Tom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20171215/1a5cb1e0/attachment.html>