Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-11-23 22:00:10 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

[analyzer][NFC] Demonstrate the use of CallDescriptionSet

Browse Source 
Reviewed By: martong, xazax.hun

Differential Revision: https://reviews.llvm.org/D113592
This commit is contained in:
Balazs Benics 2021-11-19 18:32:13 +01:00
parent f18da190b0
commit 9ad0a90baa
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
View File

@ -534,10 +534,12 @@ void CFNumberChecker::checkPreStmt(const CallExpr *CE,
namespace {
class CFRetainReleaseChecker : public Checker<check::PreCall> {
mutable APIMisuse BT{this, "null passed to CF memory management function"};
CallDescription CFRetain{"CFRetain", 1},
CFRelease{"CFRelease", 1},
CFMakeCollectable{"CFMakeCollectable", 1},
CFAutorelease{"CFAutorelease", 1};
const CallDescriptionSet ModelledCalls = {
{"CFRetain", 1},
{"CFRelease", 1},
{"CFMakeCollectable", 1},
{"CFAutorelease", 1},
};
public:
void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
@ -551,8 +553,7 @@ void CFRetainReleaseChecker::checkPreCall(const CallEvent &Call,
return;
// Check if we called CFRetain/CFRelease/CFMakeCollectable/CFAutorelease.
if (!matchesAny(Call, CFRetain, CFRelease, CFMakeCollectable, CFAutorelease))
if (!ModelledCalls.contains(Call))
return;
// Get the argument's value.