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: > martong wrote: > > 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). > We could still test it, and put there a FIXME. Ok, added a fixme. 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