[PATCH] D51531: [analyzer][UninitializedObjectChecker] Uninit regions are only reported once

[Umann Kristóf via Phabricator via cfe-commits]

Szelethus added a comment.

Sorry for the late reply.

I'm not actually super confident about this idea, I don't think it would add much value, compared to how complicated it would make things. This patch reduces report by a significant amount when pointer chasing is enabled, but a global set might make things that much cleaner -- if the same report would be made on different execution paths, it would be uniqued with the help of the uniqueing location. If it it wouldn't be, I guess it shouldn't be.

Of course, I'm always open to a discussion!


https://reviews.llvm.org/D51531