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

[Phabricator via Phabricator via cfe-commits]

This revision was not accepted when it landed; it landed in state "Needs Review".
This revision was automatically updated to reflect the committed changes.
Closed by commit rL323370: [analyzer] Assume that the allocated value is non-null before construction. (authored by dergachev, committed by ).
Herald added a subscriber: llvm-commits.

Changed prior to commit:
  https://reviews.llvm.org/D42192?vs=130335&id=131326#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D42192

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D42192.131326.patch
Type: text/x-patch
Size: 6255 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180124/17220c0c/attachment-0001.bin>