splint太久不更新了

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/juewuer/article/details/82190524

用splint做代码检查,发现这个居然支持老版本c,
如下代码就报错,因为声明必须要在函数头

int func_splint_msg2(void)
{
    int a = 2;
    a = 3;
    int b;
    return0;
}

Splint 3.1.2 — 29 Aug 2018

test.c:5:5: Parse Error. (For help on parse errors, see splint -help
parseerrors.)
* Cannot continue.

猜你喜欢

转载自blog.csdn.net/juewuer/article/details/82190524