search

projectacrn / acrn-hypervisor

Project ACRN hypervisor
BSD 3-Clause "New" or "Revised" License
1.15k stars 524 forks source link

unreachable branch in local_gva2gpa_common() #8708

Open haoyu-tang opened 2 months ago

haoyu-tang commented 2 months ago

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 2 months ago

[External_System_ID] ACRN-10732