[PATCH] D42192: [analyzer] Assume that the allocated value is non-null before construction, not after.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Forgot to mention that this patch follows the tradition of duplicating code from `VisitCXXNewExpr()` to `VisitCXXNewAllocatorCall()` - until we enable `c++-allocator-inlining` by default and clean away the old mode support from `VisitCXXNewExpr()` (which would become pretty trivial).


Repository:
  rC Clang

https://reviews.llvm.org/D42192