diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-05-31 00:28:13 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-05-31 00:28:13 +0000 |
| commit | 7744c7f137bc7c079353f0ca40b7fa2b26bcdb3b (patch) | |
| tree | 95d994482f7753ee7d043fe66e0f2de6e909cfb5 /lldb/packages/Python/lldbsuite/test/python_api | |
| parent | e5bc4417913a3e606d572a5d661106612d3a99a7 (diff) | |
| download | bcm5719-llvm-7744c7f137bc7c079353f0ca40b7fa2b26bcdb3b.tar.gz bcm5719-llvm-7744c7f137bc7c079353f0ca40b7fa2b26bcdb3b.zip | |
[analyzer] Trust _Nonnull annotations, and trust analyzer knowledge about receiver nullability
Previously, the checker was using the nullability of the expression,
which is nonnull IFF both receiver and method are annotated as _Nonnull.
However, the receiver could be known to the analyzer to be nonnull
without being explicitly marked as _Nonnull.
rdar://40635584
Differential Revision: https://reviews.llvm.org/D47510
llvm-svn: 333612
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api')
0 files changed, 0 insertions, 0 deletions
