没有找到合适的产品?
联系客服协助选型:023-68661681
原创|产品更新|编辑:郑恭琳|2020-07-07 13:40:11.147|阅读 488 次
概述:1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。
# 31款JAVA开发必备控件和工具 # 界面/文档管理/报表/IDE等4000款产品火热销售中 >>
相关链接:
BUG修复
消息9045(在这个翻译单元中,结构/联盟的完整定义是不必要的)以前为C模块中定义的所有联盟发布。此消息现在只在翻译单元中不需要联合定义的情况下发出。此外,消息9045现在总是带有与定义声明相对应的位置(以前它可以在前向声明的位置发布)。
消息550(本地变量随后未被访问)有时会为变量发出,尽管当这个捕获是通过引用完成时,变量是由lambda捕获的。
以前,调用至少一个其他函数的函数的callee可能被错误地报告为(没有函数),在平台特定的情况下,对于分析的源代码中的微小变化非常敏感。这个问题已经解决了。
已经解决了一个问题,它可以防止在不返回本地变量时出现消息2427实例。
消息2447以前在声明main的位置发出,当报告main被声明为静态的或被定义为删除的时候,但是当报告main被内联声明或constexpr时没有出现位置。消息现在也将在后两种情况下发出一个位置。
包含switch语句的函数的堆栈使用的准确性已经通过在以前未计算的交换机中包含堆栈使用而得到了提高。现在考虑条件(包括可能的声明)和主体。
解决初始化后直接访问除已初始化的工会成员以外的工会成员时,可能表现为误报530的问题。
消息2707(函数可以声明为‘noreturn’)以前没有在预期时发出,这个问题已经被纠正了。
消息451(重复包含的头文件,但没有头保护)和967(头文件没有标准的包含保护)现在将被发布为具有控制宏的头文件(一个宏,其定义阻止包含头的内容),而不是标准包含保护(如消息451和967的描述所定义)。以前,控制宏的存在足以抑制这些消息,从而导致错误的否定。
在某些情况下,当数组下标表达式的结果的地址被提供为使用常量大小数组的语法声明的函数参数的参数时,消息473的错误正实例可能会发生。
在访问本身是工会成员的结构的成员时,可能表现为误报449的问题已经解决。
使用Diag Info Code-37的崩溃可能发生在构造函数上下文中使用构造函数初始化器修改此指针所指对象的构造函数被移动而不受-skip_function选项约束的情况下。
pclp_config针对编译器族iar-rx、iar-rh850、iar-rl78、iar-avr和iar-avr32生成的编译器配置包含不正确的+RW选项,导致在分析过程中不识别保留的单词。这一问题已得到纠正。
当成员函数返回函数指针时,消息1537将不再发出。
void g1() { void* y = malloc(4); if (!y) { } else { free(y); } }
会错误地报告y可能没有被释放。这种行为已得到纠正。
Diag Info Code-37中的一个内部错误,当一个不完全类型的数组经历了数组到指针的衰减之后,这个错误就会发生。
更多更新详情请查看后续更新内容详解。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@evget.com
纯JavaScript电子表格控件SpreadJS v16.0 Update2全新发布,新版本发布全新的甘特图插件、升级公式编辑器 功能等,欢迎下载最新版体验!
DevExpress WinForm 控件已正式发布v23.1版本,此版本进一步升级了富文本编辑器、Scheduler、电子表格等组件的功能,欢迎下载最新版体验!
本文将介绍MFC界面开发组件BCGControlBar Professional for MFC v33.6的一些亮点,欢迎下载相关产品体验~
工业数据采集软件正式发布“DeviceXPlorer OPC Server”的新版本“Ver.7.2.0”。该版本取消了单机版可选择机型的限制。
服务电话
重庆/ 023-68661681
华东/ 18100878086
华南/ 18100878085
华北/ 17382392642
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@evget.com
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢
慧都科技有限公司 版权所有 Copyright 2003-2023 渝ICP备12000582号-13 渝公网安备
50010702500608号