MATLAB的答案

标识符__builtin_ia32_permdi256_mask和更多的定义。

3视图(30天)
马库斯·哈姆
马库斯·哈姆 2018年10月1日
回答: 马库斯·哈姆2018年10月12日
你好,
我想检查ROS节点与Polyspace Bug仪在Ubuntu 16.04。开始分析与运行错误查询按钮时我得到了很多的错误,如“__builtin_ia32_permdi256_mask”、“__builtin_ia32_shufpd256_mask”或“__builtin_ia32_extracti32x4_256_mask”标识符是未定义的。在Polyspace我创建项目与“创建从构建命令”构建命令“柔荑花序构建——详细”。没有一个错误就完成了。但当运行分析我得到上面的错误。我想我必须包括一些失踪的头文件,但所有尝试一些gcc包括子文件夹甚至改变目标中的编译器选项Polyspace失败了。我缺少什么?
编辑:我找到了,我得到这个错误只有当包括特征库……
谢谢你！

在回答这个问题。

答案(1)

马库斯·哈姆
马库斯·哈姆 2018年10月12日
经过许多猜测和测试我自己固定的,问题是我CMakeLists。txt和c++编译器选项:
Bug仪有问题:
add_definitions(化= c + + 11)
使用:
add_compile_options(化= c + + 11)
代码验证不产生影响,它正在与两个选项。