<div dir="ltr"><div>this semantic patch doesn't produce the required behavioir</div><div><br></div><div><div>@annotate_if_conditions@</div><div>expression ex;</div><div>@@</div><div><br></div><div><+...</div><div>+ /* ex */</div><div>if(ex){...}</div><div>...+></div><div><br></div></div><div><br></div><div>it produces the following </div><div><br></div><div><div>     int x =5;</div><div>     int y =6;</div><div>     int m =funct();</div><div>+    /* ex */   // the required behavoir I need is  /* x */</div><div>     if(x)</div><div>     {</div><div>+       /* ex */</div><div>        if(y)</div><div>        {</div><div>            return 1;</div></div><div><br></div><div>Regards,</div><div>Moustafa</div><div><br></div></div>