rsmith added inline comments.
================
Comment at: test/Analysis/asm.cpp:9
+ ref = 1;
+ __asm__("" : "=r"((int)global)); // don't crash on rvalue output operand
+ clang_analyzer_eval(global == 1); // expected-warning{{UNKNOWN}}
----------------
Ugh, do we really need to support this nonsense? :(
If so, it'd seem reasonable to me to do the cleanup when building the AST
rather than in the CFG builder (that is, convert the LValueToRValue cast here
to a NoOp lvalue cast node, since that matches its actual semantics).
Repository:
rC Clang
https://reviews.llvm.org/D45416
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
