diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2020-05-05 16:37:10 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2020-05-14 15:28:40 +0200 |
| commit | d061685a8304eb0b6adacd24f8dd2c2ef6dfee39 (patch) | |
| tree | 0c7a34dd5d5d1aad332026b0733945304bb8e53e /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 7b8e3065606cb555e7528e3b59d5e164ecf008fa (diff) | |
[analyzer] Make NonNullParamChecker as dependency for StdCLibraryFunctionsChecker
Summary:
If a given parameter in a FunctionDecl has a nonull attribute then the NonNull
constraint in StdCLibraryFunctionsChecker has the same effect as
NonNullParamChecker. I think it is better to emit diagnostics from the simpler
checker. By making NonNullParamChecker as a dependency, in these cases it will
be the first to emit a diagnostic and to stop the analysis on that path.
Reviewers: Szelethus, NoQ, baloghadamsoftware, balazske, steakhal
Subscribers: whisperity, xazax.hun, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, gamesh411, Charusso, ASDenysPetrov, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D79420
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions