MATLAB: Does PolySpace error out when I use custom ‘va_list.h’ file and not the one used by PolySpace Client for C/C++ 4.2 (R2007a+)

compilationpolyspacePolyspace Client for C/C++va_listva_list.h

When I submit code including my own implementation of 'va_list.h' file, PolySpace throws the following error:

 Verifying cross-files ANSI C compliance
 Stubbing standard library functions ...
 C-STUBS/__polyspace__stdstubs.c: /cygdrive/c/PSAudits/LRR3/6.0.0_M1.2/tools/compiler/diab/5.5.1.0/include/diab/va_list.h:35: conflict in redeclaration of `__gnuc_va_list'
 C-STUBS/__polyspace__stdstubs.c: /cygdrive/c/PSAudits/LRR3/6.0.0_M1.2/tools/compiler/diab/5.5.1.0/include/diab/va_list.h:79: conflict in redeclaration of `va_list'

Best Answer

This enhancement has been incorporated in Release 2010a (R2010a). For previous product releases, read below for any possible workarounds:

The error message is because PolySpace Client for C/C++ 4.2 (R2007a+) does not support user defined va_list.h.

To work around this, use the following analysis option to run the compilation and verification:

 -D __Iva_list

The compilation flag is found at the beginning of the header file va_list.h:

 #ifndef __Iva_list
 #define __Iva_list
 <contents of the va_file.h header file >
 #endif /* __Iva_list */

Related Solutions

MATLAB: Do I get a compilation error for a standard function stubbed by PolySpace

Polyspace provides stubs for all standard library function like memcpy. If your implementation differs from that standard implementation then you might receive an error message like the one mentioned above.

In that case you can switch off the standard library stubbing for this particular function by adding the define

-D __polyspace_no_memcpy

to the analysis options. So Polyspace would either use your implementation of memcpy or it would stub the function based on the prototype you mention in the header file.

For details see page 7-53 (Linking: Conflict with Standard Library Function Stubs) in the Polyspace Code Prover User's Guide, which can be found online at

<http://www.mathworks.com/help/pdf_doc/codeprover/codeprover_ug.pdf>

MATLAB: Does the PolySpace for C/C++ plugin for Eclipse not automatically use the include paths from Eclipse for the verification in PolySpace Client for C/C++ 7.0 (R2009a)

This enhancement has been incorporated in Release 2009b (R2009b). For previous product releases, read below for any possible workarounds:

When using the PolySpace plugin for Eclipse, PolySpace does not automatically take include paths into account. This has to be added manually as demonstrated in the attached screenshots:

 Screenshot 1: Configuring Polyspace preference options in Eclipse:
 1.1 Select the project.
 1.2 Select the 'PolySpace Settings' tab.
 1.3 Click on the 'Show advanced settings' button
 Screenshot 2: Adding paths to includes in PolySpace preferences

Best Answer

Related Solutions

MATLAB: Do I get a compilation error for a standard function stubbed by PolySpace

MATLAB: Does the PolySpace for C/C++ plugin for Eclipse not automatically use the include paths from Eclipse for the verification in PolySpace Client for C/C++ 7.0 (R2009a)

Related Question