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

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 26 18:40:58 PDT 2015


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





More information about the cfe-commits mailing list