[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 mailing list