[PATCH] D131655: [analyzer] Nullability: Enable analysis of non-inlined nullable objc properties.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 452893.
NoQ added a comment.

Remove a redundant `C.addTransition(State)`. This caused us to run both the old mode and the new mode by producing a state split on an otherwise linear path.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D131655/new/

https://reviews.llvm.org/D131655

Files:
  clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  clang/test/Analysis/nullability.mm

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D131655.452893.patch
Type: text/x-patch
Size: 11445 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220816/1ed34e15/attachment.bin>