I/O internal error

10 views (last 30 days)
Alan Sorensen
Alan Sorensen on 12 Mar 2014
Answered: Nikhil Chaudhari on 21 Jan 2018
While running Polyspace Code Prover (R2013b), after the compile phase and about 87% through the Intermediate phase, I get an I/O Exception
exception Bind(Bind) raised.
*** I/O internal error in getc, n=0 on file "#<fd>" at position 7434723
exception Io(Io) raised.
What can I do to avoid or fix this issue?

Answers (4)

Alexandre De Barros
Alexandre De Barros on 13 Mar 2014
Hello Alan,
First, I can suggest you to try your verification with the latest version, 14a. If the problem is still there, I suggest you to contact the technical support, and if possible to attach the verification log to your request.
Best regards,
Alex

Marvin
Marvin on 7 Nov 2014
Hello, I have the same problem, but with Polyspace Code Prover (R2014a) and about 89% through the Intermediate phase. Until now, I've get this error for 4 times. I get an I/O Exception:
*** I/O internal error in getc, n=0 on file "#<fd>" at position 516860
exception Io(Io) raised.
What can I do? Is there a fix?

Alexandre De Barros
Alexandre De Barros on 10 Nov 2014
Hi Marvin!
This kind of errors are really "low level" errors, so there is no easy workaround.
Do you see in the log a message like:
exception SysErr(OS.SysErr(name="No space left on device", syserror=nospc)) raised.
or
Out of memory. Unable to allocate heap with 3,981,311,962 bytes.
If yes, this could be a scaling problem.
Having the full log could help, so like Alan I invite you to contact the support and send them the verification log to have a more precise diagnosis.
Best regards,
Alex

Nikhil Chaudhari
Nikhil Chaudhari on 21 Jan 2018
I Am getting a error while running code in intermediate stage.(2016b) code prver
** C to intermediate language translation - 1 (P_SP) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2)
* I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Exiting. * flags=0x200 System error No such file or directory (noent: No such file or directory) exception Io(Io) raised.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!