Intel XENIX 286 Programmers Guide (86) - Tenox.tc

XENIX Programming lint: C Program Checker
Checking for Infin ite Loops
The lint program checks for infinite loops and for loops that are never executed. For
example, the statements
and
while (1) {}
for (;;) {}
are both considered infinite loops. While the statements
and
while (0) {}
for (;0;) {}
are never executed.
Although some valid programs have such loops, they are generally considered errors.
Checking Function Return Values
The lint program checks that a function returns a meaningful value if necessary. Some
functions return values that are never used; some programs incorrectly use function
values that have never been returned. lint addresses these problems in a number of
ways.
Within a function definition, the appearance of both
and
return ( expr) ;
return;
statements is cause for alarm. In this case, lint produces the following error message:
function name contains return(e) and return
3-5