[PATCH] D24307: calculate extent size for memory regions allocated by C++ new expression
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 7 14:06:30 PDT 2016
xazax.hun added inline comments.
Comment at: lib/StaticAnalyzer/Checkers/MallocChecker.cpp:1003
@@ +1002,3 @@
+ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C,
+ const CXXNewExpr *NE,
> I am not sure this code belongs to the malloc checker since it only supports the array bounds checker. Is there a reason it's not part of that checker?
I think it is part of the malloc checker because it already does something very very similar to malloc, see the MallocMemAux function. So in fact, for the array bounds checker to work properly, the malloc checker should be turned on.
More information about the cfe-commits