[PATCH] D75431: [analyzer][NFC] Merge checkNewAllocator's paramaters into CXXAllocatorCall

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sun Mar 15 22:52:31 PDT 2020


NoQ added inline comments.


================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h:905
 
+  SVal getObjectUnderConstruction(ProgramStateRef State) const {
+    return ExprEngine::getObjectUnderConstruction(State, getOriginExpr(),
----------------
Why does this method accept a state? Can't we use our own state?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75431/new/

https://reviews.llvm.org/D75431





More information about the cfe-commits mailing list