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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 130335.
NoQ added a comment.

Use `auto`.


https://reviews.llvm.org/D42192

Files:
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  test/Analysis/new-ctor-conservative.cpp
  test/Analysis/new-ctor-null-throw.cpp
  test/Analysis/new-ctor-null.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D42192.130335.patch
Type: text/x-patch
Size: 6107 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180118/586632ca/attachment-0001.bin>