On 2/8/19 8:37 AM, Rémi Denis-Courmont wrote: > Rather than assert that the first byte of a checked range is within the > guest address space, assert that the last byte is. The assertion is > moved past the overflow check to ensure that the last byte is actually > the one with the highest address. > > Signed-off-by: Rémi Denis-Courmont <r...@remlab.net> > --- > accel/tcg/translate-all.c | 14 +++++++------- > 1 file changed, 7 insertions(+), 7 deletions(-)
What are you trying to fix here? You've moved the assert past some returns, so that some cases that should not be handled by this function no longer get checked. As the comment says, the address should already have been filtered by h2g_valid. r~
