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

[Aleksei Sidorin via Phabricator via cfe-commits]

a.sidorin added a comment.

> The ultimate solution would probably be to add a fake cloned asm statement to the CFG (instead of the real asm statement) that would point to the correct output child-expression(s) that are untouched themselves but simply have their noop casts removed.

I have some concerns about this solution. It will result in difference between AST nodes and nodes that user will receive during analysis and I'm not sure that it is good. What is even worse here is that a lot of AST stuff won't work properly - ParentMap, for example.

> Or we could try

Looks like something is missed here :)


Repository:
  rC Clang

https://reviews.llvm.org/D45416