[cfe-commits] [PATCH] Fix for PR7218, and analyzer support for calloc()

[Ted Kremenek]

That was my thought as well.  Eventually this will either get implemented for real in RegionStoreManager, or in the new FlatStoreManager.

On May 30, 2010, at 7:03 PM, Zhongxing Xu wrote:

> I think this fix suffices for now. Limiting the hack to the only case mentioned above is reasonable. For other cases we don't query the direct binding of super regions of element regions.