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

[Zhongxing Xu]

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

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

How about we make SymbolicRegion subclass TypedRegion? Are there cases that
we would have untyped SymbolicRegion?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090204/feb3305a/attachment.html>