projectacrn/acrn-hypervisor

unreachable branch in local_gva2gpa_common()

Opened this issue · 1 comments

Function local_gva2gpa_common() never run into line 163.

Assume line 163 is reached, then below must be satisfied:
(a) pw_info->is_write_access == true
(b) pw_info->wp == true
(c) fault == 0
(d) is_page_rw_flags_on == false

Conflict:
Line 111 should be reached to satisfy (d).
Line 109 should not be reached to satisfy (c), but it is impossible because of (a) and (b).

[External_System_ID] ACRN-10732