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.


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值