<div dir="ltr"><div>Hi all, </div><div><br></div><div>The following code snippet is related to the Apple bug of a few weeks ago.</div><div><br></div><div>void foo();</div><div>void bar();</div><div><br></div><div>void test( int a )</div>
<div>{</div><div><span class="" style="white-space:pre">    </span>if ( a == 1 )</div><div><span class="" style="white-space:pre">              </span>foo();</div><div><span class="" style="white-space:pre">             </span>bar();</div><div>}</div>
<div><br></div><div>The original source code of the Apple bug has Goto's instead of function calls, but the problem is essentially the same, and it is related to scoping.</div><div><br></div><div>I wonder if you considered convenient adding a warning if Clang detects that a line is indented so that does not match the natural indentation of its scope, especially there are a conditional around.</div>
<div><br></div><div><br></div><div>The following code is fine, no problem with it.</div><div>void test2()</div><div>{</div><div><span class="" style="white-space:pre"> </span>foo();</div><div><span class="" style="white-space:pre">             </span>bar();</div>
<div>}</div><div><br></div><div><br></div><div>I think the followings cases should be warned by the compiler.</div><div>void test3()</div><div>{</div><div><span class="" style="white-space:pre">  </span>while (true) foo();</div>
<div><span class="" style="white-space:pre">            </span>bar();</div><div>}</div><div><br></div><div>void test4()</div><div>{</div><div><span class="" style="white-space:pre"> </span>if (true) foo();</div><div><span class="" style="white-space:pre">           </span>bar();</div>
<div>}</div><div><br></div><div>To emphasize the problem I attached a source code file. Could you give it a quick look and tell me what is printed out? </div><div>I know that it is an extreme and malicious example, but it help us to understand that when we given a quick look to the code, we can ignore cases like these.</div>
<div><br></div><div><br></div><div>Do you think it would be useful to add these warnings to Clang?</div><div><br></div><div>Thanks and regards,</div><div>Fernando Pelliccioni.</div></div>