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

Reply via email to