diff options
Diffstat (limited to 'results/classifier/accel-gemma3:12b/tcg/1783437')
| -rw-r--r-- | results/classifier/accel-gemma3:12b/tcg/1783437 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/results/classifier/accel-gemma3:12b/tcg/1783437 b/results/classifier/accel-gemma3:12b/tcg/1783437 new file mode 100644 index 000000000..ddac93789 --- /dev/null +++ b/results/classifier/accel-gemma3:12b/tcg/1783437 @@ -0,0 +1,10 @@ + +read-modify-write page faults error code has write bit unset + +Consider the attached C file, which does a read-modify-write of the form `add [mem], reg`, where `mem` points to a non-present page. In the resulting page fault, the W/R bit is not set, while real hardware does set this bit. + +% gcc -m32 qemu-bug1.c&& ./a.out && qemu-i386 ./a.out +page fault: addr=0x70000000 err=0x6 +page fault: addr=0x70000000 err=0x4 + +Tested on the qemu-3.0.0-rc1 release. \ No newline at end of file |