
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif; "><div>Thanks for the reply! I'll just check the block terminator type then.</div><div><br></div><div>-Masoug</div><div><div><div><br></div></div></div><div><br></div><span id="OLK_SRC_BODY_SECTION"><div style="font-family:Calibri; font-size:11pt; text-align:left; color:black; BORDER-BOTTOM: medium none; BORDER-LEFT: medium none; PADDING-BOTTOM: 0in; PADDING-LEFT: 0in; PADDING-RIGHT: 0in; BORDER-TOP: #b5c4df 1pt solid; BORDER-RIGHT: medium none; PADDING-TOP: 3pt"><span style="font-weight:bold">From: </span> Jordan Rose <<a href="mailto:jordan_rose@apple.com">jordan_rose@apple.com</a>><br><span style="font-weight:bold">Date: </span> Wednesday, August 7, 2013 9:30 AM<br><span style="font-weight:bold">To: </span> Sung-Yee Guo <<a href="mailto:masoug@gmail.com">masoug@gmail.com</a>><br><span style="font-weight:bold">Cc: </span> <<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a>>, Developers <<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a>><br><span style="font-weight:bold">Subject: </span> Re: [cfe-dev] Clang Control Flow Graph?<br></div><div><br></div><div><meta http-equiv="Content-Type" content="text/html charset=us-ascii"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Hi, Masoug. No, I don't think it's safe to make that assumption, even if it's true today. You'll have to use a visited set; llvm::SmallPtrSet should be able to handle it quite well.</div><div><br></div><div>Best,</div><div>Jordan</div><div><br></div><br><div><div>On Aug 6, 2013, at 18:37 , Sung-Yee Guo <<a href="mailto:masoug@gmail.com">masoug@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; font-size: 14px; font-family: Calibri, sans-serif;"><div>Hi,</div><div>Just a quick question: Are the CFGBlock IDs <i>strictly</i> assigned in the depth-first order? I was trying to traverse the CFG but terminators like for loops "trap" me into an infinite loop; the successors have a path back to the predecessor of some blocks. My thinking was that if the block ids were assigned in a specific order, I may be able to use them as a way to avoid running into infinite loops (and stack overflows).</div><div><br></div><div>Thanks!</div><div>-Masoug</div></div>

_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br></blockquote></div><br></div></div></span></body></html>