NoQ accepted this revision. NoQ added a comment. This revision is now accepted and ready to land.
Approve! > null pointer dereference ...should in my opinion be tracked in a mild manner, as if it's a condition, because D62978 <https://reviews.llvm.org/D62978>. I think the definition we're looking for is "when we care only about why it's null, regardless of what it is or where it comes from". Say, in case of MallocChecker the malloc() call is the "origin" of the tracked pointer; we need to track it back to its original malloc. Similarly, in case of null dereference, the collapse point should be treated as an "origin" of the null pointer. The same for condition. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64270/new/ https://reviews.llvm.org/D64270 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
