<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">I write a code:<br>void loop1(int x)<br>{<br>while (x &lt; 3) x--;<br>};<br>Splint report no errors or warning.<br>Is there any way to analize this code? I expected that splint would report a warning in this loop.<br></td></tr></table><br>