[clang] [Clang] Fix Null Pointer Dereference in Sema::BuildClassMessageImplicit() (PR #90482)

via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 30 10:48:02 PDT 2024


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


More information about the cfe-commits mailing list