linux-C-splint检查C的潜在错误

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.