[PATCH] D30534: [analyzer] When creating a temporary object copy, properly copy the value into it.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 22 04:53:57 PDT 2017


NoQ updated this revision to Diff 92618.
NoQ marked 4 inline comments as done.
NoQ added a comment.

Fix review comments!

Add a callback order test to ensure that `checkRegionChanges` is called as many (or rather as few) times as necessary.


https://reviews.llvm.org/D30534

Files:
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  lib/StaticAnalyzer/Checkers/AnalysisOrderChecker.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  test/Analysis/temporaries-callback-order.cpp
  test/Analysis/temporaries.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D30534.92618.patch
Type: text/x-patch
Size: 11579 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170322/28a1077d/attachment-0001.bin>


More information about the cfe-commits mailing list