Szelethus added a comment. In D120992#3364804 <https://reviews.llvm.org/D120992#3364804>, @NoQ wrote:
> This check checks must-properties/all-paths properties. This has to be a data > flow / CFG-based warning. I don't think there's a way around. Oof. I concede on that. Do you think there is any point in turning this into an optin checker? Or the philosophy should be that this is just way too wild? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D120992/new/ https://reviews.llvm.org/D120992 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
