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

[Zhongxing Xu]

On Wed, Feb 4, 2009 at 11:04 AM, Zhongxing Xu <xuzhongxing at gmail.com> wrote:

> 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?


Or, we could always know the RValue type of a symblic region?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090204/e874744c/attachment.html>