[PATCH] D45416: [analyzer] ExprEngine: model GCC inline asm rvalue cast outputs

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

I mean, like, if we try to work with the existing AST then we're stuck with a prvalue expression that represents an lvalue and will be assigned a `Loc` value, which is pretty weird anyway. Getting rid of the ParentMap in favor of providing enough context (eg. in the CFG or in checker callbacks) whenever we might want to use it sounds like a much saner solution. There might be other "unknown unknowns" about rewriting the AST, but our current problem looks as safe as we'll ever get.


Repository:
  rC Clang

https://reviews.llvm.org/D45416