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

[Ted Kremenek]

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

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