[BUG] Duktape crashes while you try to start it after interrupting it with ctrl+c.

[sergiotarxz]

Description / Steps to reproduce the issue

• Have Linux
• Have kconfig-frontend and xtensa toolchain installed and in path.
• Have a ESP32 connected to /dev/ttyUSB0
• git clone https://git.owlcode.tech/sergiotarxz/nuttx-reproduce-duktape-bug bug --recursive
• cd bug
• bash build.sh

This script should flash in your esp32 the faulty image, once it finishes connect to the serial port.

(Sorry if I am missing something out, I just started playing with nuttx yesterday, the OS is very cool, thanks for your work)

• minicom -D /dev/ttyUSB0
• duk js/hello.js
• Press ctrl+c once it is printing
• duk js/hello.js
• The board crashes.

On which OS does this issue occur?

[OS: Linux]

What is the version of your OS?

Gentoo

NuttX Version

12.7

Issue Architecture

[Arch: arm64]

Issue Area

[Area: Interpreters]

Verification

• I have verified before submitting the report.