[PATCH] D54592: [analyzer][CStringChecker] evaluate explicit_bzero

[David CARLIER via Phabricator via cfe-commits]

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