devnexen marked an inline comment as done.
devnexen added inline comments.
================
Comment at: test/Analysis/string.c:1399
+ bzero(str, 2);
+ clang_analyzer_eval(strlen(str) == 0); // expected-warning{{UNKNOWN}}
+}
----------------
NoQ wrote:
> I suspect that the reason why this didn't work is that you forgot
> `.addTransition()`.
>
> Could you also test that `bzero(str + 2, 2);` doesn't turn `strlen(str)` into
> zero?
Good point(s).
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54592/new/
https://reviews.llvm.org/D54592
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
