projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e25a260) | patch
[analyzer] Fix crash for non-pointers annotated as nonnull
authorValeriy Savchenko <vsavchenko@apple.com>
Wed, 13 May 2020 10:02:00 +0000 (13:02 +0300)
committerValeriy Savchenko <vsavchenko@apple.com>
Wed, 13 May 2020 10:36:49 +0000 (13:36 +0300)
commit855f0ce79bf3bdf34a390d1f5fd842a6aa79d5ef
tree28c20c600322a4e66ab3721d6c4ae5e62bd0e803tree | snapshot
parente25a2601aaa95c861af3228982ecbb2b1c19d27acommit | diff
[analyzer] Fix crash for non-pointers annotated as nonnull

Summary:
Nonnull attribute can be applied to non-pointers.  This caused assertion
failures in NonNullParamChecker when we tried to *assume* such parameters
to be non-zero.

rdar://problem/63150074

Differential Revision: https://reviews.llvm.org/D79843
clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp diff | blob | history
clang/test/Analysis/UserNullabilityAnnotations.m diff | blob | history
Domain: System / Toolchain;