[splint.git] / test / for.expect


for.c: (in function f)
for.c:13:5: Unresolved constraint:
    Lclint is unable to resolve Requires: : (i @ for.c:13:7 )   <=  ( 10 ) 
    needed to satisfy Requires: : MAXSET ((t @ for.c:13:5 ) )  >=  (i @
    for.c:13:7 ) 

Finished LCLint checking --- 1 code error found
Commit	Line	Data
8e349e11	1
	2	for.c: (in function f)
	3	for.c:13:5: Unresolved constraint:
	4	Lclint is unable to resolve Requires: : (i @ for.c:13:7 ) <= ( 10 )
	5	needed to satisfy Requires: : MAXSET ((t @ for.c:13:5 ) ) >= (i @
	6	for.c:13:7 )
	7
	8	Finished LCLint checking --- 1 code error found