while executing Polyspace Bugfinder and code prover we are getting this Error: identifier "Float64" is undefined

while executing Polyspace Bugfinder and code prover we are getting this Error: identifier "Float64" is undefined

Answer 1

[Vandit]

Hello Basheer,

To address the "Float64" undefined identifier error, you can refer to the following steps:

1. Ensure that the compiler version and settings you are using with Polyspace are compatible with the "Float64" data type. This may involve using a specific version of the compiler that supports this data type or configuring your analysis to recognize custom definitions.
2. If "Float64" is a typedef or a specific definition within your codebase or third-party libraries you are using, verify that Polyspace is correctly configured to include these definitions during analysis.

You can also refer to the following link, which describes how Polyspace addresses compiler-specific data types and configurations. This link provides a solution for solving the "identifier '__int128' is undefined" error, which might be analogous to the issue you are encountering:

https://www.mathworks.com/products/polyspace/static-analysis-notes/polyspace-support-compilers.html#:~:text=identifier%20%22__int128%22%20is%20undefined

Hope this helps.

[basheerahmad]

Our compiler and Polyspace compatibility are same. but to we are getting same error. we need some assistance.

[basheerahmad]

we are using MSSDK 7.1 and also it working in other environment but our environment is not working.