[PATCH] D41150: [CFG] Adding new CFGStmt LoopEntrance for the StaticAnalyzer

Peter Szecsi via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 12 18:24:41 PST 2017

szepet created this revision.
szepet added reviewers: dcoughlin, zaks.anna, NoQ, rsmith.
Herald added subscribers: dkrupp, a.sidorin, baloghadamsoftware, whisperity.

Adding LoopEntrance as a new CFGElement to the CFG.
This element is added as the last element of the CFGBlock just before the loop condition block.
This can help the Static Analyzer to have a more precise loop modeling.



-------------- next part --------------
A non-text attachment was scrubbed...
Name: D41150.126667.patch
Type: text/x-patch
Size: 10604 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20171213/0b7b9271/attachment.bin>

More information about the cfe-commits mailing list