@@ -335,8 +335,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
335
335
) ,
336
336
self . path,
337
337
err_ub!( DanglingIntPointer ( ..) ) |
338
- err_ub!( PointerUseAfterFree ( ..) ) |
339
- err_unsup!( ReadBytesAsPointer ) =>
338
+ err_ub!( PointerUseAfterFree ( ..) ) =>
340
339
{ "dangling vtable pointer in wide pointer" } ,
341
340
err_ub!( AlignmentCheckFailed { .. } ) =>
342
341
{ "unaligned vtable pointer in wide pointer" } ,
@@ -347,8 +346,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
347
346
self . ecx. read_drop_type_from_vtable( vtable) ,
348
347
self . path,
349
348
err_ub!( DanglingIntPointer ( ..) ) |
350
- err_ub!( InvalidFunctionPointer ( ..) ) |
351
- err_unsup!( ReadBytesAsPointer ) =>
349
+ err_ub!( InvalidFunctionPointer ( ..) ) =>
352
350
{ "invalid drop function pointer in vtable (not pointing to a function)" } ,
353
351
err_ub!( InvalidVtableDropFn ( ..) ) =>
354
352
{ "invalid drop function pointer in vtable (function has incompatible signature)" } ,
@@ -437,8 +435,6 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
437
435
{ "a dangling {} (address 0x{:x} is unallocated)" , kind, i } ,
438
436
err_ub!( PointerOutOfBounds { .. } ) =>
439
437
{ "a dangling {} (going beyond the bounds of its allocation)" , kind } ,
440
- err_unsup!( ReadBytesAsPointer ) =>
441
- { "a dangling {} (created from integer)" , kind } ,
442
438
// This cannot happen during const-eval (because interning already detects
443
439
// dangling pointers), but it can happen in Miri.
444
440
err_ub!( PointerUseAfterFree ( ..) ) =>
@@ -598,8 +594,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
598
594
self . path,
599
595
err_ub!( DanglingIntPointer ( ..) ) |
600
596
err_ub!( InvalidFunctionPointer ( ..) ) |
601
- err_ub!( InvalidUninitBytes ( None ) ) |
602
- err_unsup!( ReadBytesAsPointer ) =>
597
+ err_ub!( InvalidUninitBytes ( None ) ) =>
603
598
{ "{}" , value } expected { "a function pointer" } ,
604
599
) ;
605
600
// FIXME: Check if the signature matches
0 commit comments