[cfe-dev] [SCA] Should the super region of the ElementRegion always be typed?

[Zhongxing Xu]

Consider this code:

void foo(int *p) {
  p[0] = 1;
}

Currently we evaluate p[0] to loc::SymbolVal. I want it to be
loc::MemRegionVal(ElementRegion(SymbolicRegion(SymbolRegionRValue(p)), 0)).
But
ElementRegion assumes its super region be typed. Is this assumption too
strong?

-Zhongxing Xu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090204/3eac2aae/attachment.html>