NoQ added inline comments.
================
Comment at: test/Analysis/casts.c:134-139
+ clang_analyzer_eval(y1 == y2); // expected-warning{{TRUE}}
+
+ // FIXME: should be FALSE (i.e. equal pointers).
+ clang_analyzer_eval(y1 - y2); // expected-warning{{UNKNOWN}}
+ // FIXME: should be TRUE (i.e. same symbol).
+ clang_analyzer_eval(*y1 == *y2); // expected-warning{{UNKNOWN}}
----------------
Here we have `y1` pointing to `element{element{x, 3}, 5}` vs. both `y2` and
`y3` pointing to `element{x, 35}`. While `y3` is inevitably looking like that,
`y2` could have been same as `y1` if we didn't unwrap multi-dimensional array
elements.
https://reviews.llvm.org/D38797
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
