a strange error occurs during using command line to run polyspace-bug-finder

Batch File one:

@echo off

Set workspace="D:\Devapp\Jenkins\jobs\D1HA13_Pipeline_Jenkinsfile\workspace"

set workspace=%workspace:\=/%

set MATLABROOT=C:\Devapp\MATLAB\R2016a

::set MATLABROOT=%MATLABROOT:\=/%

Set JOB_NAME="D1HA13_Pipeline_Jenkinsfile"

Path=C:\Devapp\Cygwin2.11\bin;%Path%

%MATLABROOT%\polyspace\bin\polyspace-configure -allow-build-error -output-options-file %workspace%/polyspace/D1HA13_Pipeline_Jenkinsfile.txt call run.bat

pause

Batch File two:

@echo off

%MATLABROOT%/polyspace/bin/polyspace-bug-finder-nodesktop.exe -options-file %workspace%\polyspace\D1HA13_Pipeline_Jenkinsfile.txt -options-file %workspace%\polyspace\target_D1HA13_Pipeline_Jenkinsfile.txt -sources %workspace%\polyspace\sources\AppBtn.c -I %workspace%\polyspace\sources

D1HA13_Pipeline_Jenkinsfile.txt:

-lang c

-OS-target no-predefined-OS

-prog D1HA13

-author wujie

-dialect gnu4.6

-target hc12

target_D1HA13_Pipeline_Jenkinsfile.txt:

-misra3 D:\Workstation\01_Doc\03_Software\Polyspace_Rule_PATAC

-no-extern-C

-results-dir D:\Devapp\Jenkins\jobs\D1HA13_Pipeline_Jenkinsfile\workspace\polyspace\Result

-no-language-extensions

after running:

1. the result from log file is correct

**********************************************************

***

*** Bug-finder - Module Analysis done

***

**********************************************************

Ending at: Tue Jun 25 10:05:17 2019

User time for module: 00:00:01.60 (1.61real, 1.61u + 0s)

Generating GUI files

Defects statistics:

- Total number of defects: 0

GUI files generation completed in 0.54real

User time for polyspace-bug-finder-nodesktop: 00:00:28.3 (28.03real, 28.03u + 0s (0.44gc))

***

*** End of Polyspace analysis

***

2. the result printed on windows console is not correct

there are some unnecessary items as shown below

***

*** End of Polyspace analysis

***

polyspace-configure ERROR: All programs detected are unknown: there is no matching compiler configuration. Executed programs are:

polyspace-configure ERROR: polyspace-bug-finder-nodesktop C:/Devapp/MATLAB/R2016a/polyspace/bin/polyspace-bug-finder-nodesktop.exe

polyspace-configure ERROR: ps_be C:/Devapp/MATLAB/R2016a/bin/win64/ps_be.exe

polyspace-configure ERROR: ps_c_me C:/Devapp/MATLAB/R2016a/bin/win64/ps_c_me.exe

polyspace-configure ERROR: ps_c_stubber C:/Devapp/MATLAB/R2016a/bin/win64/ps_c_stubber.exe

polyspace-configure ERROR: ps_cxx_fe C:/Devapp/MATLAB/R2016a/bin/win64/ps_cxx_fe.exe

polyspace-configure ERROR: ps_gen_gui_files C:/Devapp/MATLAB/R2016a/bin/win64/ps_gen_gui_files.exe

polyspace-configure ERROR: ps_leavesfirst C:/Devapp/MATLAB/R2016a/bin/win64/ps_leavesfirst.exe

polyspace-configure ERROR: ps_linksuif C:/Devapp/MATLAB/R2016a/bin/win64/ps_linksuif.exe

polyspace-configure ERROR: ps_mvm C:/Devapp/MATLAB/R2016a/bin/win64/ps_mvm.exe

polyspace-configure ERROR: ps_pckg C:/Devapp/MATLAB/R2016a/bin/win64/ps_pckg.exe

polyspace-configure ERROR: ps_porky C:/Devapp/MATLAB/R2016a/bin/win64/ps_porky.exe

polyspace-configure ERROR: ps_printsuif C:/Devapp/MATLAB/R2016a/bin/win64/ps_printsuif.exe

polyspace-configure ERROR: ps_swighnflew C:/Devapp/MATLAB/R2016a/bin/win64/ps_swighnflew.exe

polyspace-configure ERROR: Following compilers are recognized by polyspace-configure (with path to their compiler configuration):

polyspace-configure ERROR: (.*-)?([cg]\+\+|g?cc) C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\gcc.xml

polyspace-configure ERROR: (.*-)?clang(\+\+)? C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\clang.xml

polyspace-configure ERROR: cl C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cl.xml

polyspace-configure ERROR: cl2000 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cl2000.xml

polyspace-configure ERROR: cx6808 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cx6808.xml

polyspace-configure ERROR: icc(430|78k|78k0r|8051|arm|avr|avr32|cf|cr16c|h8|hcs12|m16c|m32c|maxq|r32c|rh850|rl78|rx|s08|sam8|sh|stm8|v850) C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\iccarm.xml

polyspace-configure ERROR: tcc C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\tcc.xml

polyspace-configure ERROR: xc8 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\xc8.xml

polyspace-configure ERROR: No compilation unit detected in your build.

Possible sources for this error are:

- Your build command does not compile any C/C++ files.

- Your compiler was not called. You must force a clean rebuild.

- Your compiler is unknown to Polyspace. You must write a compiler configuration.

- You use a compiler cache (such as ccache). You must deactivate it.

- You use a distributed build system (such as distmake). You must deactivate it.

Exiting

I want to know how to fix it? Thanks in advanced!

Answer 1

[arushi]

Hi Wu,

The error messages you are seeing from polyspace-configure indicate that it is unable to recognize the compiler used in your build process. This is likely because polyspace-configure was not able to detect any compilation units or because the compiler configuration for your specific compiler is not available.

Here are some steps to diagnose and potentially fix the issue:

1. Ensure Correct Compiler Configuration

Make sure that the compiler you are using is recognized by Polyspace. If your compiler is not listed in the recognized compilers, you may need to create a custom compiler configuration file.

2. Verify Build Command

Ensure that your build command in run.bat compiles C/C++ files. polyspace-configure needs to see these compilation commands to generate the options file correctly.

3. Force Clean Rebuild

Ensure that a clean rebuild is being performed. Sometimes, build systems may skip compilation if they detect that no files have changed.

4. Check for Compiler Cache or Distributed Build Systems

Ensure that you are not using a compiler cache (such as ccache) or a distributed build system (such as distmake), as these can interfere with polyspace-configure.

Hope this helps.