diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2020-04-07 17:57:50 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2020-05-29 16:38:45 +0200 |
| commit | 16506d789084fd037fc61d442da43dd5242872b7 (patch) | |
| tree | 2264d38767da887c5b42d73959256b7c5ced9a73 /llvm/lib/MC/MCDisassembler/MCDisassembler.cpp | |
| parent | 16fef6d0b46f0494c502f8fe416fe841f7b000f6 (diff) | |
| download | llvm-16506d789084fd037fc61d442da43dd5242872b7.zip llvm-16506d789084fd037fc61d442da43dd5242872b7.tar.gz llvm-16506d789084fd037fc61d442da43dd5242872b7.tar.bz2 | |
[analyzer] StdLibraryFunctionsChecker: Add sanity checks for constraints
Summary:
Once we found a matching FunctionDecl for the given summary then we
validate the given constraints against that FunctionDecl. E.g. we
validate that a NotNull constraint is applied only on arguments that
have pointer types.
This is needed because when we matched the signature of the summary we
were working with incomplete function types, i.e. some intricate type
could have been marked as `Irrelevant` in the signature.
Reviewers: NoQ, Szelethus, balazske
Subscribers: whisperity, xazax.hun, baloghadamsoftware, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, gamesh411, Charusso, steakhal, ASDenysPetrov, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D77658
Diffstat (limited to 'llvm/lib/MC/MCDisassembler/MCDisassembler.cpp')
0 files changed, 0 insertions, 0 deletions