mgrang added a comment.

Thanks for all your review comments. I will try to address them soon.

Meanwhile, I have started an email thread on the general problem of writing 
checkers/sanitizers to detect non-deterministic behaviors. See 
http://lists.llvm.org/pipermail/llvm-dev/2018-August/125191.html.

The background for this is that I had already added support in LLVM to uncover 
2 types of non-deterministic behaviors: iteration of unordered containers and 
sorting of keys with same values. But that is only for LLVM code, not user 
code. I now wanted to write checkers so that we could detect non-deterministic 
behavior in user code. It would be great if the reviewers here could chip-in 
with comments/suggestions for this. Thanks!


Repository:
  rC Clang

https://reviews.llvm.org/D50488



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to