[cfe-commits] r63929 - /cfe/trunk/lib/Analysis/RegionStore.cpp

[Zhongxing Xu]

On Sat, Feb 7, 2009 at 2:16 AM, Ted Kremenek <kremenek at apple.com> wrote:

> Actually SymbolRegions do have a size... their just symbolic.  At some
> point we might want to consider modeling symbolic extents.


Yes.


>
>
> On Feb 6, 2009, at 12:51 AM, Zhongxing Xu wrote:
>
>  Author: zhongxingxu
>> Date: Fri Feb  6 02:51:30 2009
>> New Revision: 63929
>>
>> URL: http://llvm.org/viewvc/llvm-project?rev=63929&view=rev
>> Log:
>> SymbolicRegions really have unknown sizes.
>>
>> Modified:
>>   cfe/trunk/lib/Analysis/RegionStore.cpp
>>
>> Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
>> URL:
>> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=63929&r1=63928&r2=63929&view=diff
>>
>>
>> ==============================================================================
>> --- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
>> +++ cfe/trunk/lib/Analysis/RegionStore.cpp Fri Feb  6 02:51:30 2009
>> @@ -481,9 +481,7 @@
>>    return UnknownVal();
>>  }
>>
>> -  if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) {
>> -    // FIXME: Unsupported yet.
>> -    SR = 0;
>> +  if (isa<SymbolicRegion>(R)) {
>>    return UnknownVal();
>>  }
>>
>>
>>
>> _______________________________________________
>> cfe-commits mailing list
>> cfe-commits at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090207/2b376de7/attachment.html>