What can cause cross-file errors ?

At the end of the compilation phase for a Polyspace Code Prover 2013b project I am getting an error:

.
  ------------------------------------------------------------------- 
---                                                             --- 
---  Verifier has detected cross-files error(s) in the code.    --- 
---  Please correct them and launch the analysis again.         --- 
---                                                             --- 
------------------------------------------------------------------- 
.

The error does not point to any file and I was not able to find anything about that in the documentation. Any ideas what can cause this type of error ?

Answer 1

[Alexandre De Barros]

Hi Gustavo !

This message, given at the end of the log, says that Polyspace has detected cross-files errors.

"Cross-files errors" are problems detected by Polyspace when the tool is checking the "consistency" of the files (after a phase where Polyspace checks each file independently).

You will find more information on this kind of errors in the documentation: http://fr.mathworks.com/help/codeprover/ug/c-link-errors.html

If you look earlier in the log, you will see the precise errors found by Polyspace, with messages similar to the ones given in the documentation.

Regards,

Alexandre