summary refs log tree commit diff stats
path: root/results/classifier/semantic-bugs/instruction/1756927
blob: 3ec2692ab00bd85bb6ffa0e76ef9ff40074b43d6 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
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 !