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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to