What causes Polyspace (R2013b) to display the message: pst_file_glob2.c, line 1733: error: floating-point value does not fit in required floating-point type

When checking a Simulink-model with Polyspace, I get the error message:

pst_file_glob2.c, line 1733: error: floating-point value does not fit in required floating-point type

((float)1.5721557359189072e-314), /* 1733 -g-> (23,46)-(251,0) */

File pst_file_glob2.c has been generated by Polyspace and is not human readable but binary.

How can I locate the cause of the problem?

Answer 1

[Alexandre De Barros]

Hello,

the value that we see in the given line will fit in a float, so I'm surprised by this error.

I've tried the following code with Polyspace R2013b and had no problem:

 float f = ((float)1.5721557359189072e-314);

I suggest you to contact the support with more information, especially the model if possible and the verification log.

Best regards,

Alexandre