<div dir="ltr">Hey!<div><br></div><div>This is short and sweet. MallocChecker uses both check::newAllocator and check::postStmt<CXXNewExpr> to model aspects of operator new. Mind that these two are redundant not only with each other, but with the already used check::postCall. The reason I can see is handling all values of the analyzer config c++-allocator-inlining.</div><div><br></div><div>So, this flag has been true by default for a long-long time, and I personally never changed had the need to change it. Is there a need to keep tiptoeing around it? Here is a patch that tackles the issue, but it quite dated and I'm not too sure about the current state of things.</div><div><br></div><div>[analyzer] Add a new checker callback, check::NewAllocator.<br></div><div><a href="https://reviews.llvm.org/D41406">https://reviews.llvm.org/D41406</a><br></div><div><br></div><div>Also, shouldn't we make check::NewAllocator provide a CXXAllocatorCall rather then a CXXNewExpr and a related under-construction SVal?</div><div><br></div><div>Cheers,</div><div>Husi</div></div>