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

[Ted Kremenek]

On Feb 3, 2009, at 7:28 PM, Zhongxing Xu wrote:

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

Sounds great to me.

> Are there cases that we would have untyped SymbolicRegion?

An "untyped" region could potentially just have type "void" or some  
similar marker.

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