[PATCH] D12358: [Analyzer] Handling constant bound loops

[Sean Eveson via cfe-commits]

seaneveson added a comment.

In http://reviews.llvm.org/D12358#241631, @cfe-commits wrote:

> Hi Sean,
>
> Ted provided more details off-list. He suspects that the problem is that we likely don't add MemSpaceRegions to the worklist because every region is a subregion of a MemSpaceRegion, and thus we would invalidate, by default, all regions that were in the same MemSpace as the regions we were invalidating.  He thinks we want to not change that behavior, but also provide a way of invalidating an entire MemSpace if so desired.  That's probably just a slight tweak to the algorithm.
>
> I’ll take a look at your updated patch to reproduce what you are seeing and investigate to see if that is what is going on.
>
> Thanks,
> Devin


Hi Devin,

That sounds good, thanks for looking at this.  Can you let me know when you will be able to look at this?  I am doing some work that builds on this patch's functionality and having this patch accepted would help.

Thanks,
Sean


http://reviews.llvm.org/D12358