procedure multiply defined error in polyspace code prover

Question

srinivasan kandaswamy 2015-10-16

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/248940-procedure-multiply-defined-error-in-polyspace-code-prover

评论： Alexandre De Barros 2015-10-22

Hello, In Polyspace code prover, when verifying cross-files ANSI C compliance getting procedure multiply defined error for inline functions. Example: INLINE function1() { ... ... } Error:procedure function1 multiply defined.

How to solve this?

Thanks and Regards, Srinivasan K.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2015-10-20

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/248940-procedure-multiply-defined-error-in-polyspace-code-prover#answer_196737

Hello Srinivasan,

Can you confirm that the function is defined in a header file ?

Functions that are defined in a header file will be indeed "multiply defined" since this header file can be included in different source files.

Now, when such a function is inlined (using the "inline" qualifier), Polyspace will not give this error. So my question is : does the macro INLINE is really defined as "inline" ? If for example it is defined to nothing, then the function function1 is not an genuine inlined function.

Best regards,

Alexandre

2 个评论
显示无隐藏无

srinivasan kandaswamy 2015-10-21

Hi Alexandre, 1.Yes,the function is defined in header file and this header file is included in more places. 2.INLINE is defined as #define INLINE __inline

Thanks & Regards, Srinivasan K.

Alexandre De Barros 2015-10-22

在 MATLAB Online 中打开

Hi,

inline is the official keyword in C++ and C99 to inline a function.

__inline is a vendor-specific keyword. Polyspace will only recognize the official keyword, so I suggest you to use a macro definition to map __inline to inline.

If you're using Polyspace in command line, the option is

-D__inline=inline

If you're using the GUI, in your project go to Macros (in Target & Compiler) and add a new preprocessor definition :

__inline=inline

Best regards,

Alexandre

请先登录，再进行评论。