[PATCH] D41266: [analyzer] With c++-allocator-inlining, fix memory space for operator new pointers.

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Dec 16 09:51:52 PST 2017


xazax.hun accepted this revision.
xazax.hun added a comment.
This revision is now accepted and ready to land.

In the future, we might want to model the standard placement new and return a symbol with the correct SpaceRegion (i.e.: the space region of the argument).



================
Comment at: lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:491
+      // Placement forms are considered non-standard.
+      return (FD->getNumParams() == 1);
+    }
----------------
The parens are redundant here.


Repository:
  rC Clang

https://reviews.llvm.org/D41266





More information about the cfe-commits mailing list