<div><span style="color: rgb(160, 160, 168); ">On Tuesday, January 17, 2012 at 8:40 PM, Xu Zhongxing wrote:</span></div>
                <blockquote type="cite" style="border-left-style:solid;border-width:1px;margin-left:0px;padding-left:10px;">
                    <span><span style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Times; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: 13px; "><span style="font-family: Helvetica; font-size: 13px; ">What is the real benefits of having a ReturnStmt appeared as a terminator in addition to as a regular element? Not all functions have return statements.</span></span></span>
                 
                 
                 
                 
                </blockquote>
                 
                <div>
                    It's not useful for the static analyzer, but it could potentially be useful for clients of the CFG that want to know about the return statement before looking at the destructor logic.
                </div>