@@ -335,8 +335,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
335335 ) ,
336336 self . path,
337337 err_ub!( DanglingIntPointer ( ..) ) |
338- err_ub!( PointerUseAfterFree ( ..) ) |
339- err_unsup!( ReadBytesAsPointer ) =>
338+ err_ub!( PointerUseAfterFree ( ..) ) =>
340339 { "dangling vtable pointer in wide pointer" } ,
341340 err_ub!( AlignmentCheckFailed { .. } ) =>
342341 { "unaligned vtable pointer in wide pointer" } ,
@@ -347,8 +346,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
347346 self . ecx. read_drop_type_from_vtable( vtable) ,
348347 self . path,
349348 err_ub!( DanglingIntPointer ( ..) ) |
350- err_ub!( InvalidFunctionPointer ( ..) ) |
351- err_unsup!( ReadBytesAsPointer ) =>
349+ err_ub!( InvalidFunctionPointer ( ..) ) =>
352350 { "invalid drop function pointer in vtable (not pointing to a function)" } ,
353351 err_ub!( InvalidVtableDropFn ( ..) ) =>
354352 { "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, '
437435 { "a dangling {} (address 0x{:x} is unallocated)" , kind, i } ,
438436 err_ub!( PointerOutOfBounds { .. } ) =>
439437 { "a dangling {} (going beyond the bounds of its allocation)" , kind } ,
440- err_unsup!( ReadBytesAsPointer ) =>
441- { "a dangling {} (created from integer)" , kind } ,
442438 // This cannot happen during const-eval (because interning already detects
443439 // dangling pointers), but it can happen in Miri.
444440 err_ub!( PointerUseAfterFree ( ..) ) =>
@@ -598,8 +594,7 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
598594 self . path,
599595 err_ub!( DanglingIntPointer ( ..) ) |
600596 err_ub!( InvalidFunctionPointer ( ..) ) |
601- err_ub!( InvalidUninitBytes ( None ) ) |
602- err_unsup!( ReadBytesAsPointer ) =>
597+ err_ub!( InvalidUninitBytes ( None ) ) =>
603598 { "{}" , value } expected { "a function pointer" } ,
604599 ) ;
605600 // FIXME: Check if the signature matches
0 commit comments