NoQ added a comment. I think interestingness definitely requires more work. In particular, in null dereference from `getenv()`, the note should be unprunable. But we can't control prunability dynamically yet, so it requires a bit more work. So I think this patch is ok to go and I'll hopefully follow up with more interestingness logic.
CHANGES SINCE LAST ACTION https://reviews.llvm.org/D122285/new/ https://reviews.llvm.org/D122285 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
