@@ -378,27 +378,27 @@ mod test {
378378 limit_address_range_and_assert ( & address, 0x0 , low - 1 , false ) ;
379379 limit_address_range_and_assert ( & address, low - 1 , low - 1 , false ) ;
380380
381- limit_address_range_and_assert ( & address, 0x0 , low + 0 , true ) ;
382- limit_address_range_and_assert ( & address, low - 1 , low + 0 , true ) ;
383- limit_address_range_and_assert ( & address, low + 0 , low + 0 , true ) ;
381+ limit_address_range_and_assert ( & address, 0x0 , low, true ) ;
382+ limit_address_range_and_assert ( & address, low - 1 , low, true ) ;
383+ limit_address_range_and_assert ( & address, low, low, true ) ;
384384
385385 limit_address_range_and_assert ( & address, low - 1 , high - 1 , true ) ;
386- limit_address_range_and_assert ( & address, low - 1 , high + 0 , true ) ;
386+ limit_address_range_and_assert ( & address, low - 1 , high, true ) ;
387387 limit_address_range_and_assert ( & address, low - 1 , high + 1 , true ) ;
388- limit_address_range_and_assert ( & address, low + 0 , high - 1 , true ) ;
389- limit_address_range_and_assert ( & address, low + 0 , high + 0 , true ) ;
390- limit_address_range_and_assert ( & address, low + 0 , high + 1 , true ) ;
388+ limit_address_range_and_assert ( & address, low, high - 1 , true ) ;
389+ limit_address_range_and_assert ( & address, low, high, true ) ;
390+ limit_address_range_and_assert ( & address, low, high + 1 , true ) ;
391391 limit_address_range_and_assert ( & address, low + 1 , high - 1 , true ) ;
392- limit_address_range_and_assert ( & address, low + 1 , high + 0 , true ) ;
392+ limit_address_range_and_assert ( & address, low + 1 , high, true ) ;
393393 limit_address_range_and_assert ( & address, low + 1 , high + 1 , true ) ;
394394
395395 limit_address_range_and_assert ( & address, high - 1 , high - 1 , true ) ;
396- limit_address_range_and_assert ( & address, high - 1 , high + 0 , true ) ;
396+ limit_address_range_and_assert ( & address, high - 1 , high, true ) ;
397397 limit_address_range_and_assert ( & address, high - 1 , u64:: MAX , true ) ;
398398
399- limit_address_range_and_assert ( & address, high + 0 , high + 0 , false ) ;
400- limit_address_range_and_assert ( & address, high + 0 , high + 1 , false ) ;
401- limit_address_range_and_assert ( & address, high + 0 , u64:: MAX , false ) ;
399+ limit_address_range_and_assert ( & address, high, high, false ) ;
400+ limit_address_range_and_assert ( & address, high, high + 1 , false ) ;
401+ limit_address_range_and_assert ( & address, high, u64:: MAX , false ) ;
402402 limit_address_range_and_assert ( & address, 0xffffffffffff , u64:: MAX , false ) ;
403403 limit_address_range_and_assert ( & address, u64:: MAX , u64:: MAX , false ) ;
404404
@@ -411,24 +411,24 @@ mod test {
411411 limit_address_range_and_assert ( & address, low - 1 , 0x0 , false ) ;
412412 limit_address_range_and_assert ( & address, low - 1 , low - 1 , false ) ;
413413
414- limit_address_range_and_assert ( & address, low + 0 , 0x0 , false ) ;
415- limit_address_range_and_assert ( & address, low + 0 , low - 1 , false ) ;
414+ limit_address_range_and_assert ( & address, low, 0x0 , false ) ;
415+ limit_address_range_and_assert ( & address, low, low - 1 , false ) ;
416416
417417 limit_address_range_and_assert ( & address, high - 1 , low - 1 , false ) ;
418- limit_address_range_and_assert ( & address, high + 0 , low - 1 , false ) ;
418+ limit_address_range_and_assert ( & address, high, low - 1 , false ) ;
419419 limit_address_range_and_assert ( & address, high + 1 , low - 1 , false ) ;
420- limit_address_range_and_assert ( & address, high - 1 , low + 0 , true ) ; // true
421- limit_address_range_and_assert ( & address, high + 0 , low + 0 , false ) ;
422- limit_address_range_and_assert ( & address, high + 1 , low + 0 , false ) ;
423- limit_address_range_and_assert ( & address, high - 1 , low + 1 , true ) ; // true
424- limit_address_range_and_assert ( & address, high + 0 , low + 1 , false ) ;
420+ limit_address_range_and_assert ( & address, high - 1 , low, true ) ;
421+ limit_address_range_and_assert ( & address, high, low, false ) ;
422+ limit_address_range_and_assert ( & address, high + 1 , low, false ) ;
423+ limit_address_range_and_assert ( & address, high - 1 , low + 1 , true ) ;
424+ limit_address_range_and_assert ( & address, high, low + 1 , false ) ;
425425 limit_address_range_and_assert ( & address, high + 1 , low + 1 , false ) ;
426426
427- limit_address_range_and_assert ( & address, high + 0 , high - 1 , false ) ;
427+ limit_address_range_and_assert ( & address, high, high - 1 , false ) ;
428428 limit_address_range_and_assert ( & address, u64:: MAX , high - 1 , false ) ;
429429
430- limit_address_range_and_assert ( & address, high + 1 , high + 0 , false ) ;
431- limit_address_range_and_assert ( & address, u64:: MAX , high + 0 , false ) ;
430+ limit_address_range_and_assert ( & address, high + 1 , high, false ) ;
431+ limit_address_range_and_assert ( & address, u64:: MAX , high, false ) ;
432432 limit_address_range_and_assert ( & address, u64:: MAX , 0xffffffffffff , false ) ;
433433 }
434434
0 commit comments