[cfe-dev] MemRegion referenced by a LazyCompoundVal not considered as "live"

[Ádám Balogh via cfe-dev]

Hello,

In a checker I have to clean up some data indexed to MemRegions from the GDM. I do it in checkDeadSymbols where I use isLiveRegion() to check whether a region is live. However, it returns false for memory regions which are referenced by a LazyCompoundVal. Is this correct? If it is, how to save these regions? I could not find a way to search for LazyCompoundVals which reference a MemRegion. Thank you in advance!

Regards,

Ádám

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