[PATCH] D27202: [analyzer] Do not conjure a symbol for return value of a conservatively evaluated function
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 18 00:03:50 PST 2017
NoQ planned changes to this revision.
NoQ added a comment.
Yep, because there are a lot more places in which the value of the expression suddenly changes, i think i'd want to either fix all of them, or (if i find some of those really reasonable) make a callback for checkers to subscribe to value replacements (which i'd prefer to treat as a trivial but definite step into alpha-renaming support).
More information about the cfe-commits