[splint-discuss] How to control infinite Loop?

[Le Huu Hoang Gia]

I write a code:
void loop1(int x)
{
while (x < 3) x--;
};
Splint report no errors or warning.
Is there any way to analize this code? I expected that splint would report a warning in this loop.



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20081124/1f661646/attachment-0001.html