smanna12 wrote: > 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.
Thanks @tahonermann for reviews and explanation. Closing this 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