[PATCH] D50866: [analyzer] CFRetainReleaseChecker: Avoid checking C++ methods with the same name.
George Karpenkov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 20 13:42:57 PDT 2018
george.karpenkov added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp:537
+ mutable APIMisuse BT{this, "null passed to CF memory management function"};
+ CallDescription CFRetain{"CFRetain", 1},
+ CFRelease{"CFRelease", 1},
----------------
I personally would prefer being less fancy, and avoiding the comma operator, but I suppose it's a matter of style.
================
Comment at: lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp:567
+ ProgramStateRef stateNonNull, stateNull;
+ std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
----------------
There's also DefArgVal
Repository:
rC Clang
https://reviews.llvm.org/D50866
More information about the cfe-commits
mailing list