[PATCH] D41796: [analyzer] Fix extent modeling for casted operator new values.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ abandoned this revision.
NoQ added a comment.

> is not quite intended (but not addressed yet)

https://reviews.llvm.org/D41250#971888 addresses the issue.

> However, if the operator is inlined

It isn't. Because if it is inlined, `MallocChecker` bails out immediately and doesn't try to model the extent - believing that we'd do a better job at that while modeling the actual allocator  in the inlined function.


Repository:
  rC Clang

https://reviews.llvm.org/D41796