PC-Lint代码静态检查之Warning 522:Highest operation ... ... lacks side-effects
2017-03-09 20:49
330 查看
编写代码时,经常用for循环来做延时,比如:
但是,如果该函数被程序调用,利用PC-Lint做静态检查时,会报”Warning 522: Highest operation, function ‘userDelay’, lacks side-effects”。
下面这段关于该警告的英文说明,看了半天也没看明白。
![](https://img-blog.csdn.net/20170309203033211?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvUm9ubmllX0h1/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
网上找了半天,终于在一个论坛上找到了该问题的答案:
![](https://img-blog.csdn.net/20170309203410516?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvUm9ubmllX0h1/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
意思是说上面定义的延时函数“什么都没做”。也许这就是所谓的“缺少副作用”,后来发现,如果将上面定义的函数与其余程序发生交互(也就是产生了所谓的“副作用”),该警告就会消除,比如:
或者,
显然,后面这种交互会造成延时时间的不同。
void userDelay(void) { int16_t tempCnt; for(tempCnt=20;tempCnt>0;tempCnt--) { asm(" NOP "); } }
但是,如果该函数被程序调用,利用PC-Lint做静态检查时,会报”Warning 522: Highest operation, function ‘userDelay’, lacks side-effects”。
下面这段关于该警告的英文说明,看了半天也没看明白。
网上找了半天,终于在一个论坛上找到了该问题的答案:
意思是说上面定义的延时函数“什么都没做”。也许这就是所谓的“缺少副作用”,后来发现,如果将上面定义的函数与其余程序发生交互(也就是产生了所谓的“副作用”),该警告就会消除,比如:
int16_t cnt; void userDelay(void) { for(cnt=20;cnt>0;cnt--) { asm(" NOP "); } }
或者,
int16_t test; void userDelay(void) { int16_t tempCnt; for(tempCnt=20;tempCnt>0;tempCnt--) { asm(" NOP "); test = tempCnt; } }
显然,后面这种交互会造成延时时间的不同。
相关文章推荐
- 静态代码检查工具PC-Lint(一)
- 静态代码检查工具PC-Lint(二)
- linux pc-lint强大的静态代码检查工具
- PC-Lint代码静态检查之Info 701: Shift left of signed quantity (int)
- 静态代码检查工具PC-Lint(用户手册)
- 静态代码检查工具PC-Lint(二)
- 静态代码检查工具PC-Lint(2)
- 静态代码检查工具PC-Lint(二)
- pc-lint静态代码分析工具(检查linux下C++代码的实现方式)
- C/C++代码静态检查工具PC-lint在VS2008开发环境中的安装配置和使用
- linux pc-lint强大的静态代码检查工具
- VS2008配置PC Lint9 (静态代码检查工具PC-Lint)
- 静态代码检查工具PC-Lint(一)
- 静态代码检查工具PC-Lint(一)
- VS2008配置PC Lint (静态代码检查工具PC-Lint)
- 静态代码检查工具PC-Lint(一)
- SourceInsight工具增强——AStyle(代码格式化)、PC-Lint(静态检查)
- 静态代码检查工具PC-Lint(二)
- 静态代码检查工具PC-LINT
- pc-lint静态代码检查工具