diff options
| author | Valeriy Savchenko <vsavchenko@apple.com> | 2020-04-20 11:08:57 +0300 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2020-04-20 12:33:01 +0300 |
| commit | 1f67508b7fedb3a0c8ea55a1f5674346563e2bf2 (patch) | |
| tree | 844ed039f88b47320fc32095ff121f6a28fc080f /llvm/utils/FileCheck/FileCheck.cpp | |
| parent | 09a1f090509eb5971ade7089330008c6e4024d30 (diff) | |
| download | llvm-1f67508b7fedb3a0c8ea55a1f5674346563e2bf2.zip llvm-1f67508b7fedb3a0c8ea55a1f5674346563e2bf2.tar.gz llvm-1f67508b7fedb3a0c8ea55a1f5674346563e2bf2.tar.bz2 | |
[analyzer] Do not report CFError null dereference for nonnull params.
We want to trust user type annotations and stop assuming pointers declared
as nonnull still can be null. This functionality is implemented as part
of NonNullParamChecker because it already checks parameter attributes.
Whenever we start analyzing a new function, we assume that all parameters
with 'nonnull' attribute are indeed non-null.
Patch by Valeriy Savchenko!
Differential Revision: https://reviews.llvm.org/D77806
Diffstat (limited to 'llvm/utils/FileCheck/FileCheck.cpp')
0 files changed, 0 insertions, 0 deletions