[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function

Ted Kremenek kremenek at apple.com
Thu Nov 6 21:54:13 PST 2008


On Nov 6, 2008, at 9:45 PM, Zhongxing Xu wrote:

> I actually don't think a hybrid approach is not all that difficult  
> to implement.
>
>  Do you mean " ... don't think ... is all that difficult ...", since  
> two negation imply no negation.

Yes.

>
>
> A switch statement on the kind of a region should be enough to  
> determine when we can determine the extent of a region simply from  
> the MemRegion object itself or we need to look in a side map.
>
> I like (b1), too. Then we have a clear direction to go now. Thanks!

Great.



More information about the cfe-commits mailing list