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
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
Josef Waibl
il 17 Ago 2015
Risposto: Alexandre De Barros
il 19 Ago 2015
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?
0 Commenti
Risposta accettata
Alexandre De Barros
il 19 Ago 2015
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
0 Commenti
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Multitasking in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!