[all-commits] [llvm/llvm-project] 855f0c: [analyzer] Fix crash for non-pointers annotated as...

[Valeriy Savchenko via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 855f0ce79bf3bdf34a390d1f5fd842a6aa79d5ef
      https://github.com/llvm/llvm-project/commit/855f0ce79bf3bdf34a390d1f5fd842a6aa79d5ef
  Author: Valeriy Savchenko <vsavchenko at apple.com>
  Date:   2020-05-13 (Wed, 13 May 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp
    M clang/test/Analysis/UserNullabilityAnnotations.m

  Log Message:
  -----------
  [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