[PATCH] D46146: [analyzer] pr37152: Fix operator delete[] array-type-sub-expression handling.

Alexander Kornienko via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 26 15:17:41 PDT 2018


alexfh added inline comments.


================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:1089-1091
+    // Yes, it may even be a multi-dimensional array.
+    while (const auto *AT = getContext().getAsArrayType(DTy))
+      DTy = AT->getElementType();
----------------
Maybe add a FIXME to model multiple destructor calls?


Repository:
  rC Clang

https://reviews.llvm.org/D46146





More information about the cfe-commits mailing list