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