[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