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

Peter Szecsi via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jan 18 15:51:23 PST 2018

szepet updated this revision to Diff 130505.
szepet added a comment.

> I essentially have one question at a glance - for loop counter variables, don't we want LoopEntrance be before the initialization?

I guess this would just make too much sense. Done that.

Additionally, handle the cases when we just hop to the body of the loop via goto stmt.
Now the patches can be applied without any conflict (added the loopexit patch as a dependency).



-------------- next part --------------
A non-text attachment was scrubbed...
Name: D41150.130505.patch
Type: text/x-patch
Size: 17223 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180118/86c92991/attachment-0001.bin>

More information about the cfe-commits mailing list