https://github.com/tahonermann requested changes to this pull request.
I believe the static analyzer is reporting a false positive in this case. I don't think this change is correct. `BuildClassMessage()` only dereferences `receiverTypeInfo` if the provided source location is not valid. The existing `assert` already validates this case. The change would have the effect of eliding calls that are ok to make when `receiverTypeInfo` is null. I think the right solution here is just to triage the static analysis report as a false positive. https://github.com/llvm/llvm-project/pull/90482 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits