deepfuture@deepfuture-laptop:~/private/mytest$ splint main.c
Splint 3.1.2 --- 03 May 2009
?
main.c: (in function myclear)
main.c:7:2: Path with no return in function declared to return void *
??There is a path through a function declared to return a value on which there
??is no return statement. This means the execution may fall through without
??returning a meaningful result to the caller. (Use -noret to inhibit warning)
main.c: (in function mycompprint)
main.c:10:48: Passed storage &oldstate not completely defined:
?? ? ? ? ? ? ? ? pthread_setcancelstate (..., &oldstate)
??Storage derivable from a parameter, return value or global is not defined.
??Use /*@out@*/ to denote passed or returned storage which need not be defined.
??(Use -compdef to inhibit warning)
main.c:10:3: Return value (type int) ignored: pthread_setcance...
??Result returned by function call is not used. If this is intended, can cast
??result to (void) to eliminate message. (Use -retvalint to inhibit warning)
main.c:11:49: Passed storage &oldtype not completely defined:
?? ? ? ? ? ? ? ? pthread_setcanceltype (..., &oldtype)
main.c:11:3: Return value (type int) ignored: pthread_setcance...
main.c:12:6: Parse Error. (For help on parse errors, see splint -help
?? ? ? ? ? ? ? ?parseerrors.)
*** Cannot continue.
相关文章
