[StaticAnalyzer] Fix block pointer type nullability check
authortripleCC <triplec.linux@gmail.com>
Tue, 30 May 2023 09:20:05 +0000 (11:20 +0200)
committerBalazs Benics <benicsbalazs@gmail.com>
Tue, 30 May 2023 09:20:05 +0000 (11:20 +0200)
commit993060e1d31d07e9c44e7164d24f9f495197ca87
treec300b16414db9c01d3774eb278ef5c5657406b3f
parent9c561e8f3c2e8292bce9d7b36657144ba26a1c91
[StaticAnalyzer] Fix block pointer type nullability check

This patch fixes a false negative when the property type
is an objective-c block pointer.

Patch By tripleCC!

Differential Revision: https://reviews.llvm.org/D151651
clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
clang/test/Analysis/nullability.mm