Ignore link errors (-no-extern-c)

Ignore certain linking errors

Description

Specify that the analysis must ignore certain linking errors.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Environment Settings node. See Dependency for other options that you must also enable.

Command line and options file: Use the option -no-extern-C. See Command-Line Information.

Why Use This Option

Some functions may be declared inside an extern "C" { } block in some files and not in others. Then, their linkage is not the same and it causes a link error according to the ANSI^® standard.

Applying this option will cause Polyspace^® to ignore this error. This permissive option may not resolve all the extern C linkage errors.

Settings

On

Ignore linking errors if possible.

Off (default)

Stop analysis for linkage errors.

Dependency

This option is available only if you set Source code language (-lang) to CPP or C-CPP.

Command-Line Information

Parameter: -no-extern-C

Default: off

Example (Bug Finder): polyspace-bug-finder -lang cpp -no-extern-C

Example (Code Prover): polyspace-code-prover -lang cpp -no-extern-C

Example (Bug Finder Server): polyspace-bug-finder-server -lang cpp -no-extern-C

Example (Code Prover Server): polyspace-code-prover-server -lang cpp -no-extern-C