[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...
Size: 10604 bytes
Desc: not available
More information about the cfe-commits