[PATCH] D42721: [analyzer] NFC: Use construction contexts for finding the target region for the construction.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jan 30 16:11:32 PST 2018


NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a.sidorin, george.karpenkov, szepet.
Herald added subscribers: cfe-commits, rnkovacs.
NoQ added a dependency: D42719: [CFG] [analyzer] Add construction context when constructor is wrapped into ExprWithCleanups..

Previously, we were scanning the CFG forward in order to find out which CFG element contains the expression which is being initialized by the current constructor. Now we have all the context that we needed directly in the CFG (woohoo). As shown in the previous patches in the stack of patches, the new context thing is pretty easy to extend to more cases that we previously didn't support at all. More refactoring would follow soon.


Repository:
  rC Clang

https://reviews.llvm.org/D42721

Files:
  include/clang/Analysis/CFG.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D42721.132078.patch
Type: text/x-patch
Size: 6203 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180131/57b5a62e/attachment.bin>


More information about the cfe-commits mailing list