Author: Donát Nagy Date: 2024-05-08T12:38:33+02:00 New Revision: 6fa09616da7436f85eb7e1e1fd74e1ac078ddb0d
URL: https://github.com/llvm/llvm-project/commit/6fa09616da7436f85eb7e1e1fd74e1ac078ddb0d DIFF: https://github.com/llvm/llvm-project/commit/6fa09616da7436f85eb7e1e1fd74e1ac078ddb0d.diff LOG: [analyzer] Use explicit call description mode in MIGChecker (#91331) This commit explicitly specifies the matching mode (C library function, any non-method function, or C++ method) for the `CallDescription`s constructed in the checker `osx.MIG`. The code was simplified to use a `CallDescriptionMap` instead of a raw vector of pairs. This change won't cause major functional changes, but isn't NFC because it ensures that e.g. call descriptions for a non-method function won't accidentally match a method that has the same name. Separate commits have already performed this change in other checkers: - easy cases: e2f1cbae45f81f3cd9a4d3c2bcf69a094eb060fa, 6d64f8e1feee014e72730a78b62d9d415df112ff - MallocChecker: d6d84b5d1448e4f2e24b467a0abcf42fe9d543e9 - iterator checkers: 06eedffe0d2782922e63cc25cb927f4acdaf7b30 - InvalidPtr checker: 024281d4d26344f9613b9115ea1fcbdbdba23235 - apiModeling.llvm.ReturnValue: 97dd8e3c4f38ef345b01fbbf0a2052c7875ff7e0 ... and follow-up commits will handle the remaining few checkers. My goal is to ensure that the call description mode is always explicitly specified and eliminate (or strongly restrict) the vague "may be either a method or a simple function" mode that's the current default. Added: Modified: clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp Removed: ################################################################################ diff --git a/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp index 153a0a51e9802..9757a00f1fb2f 100644 --- a/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp @@ -46,13 +46,13 @@ class MIGChecker : public Checker<check::PostCall, check::PreStmt<ReturnStmt>, // additionally an argument of a MIG routine, the checker keeps track of that // information and issues a warning when an error is returned from the // respective routine. - std::vector<std::pair<CallDescription, unsigned>> Deallocators = { + CallDescriptionMap<unsigned> Deallocators = { #define CALL(required_args, deallocated_arg, ...) \ - {{{__VA_ARGS__}, required_args}, deallocated_arg} - // E.g., if the checker sees a C function 'vm_deallocate' that is - // defined on class 'IOUserClient' that has exactly 3 parameters, it knows - // that argument #1 (starting from 0, i.e. the second argument) is going - // to be consumed in the sense of the MIG consume-on-success convention. + {{CDM::SimpleFunc, {__VA_ARGS__}, required_args}, deallocated_arg} + // E.g., if the checker sees a C function 'vm_deallocate' that has + // exactly 3 parameters, it knows that argument #1 (starting from 0, i.e. + // the second argument) is going to be consumed in the sense of the MIG + // consume-on-success convention. CALL(3, 1, "vm_deallocate"), CALL(3, 1, "mach_vm_deallocate"), CALL(2, 0, "mig_deallocate"), @@ -78,6 +78,9 @@ class MIGChecker : public Checker<check::PostCall, check::PreStmt<ReturnStmt>, CALL(1, 0, "thread_inspect_deallocate"), CALL(1, 0, "upl_deallocate"), CALL(1, 0, "vm_map_deallocate"), +#undef CALL +#define CALL(required_args, deallocated_arg, ...) \ + {{CDM::CXXMethod, {__VA_ARGS__}, required_args}, deallocated_arg} // E.g., if the checker sees a method 'releaseAsyncReference64()' that is // defined on class 'IOUserClient' that takes exactly 1 argument, it knows // that the argument is going to be consumed in the sense of the MIG @@ -87,7 +90,7 @@ class MIGChecker : public Checker<check::PostCall, check::PreStmt<ReturnStmt>, #undef CALL }; - CallDescription OsRefRetain{{"os_ref_retain"}, 1}; + CallDescription OsRefRetain{CDM::SimpleFunc, {"os_ref_retain"}, 1}; void checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const; @@ -198,15 +201,12 @@ void MIGChecker::checkPostCall(const CallEvent &Call, CheckerContext &C) const { if (!isInMIGCall(C)) return; - auto I = llvm::find_if(Deallocators, - [&](const std::pair<CallDescription, unsigned> &Item) { - return Item.first.matches(Call); - }); - if (I == Deallocators.end()) + const unsigned *ArgIdxPtr = Deallocators.lookup(Call); + if (!ArgIdxPtr) return; ProgramStateRef State = C.getState(); - unsigned ArgIdx = I->second; + unsigned ArgIdx = *ArgIdxPtr; SVal Arg = Call.getArgSVal(ArgIdx); const ParmVarDecl *PVD = getOriginParam(Arg, C); if (!PVD || State->contains<RefCountedParameters>(PVD)) _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
