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

[Gábor Horváth via cfe-commits]

xazax.hun added a comment.

A conservative solution should work.

But if we want to preserve some precision I think it should be possible to not to invalidate those values on the stack that are not effected by the loop. The hard problem here is that, it is impossible to reason about the heap without global knowledge, so if there is a pointer on the heap to a local variable that should be invalidated as well.

What do you think?


http://reviews.llvm.org/D12358