martong marked 2 inline comments as done.
martong added inline comments.
================
Comment at: clang/test/Analysis/unary-sym-expr.c:35
+ return;
+ clang_analyzer_eval(-(x + y) == -3); // expected-warning{{TRUE}}
+}
----------------
steakhal wrote:
> Does it work if you swap x and y?
No, that does not. And the reason of that is we cannot handle commutativity
(yet).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D125318/new/
https://reviews.llvm.org/D125318
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
