> Date: Tue, 24 Mar 2020 16:11:48 +0100 > From: Martin Pieuchot <[email protected]> > > On 24/03/20(Tue) 15:55, Mark Kettenis wrote: > > > Date: Tue, 24 Mar 2020 15:18:13 +0100 > > > From: Martin Pieuchot <[email protected]> > > > > > > As soon as an entry is found on `pmr_control.allocs' the boolean > > > `work_done' will be set to true. So it is impossible to reach the > > > case below that sets UVM_PMA_FAIL. > > > > > > CID 1453061 Logically dead code > > > > > > Ok? > > > > Almost certainly not. > > Could you elaborate? Are you implying this is the symptom of a deeper > bug?
Yes.
