unreachable branch in local_gva2gpa_common()
Opened this issue · 1 comments
haoyu-tang commented
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).
haoyu-tang commented
[External_System_ID] ACRN-10732