<div style="line-height:1.7;color:#000000;font-size:14px;font-family:arial"> Dear All,<br><br>I have a very simple clang analyzer checker code snippet like below,<br><br>--------------------------------------------------<br>using namespace clang;<br>using namespace ento;<br><br>namespace {<br>  class myChecker: public Checker< check::PreStmt<Stmt> >  {<br>  public:<br>    void checkPreStmt(const Stmt *S, CheckerContext &Ctx) const ;<br><br>  };<br>}<br><br>void myChecker::checkPreStmt(const Stmt *S, CheckerContext &Ctx) const {<br>   S->dumpAll();<br>}<br>--------------------------------------------------<br><br>This analyzer was then fed with the test code:<br><br>int main()<br>{<br>  int *b;<br>  int *c;<br>  *c=b;<br>   return 0;<br>}<br><br>Why can't I observe a "ReturnStmt"? <br>If I change "*c=b" with something other (e.g., b=c), then "ReturnStmt" appears.  I just can!
 't figure out the reason. Would someone please help me ? Thanks!<br><br>Best,<br>Z<br></div><br><br><span title="neteasefooter"><span id="netease_mail_footer"></span></span>