How do I make Polyspace understand a dereferenced pointer function parameter?

2017 1 13
1 个回答
回答已采纳
更新时间：2017 1 25
6 次查看（30 天）

0 个投票

The project I'm analyzing has functions that have dereferenced pointers as the parameters:
extern void func( Custom_Type &func_param );
where "Custom_Type" is a typedef-ed struct object. Lines like this give me a
extern void func( Custom_Type &func_param );
^ Expected a ")"
error in Polyspace (Bug Finder) in front of where the ampersand (&) is located. I was able to fix this error by changing the
&func_param --> * func_param
in place with the processing script option, but then that just leads to numerous errors complaining about types not matching (which makes perfect sense since the parameter type was changed).
Is there a way to inform Polyspace that the parenthesis it's expecting is at the end of the line and that the dereferenced pointer is valid?

请先登录，再回答此问题。

 采纳的回答

Alexandre De Barros
编辑：Alexandre De Barros 2017-1-25

1 个投票

Hello,
In C, this syntax
extern void func( Custom_Type &func_param );
is not valid.
I guess that you should use the C++ mode of Polyspace, because the & character in a declaration represents a reference in C++.
Best regards,
Alexandre

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by