[cfe-commits] [patch] Subregion map

[Zhongxing Xu]

When we setup the subregion map, we should consider nested subregions.
Consider the code:

struct s1 {
  struct s2 {
    int d;
  } e;
};

void f(double timeout) {
  struct s1 a;
  a.e.d = (long) timeout;
  if (a.e.d == 10)
    a.e.d = 4;
}

Current implementation only setup subregion map from 'e' to 'd', but no map
from 'a' to 'e'. So we lost the binding for a.e.d. The attached patch uses a
worklist to record
intermediate region roots which are subregions themselves.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090317/9232fe90/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: submap.patch
Type: application/octet-stream
Size: 1361 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090317/9232fe90/attachment.obj>