steakhal added inline comments.
================
Comment at:
clang/test/Analysis/symbol-simplification-mem-region-to-int-cast.cpp:23
+ clang_analyzer_eval(p == 0); // expected-warning{{TRUE}}
+ clang_analyzer_eval(p_as_integer == 0); // expected-warning{{UNKNOWN}}
+
----------------
steakhal wrote:
> Why is this ``UNKNOWN`? I would expect `TRUE` here as well.
Hmm, I meant it for line 39 :D
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D117229/new/
https://reviews.llvm.org/D117229
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
