[PATCH] [analyzer] [proposal] Fix for PR20653

[Aleksei Sidorin]

Thank you Jordan. Sorry for delay.
As I understand, a first revision of this patch has two problems:
1. It doesn't care about bindings to parent regions.
2. It misses a situation where a binding is added and removed before dead symbols removal.
And the second revision is broken completely.
Your idea is good since it solves the first problem but its implementation will take some time. And currently I have no ideas about a nice fix for the second problem.

http://reviews.llvm.org/D5104