diff options
| author | Kristóf Umann <dkszelethus@gmail.com> | 2022-02-04 15:40:08 +0100 |
|---|---|---|
| committer | Kristóf Umann <dkszelethus@gmail.com> | 2022-03-01 17:13:04 +0100 |
| commit | 32ac21d04909da0d50d3b24100d5d9ab30b29a95 (patch) | |
| tree | 91be561f3e65acbd9f71e936c9c55bdd4ea0f8ce /llvm/lib/Analysis/ModuleSummaryAnalysis.cpp | |
| parent | fa55ac6c27b668385f40658b1e2be8a16184b7d0 (diff) | |
| download | llvm-32ac21d04909da0d50d3b24100d5d9ab30b29a95.zip llvm-32ac21d04909da0d50d3b24100d5d9ab30b29a95.tar.gz llvm-32ac21d04909da0d50d3b24100d5d9ab30b29a95.tar.bz2 | |
[NFC][analyzer] Allow CallDescriptions to be matched with CallExprs
Since CallDescriptions can only be matched against CallEvents that are created
during symbolic execution, it was not possible to use it in syntactic-only
contexts. For example, even though InnerPointerChecker can check with its set of
CallDescriptions whether a function call is interested during analysis, its
unable to check without hassle whether a non-analyzer piece of code also calls
such a function.
The patch adds the ability to use CallDescriptions in syntactic contexts as
well. While we already have that in Signature, we still want to leverage the
ability to use dynamic information when we have it (function pointers, for
example). This could be done with Signature as well (StdLibraryFunctionsChecker
does it), but it makes it even less of a drop-in replacement.
Differential Revision: https://reviews.llvm.org/D119004
Diffstat (limited to 'llvm/lib/Analysis/ModuleSummaryAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions