[analyzer] Nullability: Don't infer nullable when passing as nullable parameter.
authorArtem Dergachev <artem.dergachev@gmail.com>
Sat, 9 Nov 2019 02:04:27 +0000 (18:04 -0800)
committerArtem Dergachev <artem.dergachev@gmail.com>
Sat, 9 Nov 2019 02:27:14 +0000 (18:27 -0800)
commit57adc37fe57c6edabc006e6de41523319e874c65
tree8cf677f30a9088d66ef86ac1e7a3e46bdaabd06b
parent60ab30ebce833c87bd4776f67cd9a82fe162ef9c
[analyzer] Nullability: Don't infer nullable when passing as nullable parameter.

You can't really infer anything from that.
clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
clang/test/Analysis/nullability.m [new file with mode: 0644]