]> granicus.if.org Git - clang/commit
Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..."
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 3 Dec 2018 21:04:30 +0000 (21:04 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 3 Dec 2018 21:04:30 +0000 (21:04 +0000)
commit674329f694109671fdb32e25005b8f0a066fbddf
tree3872f0b8f0e23f1d611a501ea9ab40c1756d0c9f
parent96556093d0bdcdc7ead3fba1e514e375fbc66bb5
Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..."

Buildbot failures were caused by an unrelated UB that was introduced in r347943
and fixed in r347970.

Also the revision was incorrectly specified as r344580 during revert.

Differential Revision: https://reviews.llvm.org/D54017

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@348188 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
test/Analysis/nullability-arc.mm [new file with mode: 0644]
test/Analysis/nullability.mm