1 files changed, 43 insertions, 0 deletions
diff --git a/results/classifier/108/other/1963 b/results/classifier/108/other/1963
new file mode 100644
index 00000000..01fd9ac8
--- /dev/null
+++ b/results/classifier/108/other/1963
@@ -0,0 +1,43 @@
+graphic: 0.900
+performance: 0.850
+device: 0.834
+files: 0.713
+permissions: 0.616
+debug: 0.600
+semantic: 0.599
+vnc: 0.531
+network: 0.513
+socket: 0.452
+PID: 0.357
+boot: 0.319
+other: 0.247
+KVM: 0.093
+
+EOF is not detected, when semihosting is reading from stdin
+Description of problem:
+QEMU hangs.
+Steps to reproduce:
+1. Run the program with stdin from a pipe.
+Additional information:
+The code is compiled from this source:
+```
+#include <stdio.h>
+
+int main(int argc, char** argv) {
+    int i = -1;
+    int result = scanf("%d", &i);
+    printf("result = %d, i = %d\n", result, i);
+    return 0;
+}
+```
+compiled with GCC and picolibc:
+```
+arm-none-eabi-gcc --specs=picolibc.specs -march=armv7-m ~/sources/picolibc/git/test-stdin.c -o test-stdin -lc -lsemihost --crt0=hosted -O0 -g
+```
+[test-stdin](/uploads/dbd2650c8e0aaca353fd7630ac9c8440/test-stdin)
+The execution hangs at semihosting SYS_READC(0x7) call:
+```
+	movs r0, #7
+(...)
+	bkpt #0xab
+```