[PATCH] D60808: [analyzer] pr41335: NoStoreFuncVisitor: Fix crash when no-store event is in a body-farmed function.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Apr 17 17:39:53 PDT 2019
NoQ planned changes to this revision.
NoQ added a comment.
In D60808#1469734 <https://reviews.llvm.org/D60808#1469734>, @NoQ wrote:
> Hmm, i think i'd love to know why doesn't the uninitialized variable checker fire on the if-statement as farmed by the body farm:
Passing arguments to this whole body farm thing doesn't work. It builds the body for the declaration on line 4 but then calls the declaration on line 5, and parameter variables in the synthesized body don't match parameter variables of the call, so it cannot read argument values :/
CHANGES SINCE LAST ACTION
More information about the cfe-commits