[cfe-dev] [SCA] Should the super region of the ElementRegion always be typed?
Zhongxing Xu
xuzhongxing at gmail.com
Tue Feb 3 19:04:28 PST 2009
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>
More information about the cfe-dev
mailing list