<div style="line-height:1.7;color:#000000;font-size:14px;font-family:arial"><div>Dear all,</div>Considering the following code:<div>//////////////////////////////////////////////////////////begin</div><div>int MC(int n){</div><div>    int r,t1,t2;</div><div>    if(n > 100){</div><div>        r = n - 10;</div><div>    }</div><div>    else{</div><div>       t1 = n + 11;</div><div>       t2 = MC(t1);</div><div>       r = MC(t2);</div><div>    }</div><div>    return n;</div><div>}</div><div>/////////////////////////////////////////////////////////end</div><div><br></div><div>///////////////////////////////////////////////////////////////</div><div>Now I have got the CFG for the code:</div><div>B5: </div><div>     Entry block;</div><div>succBlock: B4;</div><div><br></div><div>B4:</div>!
 <div>      int r,t1,t2;</div><div>      if(n > 100)</div><div>succBlock: B3, B2;</div><div><br></div><div>B3:</div><div>     r = n - 10;</div><div>succBlock: B1;</div><div><br></div><div>B2:</div><div>    t1 = n + 11;</div><div>    t2 = MC(t1);</div><div>    r = MC(t2);</div><div>succBlock: B2;</div><div><br></div><div>B1:</div><div>   return r;</div><div><br></div><div>////////////////////////////////////////////////////////////////</div><div><br></div><div>But the CFG doesn't contain the full information for the data flow:  for example, </div><div>  In the Block B2, the statement "t1 = n + 11;" could transfer data flow to the Entry Block.</div><div>While the CFG doesn't express the transfer information.</div><div>So, my question is how to get the information for the whole data flow information based on the CFG?</div><div><br></div><div>Thank!
 s.</div><div><br></div><div><br></div><div><br></div><div><br></div><d
iv><br></div><div><br></div></div><br><br><span title="neteasefooter"><span id="netease_mail_footer"></span></span>