[splint.git] / test / for.expect


for.c: (in function f)
for.c:13:5: Possible out-of-bounds store.  Unable to resolve constraint:
    requires: : (i @ for.c:13:7 )   <=  ( 10 ) 
     needed to satisfy precondition:
    requires: : maxSet ((t @ for.c:13:5 ) )  >=  (i @ for.c:13:7 ) 

Finished LCLint checking --- 1 code error found
Commit	Line	Data
8e349e11	1
8e349e11	2	for.c: (in function f)
03d670b6	3	for.c:13:5: Possible out-of-bounds store. Unable to resolve constraint:
	4	requires: : (i @ for.c:13:7 ) <= ( 10 )
	5	needed to satisfy precondition:
	6	requires: : maxSet ((t @ for.c:13:5 ) ) >= (i @ for.c:13:7 )
8e349e11	7
8e349e11	8	Finished LCLint checking --- 1 code error found