[PATCH] D22862: [analyzer] Fix for PR15623: eliminate unwanted ProgramState checker data propagation.

[Artem Dergachev via cfe-commits]

NoQ added a comment.

Hmm. The test in `unwanted-programstate-data-propagation.c` passes on my machine even without the patch, and the return value on the respective path is correctly represented as `(conj_$6{void *}) != 0U`, which comes from the `evalCast()` call in `VisitLogicalExpr()` and is the default behavior of `evalCast()` for Loc to pointer casts. There seems to be something amiss.


https://reviews.llvm.org/D22862