add manually reviewed semantic bugs

1 files changed, 47 insertions, 0 deletions

diff --git a/results/classifier/semantic-bugs/instruction/1756927 b/results/classifier/semantic-bugs/instruction/1756927
new file mode 100644
index 000000000..3ec2692ab
--- /dev/null
+++ b/results/classifier/semantic-bugs/instruction/1756927
@@ -0,0 +1,47 @@
+instruction: 0.816
+device: 0.753
+boot: 0.666
+mistranslation: 0.622
+semantic: 0.554
+graphic: 0.551
+network: 0.531
+vnc: 0.523
+socket: 0.491
+assembly: 0.407
+KVM: 0.400
+other: 0.370
+
+ARMv7 LPAE: IFSR doesn't have the LPAE bit in case of BKPT
+
+When a user application triggers a 'bkpt' instruction while LPAE is used, the bit [9] of IFSR is not correctly set during the prefetch abort exception.
+
+You'll find attached a minimal example to reproduce the issue (just run 'make all').
+The output I get is:
+
+supervisor
+user
+prefetch
+short-descriptor
+
+The last entry should read 'long-descriptor'.
+
+
+Qemu revision: 48ae1f60d8c9a770e6da64407984d84e25253c69
+Ubuntu verison: 16.04 LTS
+Cross Compiler: gcc linaro 6.3.1-2017.02-x86_64_arm-eabi
+
+
+
+I've just sent this patchset:
+http://<email address hidden>/
+which should fix this bug and a couple of others that I noticed with our debug exception handling while I was doing that.
+
+
+thanks Peter ! Any news on the review ?
+
+The patches are in master now.
+
+
+Hi Peter,
+we tested the fix and it work correctly now, thank you very much !
+