[PATCH] D27202: [analyzer] Do not conjure a symbol for return value of a conservatively evaluated function

[Artem Dergachev via Phabricator via cfe-commits]

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).


https://reviews.llvm.org/D27202