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

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 8 08:49:49 PDT 2016

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.


More information about the cfe-commits mailing list