procedure multiply defined error in polyspace code prover

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.

Answer 1

[Alexandre De Barros]

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

[srinivasan kandaswamy]

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]

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