[PATCH] D45706: [CFG] [analyzer] Add construction contexts for loop condition variables.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet.
Herald added subscribers: cfe-commits, rnkovacs.

Loop condition variables (eg. `while (shared_ptr<int> P = getIntPtr()) { ... }`) weren't handled in https://reviews.llvm.org/D42699 because they don't go through `CFGBuilder::VisitDeclStmt`. Which means that they regressed in https://reviews.llvm.org/D42721.

Fix them by providing the construction context.


Repository:
  rC Clang

https://reviews.llvm.org/D45706

Files:
  lib/Analysis/CFG.cpp
  test/Analysis/auto-obj-dtors-cfg-output.cpp
  test/Analysis/cfg-rich-constructors.cpp
  test/Analysis/scopes-cfg-output.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45706.142711.patch
Type: text/x-patch
Size: 8978 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180416/84a80502/attachment-0001.bin>